Sciweavers

15783 search results - page 72 / 3157

» Evidence-Based Software Engineering

27

EMSOFT
2001
Springer

95views Software Engineering» more EMSOFT 2001»

Verification of Embedded Software: Problems and Perspectives

14 years 2 months ago

Verification of Embedded Software: Problems and Perspectives

Download embedded.eecs.berkeley.edu

Patrick Cousot, Radhia Cousot

claim paper

Read More »

29

EMSOFT
2001
Springer

109views Software Engineering» more EMSOFT 2001»

Embedded Software Market Transformation through Reusable Frameworks

14 years 2 months ago

Embedded Software Market Transformation through Reusable Frameworks

Download embeddedcmmi.at

Wolfgang Pree, Alessandro Pasetti

claim paper

Read More »

17

EWSPT
2001
Springer

115views Software Engineering» more EWSPT 2001»

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

14 years 2 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 »

22

EWSPT
2001
Springer

93views Software Engineering» more EWSPT 2001»

Reporting about the Mod Software Process

14 years 2 months ago

Reporting about the Mod Software Process

Download www.di.unipi.it

Giovanni A. Cignoni

claim paper

Read More »

18

ICSE
2001
IEEE-ACM

72views Software Engineering» more ICSE 2001»

Static Checking of Interrupt-Driven Software

14 years 2 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 72 / 3157 Last » Next »