Abstract
We report on our experiences in teaching lightweight formal methods with Eiffel. In particular, we discuss how we introduce formal methods via Eiffel’s design-by-contract and agent technologies, and how we integrate these techniques with test-driven development, in an approach called specification-driven design. This approach demonstrates how formal methods techniques fit with industrial software engineering practice.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Ambler, S.: Extreme Testing. Software Development 11(5) (June 2003)
Ambler, S.: Agility for Executives. Software Development (September 2003)
Beck, K.: Test-driven Development: by example. Addison-Wesley, Reading (2003)
Beck, K., Cockburn, A., Jeffries, R., Highsmith, J.: Agile Manifesto (2001), http://www.agilemanifesto.org/history.html
Berry, D.: Formal methods: the very idea – some thoughts about why they work when they work. Science of Computer Programming 42(1) (2002)
Boehm, B.W., Turner, R.: Balancing Agility and Discipline: a guide for the perplexed. Addison-Wesley, Reading (2003)
Cater, H.: Strategic Command 2, web site at http://www.battlefront.com (last accessed June 2004)
Hehner, E.C.R.: A Practical Theory of Programming, 2nd edn. Prentice-Hall, Englewood Cliffs (2003)
Jackson, M.: Software Requirements and Specifications. ACM Press, New York (1995)
Ostroff, J.S., Paige, R.F., Makalsky, D., Brooke, P.J.: ETester: an Agent-Based Testing Framework for Eiffel (June 2004) (submitted)
Meyer, B.: Eiffel: the Language, 2nd edn. Prentice-Hall, Englewood Cliffs (1992)
Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)
Ostroff, J.S., Makalsky, D., Paige, R.F.: Agile Specification-Driven Design. In: Proc. Extreme Programming 2004, June 2004. LNCS, Springer, Heidelberg (2004)
Paige, R.F., Ostroff, J.S., Brooke, P.J.: A Test-Based Agile Approach to Checking the Consistency of Class and Collaboration Diagrams. In: Proc. UK Software Testing Workshop, University of York (September 2003)
Paige, R.F., Ostroff, J.S.: ERC: an Object-Oriented Refinement Calculus for Eiffel. Formal Aspects of Computing 16(1), 51–79 (2004)
Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology 6(1) (1997)
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
Paige, R.F., Ostroff, J.S. (2004). Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods. In: Dean, C.N., Boute, R.T. (eds) Teaching Formal Methods. TFM 2004. Lecture Notes in Computer Science, vol 3294. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30472-2_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-30472-2_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23611-5
Online ISBN: 978-3-540-30472-2
eBook Packages: Springer Book Archive