Sciweavers

16725 search results - page 114 / 3345
» Engineering Software Correctness
Sort
View
FASE
2009
Springer
15 years 9 months ago
CADS*: Computer-Aided Development of Self-* Systems
Radu Calinescu, Marta Z. Kwiatkowska
FASE
2009
Springer
15 years 9 months ago
Synchronous Modeling and Validation of Priority Inheritance Schedulers
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond
ICSE
2009
IEEE-ACM
15 years 9 months ago
The marketplace of user interface real estate
Luigi Troiano, Gerardo Canfora
ICSE
2009
IEEE-ACM
15 years 9 months ago
Detecting inefficient API usage
David Kawrykow, Martin P. Robillard