128 search results - page 16 / 26 » icse 2007 |
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
This paper presents data from a four month ethnographic study of professional pair programmers from two software development teams. Contrary to the current conception of pair prog...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
The Alloy tool-set has been gaining popularity as an alternative to traditional manual testing and checking for design correctness. Alloy uses a first-order relational logic for m...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
By explicitly modeling and managing variability, software product line engineering provides a systematic approach for creating a diversity of similar products at low cost, in shor...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
The popularity of empirical methods in software engineering research is on the rise. Surveys, experiments, metrics, case studies, and field studies are examples of empirical method...