Search Sciweavers | Sciweavers

16725 search results - page 83 / 3345

» Engineering Software Correctness

Voted

ICSM
2002
IEEE

87views Software Engineering» more ICSM 2002»

Behavioural Concern Modelling for Software Change Tasks

15 years 7 months ago

Download www.cs.ubc.ca

Albert Lai, Gail C. Murphy

claim paper

Read More »

Voted

KBSE
2002
IEEE

123views Software Engineering» more KBSE 2002»

Assumption Generation for Software Component Verification

15 years 7 months ago

Download ase.informatik.uni-essen.de

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

claim paper

Read More »

click to vote

CSEE
2001
Springer

90views Software Engineering» more CSEE 2001»

Integrating Pair Programming into a Software Development Process

15 years 7 months ago

Download collaboration.csc.ncsu.edu

Laurie A. Williams

claim paper

Read More »

113

Voted

EMSOFT
2001
Springer

95views Software Engineering» more EMSOFT 2001»

Verification of Embedded Software: Problems and Perspectives

15 years 7 months ago

Download embedded.eecs.berkeley.edu

Patrick Cousot, Radhia Cousot

claim paper

Read More »

112

Voted

EMSOFT
2001
Springer

109views Software Engineering» more EMSOFT 2001»

Embedded Software Market Transformation through Reusable Frameworks

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers