Sciweavers

15777 search results - page 31 / 3156

» Software Engineering

166

Voted

EMSOFT
2001
Springer

95views Software Engineering» more EMSOFT 2001»

Verification of Embedded Software: Problems and Perspectives

15 years 11 months ago

Verification of Embedded Software: Problems and Perspectives

Download embedded.eecs.berkeley.edu

Patrick Cousot, Radhia Cousot

claim paper

Read More »

155

Voted

EMSOFT
2001
Springer

109views Software Engineering» more EMSOFT 2001»

Embedded Software Market Transformation through Reusable Frameworks

15 years 11 months ago

Embedded Software Market Transformation through Reusable Frameworks

Download embeddedcmmi.at

Wolfgang Pree, Alessandro Pasetti

claim paper

Read More »

130

EWSPT
2001
Springer

115views Software Engineering» more EWSPT 2001»

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

15 years 11 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 »

127

Voted

EWSPT
2001
Springer

93views Software Engineering» more EWSPT 2001»

Reporting about the Mod Software Process

15 years 11 months ago

Reporting about the Mod Software Process

Download www.di.unipi.it

Giovanni A. Cignoni

claim paper

Read More »

115

Voted

ICSE
2001
IEEE-ACM

72views Software Engineering» more ICSE 2001»

Static Checking of Interrupt-Driven Software

15 years 10 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 31 / 3156 Last » Next »