Conference
Agile Specification-Driven Development
Abstract
We present an agile approach to Specification-Driven Development, which combines features of Test-Driven Development and the plan-based approach of Design-by-Contract. We argue that both tests and contracts are different types of specifications, and both are useful and complementary for building high quality software. We conclude that it is useful for being able to switch between writing tests and writing contracts, and explain how …
Authors
Ostroff JS; Makalsky D; Paige RF
Series
Lecture Notes in Computer Science
Volume
3092
Pagination
pp. 104-112
Publisher
Springer Nature
Publication Date
2004
DOI
10.1007/978-3-540-24853-8_12
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743