Sciweavers

316 search results - page 7 / 64
» Software engineering for real-time: a roadmap
Sort
View
TAPSOFT
1997
Springer
15 years 9 months ago
A Compositional Proof of a Real-Time Mutual Exclusion Protocol
Kåre J. Kristoffersen, François Larou...
ASWSD
2006
Springer
15 years 9 months ago
Towards Model-Driven Development of Hard Real-Time Systems
Christian Ferdinand, Reinhold Heckmann, Hans-J&oum...
ICSE
2000
IEEE-ACM
15 years 9 months ago
Software engineering education: a roadmap
Software's increasingly critical role in systems of widespread significance presents new challenges for the education of software engineers. Not only is our dependence on sof...
Mary Shaw
FSTTCS
2003
Springer
15 years 11 months ago
Real-Time Model-Checking: Parameters Everywhere
Véronique Bruyère, Jean-Franç...