Sciweavers

15860 search results - page 55 / 3172

» Agent-Based Software Engineering

73

EMSOFT
2001
Springer

95views Software Engineering» more EMSOFT 2001»

Verification of Embedded Software: Problems and Perspectives

15 years 2 months ago

Verification of Embedded Software: Problems and Perspectives

Download embedded.eecs.berkeley.edu

Patrick Cousot, Radhia Cousot

claim paper

Read More »

72

EMSOFT
2001
Springer

109views Software Engineering» more EMSOFT 2001»

Embedded Software Market Transformation through Reusable Frameworks

15 years 2 months ago

Embedded Software Market Transformation through Reusable Frameworks

Download embeddedcmmi.at

Wolfgang Pree, Alessandro Pasetti

claim paper

Read More »

54

EWSPT
2001
Springer

115views Software Engineering» more EWSPT 2001»

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

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

61

EWSPT
2001
Springer

93views Software Engineering» more EWSPT 2001»

Reporting about the Mod Software Process

15 years 2 months ago

Reporting about the Mod Software Process

Download www.di.unipi.it

Giovanni A. Cignoni

claim paper

Read More »

53

ICSE
2001
IEEE-ACM

72views Software Engineering» more ICSE 2001»

Static Checking of Interrupt-Driven Software

15 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 55 / 3172 Last » Next »