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 Specification-Driven Development supports this capability.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Beck, K.: Test-driven Development: by example. Addison-Wesley, Reading (2003)
Beck, K., Cockburn, A., Jeffries, R., Highsmith, J.: Agile Manifesto (2001), www.agilemanifesto.org/history.html
Berry, D.M.: Formal methods: the very idea — Some thoughts about why they work when they work. Science of Computer Programming 42(1), 11–27 (2002)
Feldman, Y.: Extreme Design by Contract. In: Marchesi, M., Succi, G. (eds.) XP 2003. LNCS, vol. 2675, Springer, Heidelberg (2003)
Fowler, M., Beck, K.: Refactoring. Addison-Wesley, Reading (1999)
Gamma, E., Beck, K.: JUnit: A cook’s tour. Java Report, pp. 27–38 (1999)
Leavens, G.T., Leino, K.R.M., Poll, E., Ruby, C., Jacobs, B.: JML: notations and tools supporting detailed design in Java. In: OOPSLA 2000 Companion, ACM, New York (2000)
Makalsky, D.: ETester Unit Testing Framework (2004), Available at www.cs.yorku.ca/eiffel/etester
Martin, R.C.: Agile software development. Pearson Education, London (2003)
Meyer, B.: Object-Oriented Software Construction. Prentice Hall, Englewood Cliffs (1997)
Meyer, B.: Practice to Perfect: the Quality-First Model. IEEE Computer 30(5) (1997)
Meyer, A.R.: Towards practical proofs of class correctness. In: Bert, D., Bowen, J.P., King, S. (eds.) ZB 2003. LNCS, vol. 2651, pp. 359–387. Springer, Heidelberg (2003)
Meyer, B.: Personal communication (June 2003)
Paige, R., Ostroff, J.S.: The Single Model Principle. Journal of Object Oriented Technology 1(5) (2002)
Williams, L., Cockburn, A.: Agile Software Development: It’s about Feedback. Computer 36(6), 39–43 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ostroff, J.S., Makalsky, D., Paige, R.F. (2004). Agile Specification-Driven Development. In: Eckstein, J., Baumeister, H. (eds) Extreme Programming and Agile Processes in Software Engineering. XP 2004. Lecture Notes in Computer Science, vol 3092. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24853-8_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-24853-8_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22137-1
Online ISBN: 978-3-540-24853-8
eBook Packages: Springer Book Archive