Search Sciweavers | Sciweavers

1112 search results - page 13 / 223

» software 2002

154

click to vote

KBSE
2002
IEEE

101views Software Engineering» more KBSE 2002»

Experience Report on Automated Procedure Construction for Deductive Synthesis

15 years 10 months ago

Download ase.informatik.uni-essen.de

Steve Roach, Jeffrey Van Baalen

claim paper

Read More »

136

Voted

RE
2002
Springer

113views Software Engineering» more RE 2002»

Guest Editorial: Special Issue on Model Checking in Requirements Engineering

15 years 4 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

15 years 10 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

15 years 10 months ago

Download www.bth.se

Robert Elfwing, Ulf Paulsson, Lars Lundberg

claim paper

Read More »

Voted

APSEC
2002
IEEE

92views Software Engineering» more APSEC 2002»

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers