Sciweavers

15777 search results - page 31 / 3156

» Software Engineering

112

EMSOFT
2001
Springer

95views Software Engineering» more EMSOFT 2001»

Verification of Embedded Software: Problems and Perspectives

15 years 6 months ago

Verification of Embedded Software: Problems and Perspectives

Download embedded.eecs.berkeley.edu

Patrick Cousot, Radhia Cousot

claim paper

Read More »

110

EMSOFT
2001
Springer

109views Software Engineering» more EMSOFT 2001»

Embedded Software Market Transformation through Reusable Frameworks

15 years 6 months ago

Embedded Software Market Transformation through Reusable Frameworks

Download embeddedcmmi.at

Wolfgang Pree, Alessandro Pasetti

claim paper

Read More »

90

EWSPT
2001
Springer

115views Software Engineering» more EWSPT 2001»

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

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

91

EWSPT
2001
Springer

93views Software Engineering» more EWSPT 2001»

Reporting about the Mod Software Process

15 years 6 months ago

Reporting about the Mod Software Process

Download www.di.unipi.it

Giovanni A. Cignoni

claim paper

Read More »

70

ICSE
2001
IEEE-ACM

72views Software Engineering» more ICSE 2001»

Static Checking of Interrupt-Driven Software

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