Sciweavers

15779 search results - page 116 / 3156
» Change-oriented software engineering
Sort
View
FASE
2009
Springer
14 years 3 months ago
Synchronous Modeling and Validation of Priority Inheritance Schedulers
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond
ICSE
2009
IEEE-ACM
14 years 3 months ago
The marketplace of user interface real estate
Luigi Troiano, Gerardo Canfora
ICSE
2009
IEEE-ACM
14 years 3 months ago
Detecting inefficient API usage
David Kawrykow, Martin P. Robillard
VMCAI
2009
Springer
14 years 3 months ago
Constraint-Based Invariant Inference over Predicate Abstraction
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Ven...