Sciweavers

16725 search results - page 37 / 3345
» Engineering Software Correctness
Sort
View
SPIN
2007
Springer
15 years 5 months ago
Model Extraction for ARINC 653 Based Avionics Software
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
Pedro de la Cámara, María-del-Mar Ga...
ICSE
2007
IEEE-ACM
15 years 12 months ago
Lean Software Development
Mary Poppendieck