Search Sciweavers | Sciweavers

19587 search results - page 165 / 3918

» Systems Engineering for software Engineers

104

Voted

KBSE
2002
IEEE

123views Software Engineering» more KBSE 2002»

Assumption Generation for Software Component Verification

15 years 10 months ago

Download ase.informatik.uni-essen.de

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

claim paper

Read More »

128

click to vote

CSEE
2001
Springer

90views Software Engineering» more CSEE 2001»

Integrating Pair Programming into a Software Development Process

15 years 9 months ago

Download collaboration.csc.ncsu.edu

Laurie A. Williams

claim paper

Read More »

146

Voted

EMSOFT
2001
Springer

95views Software Engineering» more EMSOFT 2001»

Verification of Embedded Software: Problems and Perspectives

15 years 9 months ago

Download embedded.eecs.berkeley.edu

Patrick Cousot, Radhia Cousot

claim paper

Read More »

112

Voted

EWSPT
2001
Springer

93views Software Engineering» more EWSPT 2001»

Reporting about the Mod Software Process

15 years 9 months ago

Download www.di.unipi.it

Giovanni A. Cignoni

claim paper

Read More »

102

click to vote

ICSE
2001
IEEE-ACM

109views Software Engineering» more ICSE 2001»

Describing Software Architecture with UML

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers