Sciweavers

15885 search results - page 49 / 3177

» Strategic Software Engineering

193

EMSOFT
2001
Springer

95views Software Engineering» more EMSOFT 2001»

Verification of Embedded Software: Problems and Perspectives

15 years 12 months ago

Verification of Embedded Software: Problems and Perspectives

Download embedded.eecs.berkeley.edu

Patrick Cousot, Radhia Cousot

claim paper

Read More »

178

Voted

EMSOFT
2001
Springer

109views Software Engineering» more EMSOFT 2001»

Embedded Software Market Transformation through Reusable Frameworks

15 years 12 months ago

Embedded Software Market Transformation through Reusable Frameworks

Download embeddedcmmi.at

Wolfgang Pree, Alessandro Pasetti

claim paper

Read More »

146

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

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

Download laser.cs.umass.edu

Aaron G. Cass, Leon J. Osterweil

claim paper

Read More »

144

EWSPT
2001
Springer

93views Software Engineering» more EWSPT 2001»

Reporting about the Mod Software Process

15 years 12 months ago

Reporting about the Mod Software Process

Download www.di.unipi.it

Giovanni A. Cignoni

claim paper

Read More »

128

ICSE
2001
IEEE-ACM

72views Software Engineering» more ICSE 2001»

Static Checking of Interrupt-Driven Software

15 years 12 months ago

Static Checking of Interrupt-Driven Software

Download www.cs.ucla.edu

Dennis Brylow, Niels Damgaard, Jens Palsberg

claim paper

Read More »

« Prev « First page 49 / 3177 Last » Next »