Search Sciweavers | Sciweavers

1112 search results - page 10 / 223

» software 2002

click to vote

KBSE
2002
IEEE

123views Software Engineering» more KBSE 2002»

Assumption Generation for Software Component Verification

14 years 2 months ago

Download ase.informatik.uni-essen.de

Dimitra Giannakopoulou, Corina S. Pasareanu, Howar...

claim paper

Read More »

click to vote

COMPSAC
2002
IEEE

67views Software Engineering» more COMPSAC 2002»

Towards an MDA-Oriented Methodology

14 years 2 months ago

Download www.cin.ufpe.br

Marie-Pierre Gervais

claim paper

Read More »

click to vote

COMPSAC
2002
IEEE

73views Software Engineering» more COMPSAC 2002»

Program Slicing via FermaT Transformations

14 years 2 months ago

Download www.cse.dmu.ac.uk

Martin P. Ward

claim paper

Read More »

click to vote

CSSE
2002
IEEE

101views Software Engineering» more CSSE 2002»

On version state recovery and adjudication in class diversity

13 years 9 months ago

Download www.cs.ncl.ac.uk

Alexander B. Romanovsky

claim paper

Read More »

click to vote

RE
2002
Springer

118views Software Engineering» more RE 2002»

On Abstraction in Scenarios

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers