Search Sciweavers | Sciweavers

15778 search results - page 312 / 3156

» Aikido and software engineering

142

click to vote

KBSE
2002
IEEE

123views Software Engineering» more KBSE 2002»

Assumption Generation for Software Component Verification

16 years 11 days ago

Download ase.informatik.uni-essen.de

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

claim paper

Read More »

163

Voted

CSEE
2001
Springer

90views Software Engineering» more CSEE 2001»

Integrating Pair Programming into a Software Development Process

15 years 12 months ago

Download collaboration.csc.ncsu.edu

Laurie A. Williams

claim paper

Read More »

191

click to vote

EMSOFT
2001
Springer

95views Software Engineering» more EMSOFT 2001»

Verification of Embedded Software: Problems and Perspectives

15 years 12 months ago

Download embedded.eecs.berkeley.edu

Patrick Cousot, Radhia Cousot

claim paper

Read More »

177

click to vote

EMSOFT
2001
Springer

109views Software Engineering» more EMSOFT 2001»

Embedded Software Market Transformation through Reusable Frameworks

15 years 12 months ago

Download embeddedcmmi.at

Wolfgang Pree, Alessandro Pasetti

claim paper

Read More »

146

Voted

EWSPT
2001
Springer

115views Software Engineering» more EWSPT 2001»

Applying Real-Time Scheduling Techniques to Software Processes: A Position Paper

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers