Combining Formal Specifications with Test Driven Development

Abstract

In the context of test driven development, tests specify the behavior of a program before the code that implements it, is actually written. In addition, they are used as main source of documentation in XP projects, together with the program code. However, tests alone describe the properties of a program only in terms of examples and thus are not sufficient… (More)
DOI: 10.1007/978-3-540-27777-4_1

Topics

Cite this paper

@inproceedings{Baumeister2004CombiningFS, title={Combining Formal Specifications with Test Driven Development}, author={Hubert Baumeister}, booktitle={XP/Agile Universe}, year={2004} }