Search Sciweavers | Sciweavers

1112 search results - page 13 / 223

» software 2002

click to vote

KBSE
2002
IEEE

101views Software Engineering» more KBSE 2002»

Experience Report on Automated Procedure Construction for Deductive Synthesis

14 years 2 months ago

Download ase.informatik.uni-essen.de

Steve Roach, Jeffrey Van Baalen

claim paper

Read More »

click to vote

RE
2002
Springer

113views Software Engineering» more RE 2002»

Guest Editorial: Special Issue on Model Checking in Requirements Engineering

13 years 9 months ago

Download www.cs.toronto.edu

Steve M. Easterbrook, Marsha Chechik

claim paper

Read More »

click to vote

APSEC
2002
IEEE

119views Software Engineering» more APSEC 2002»

Automatic Filling in a Form by an Agent for Web Applications

14 years 2 months ago

Download www.se.cs.meiji.ac.jp

Takeshi Chusho, Katsuya Fujiwara, Keiji Minamitani

claim paper

Read More »

click to vote

APSEC
2002
IEEE

83views Software Engineering» more APSEC 2002»

Performance of SOAP in Web Service Environment Compared to CORBA

14 years 2 months ago

Download www.bth.se

Robert Elfwing, Ulf Paulsson, Lars Lundberg

claim paper

Read More »

click to vote

APSEC
2002
IEEE

92views Software Engineering» more APSEC 2002»

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers