3 search results - page 1 / 1 » Contract-Driven Development |
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
FASE
2007
Springer
13 years 11 months ago
2007
Springer
Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUni...
FASE
2007
Springer
13 years 11 months ago
2007
Springer
- Static Analysis and Abstract Interpretation I (Chair: Sophia Drossopulou, room: Multicert) • FASE - Specification (Chair: Marsha Chechik, room: Cisco) • TACAS - Specificati...