Specification-driven design with eiffel and agents for teaching lightweight formal methods

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3294, Issue , 2004, Pages 107-123

  Paige, Richard F ^a   Ostroff, Jonathan S ^b  

^a UNIVERSITY OF YORK   (United Kingdom)

^b YORK UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; SOFTWARE ENGINEERING; SPECIFICATIONS;

AGENT TECHNOLOGY; DESIGN BY CONTRACTS; INDUSTRIAL SOFTWARE; LIGHTWEIGHT FORMAL METHODS; TEST DRIVEN DEVELOPMENT;

FORMAL METHODS;

EID: 35048838543     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30472-2_7     Document Type: Article

References (16)

1. S. Ambler. Extreme Testing. Software Development, 11(5), June 2003.
2. S. Ambler. Agility for Executives. Software Development, September 2003.
3. K. Beck. Test-driven Development: by example, Addison-Wesley, 2003.
4. K. Beck, A. Cockburn, R. Jeffries, and J. Highsmith. Agile Manifesto www.agilemanifesto.org/history.html. 2001.
5. D. Berry. Formal methods: the very idea - some thoughts about why they work when they work. Science of Computer Programming, 42(1), 2002.
6. B.W. Boehm and R. Turner. Balancing Agility and Discipline: a guide for the perplexed, Addison-Wesley, 2003.
7. H. Cater. Strategic Command 2, web site at www.battlefront.com, last accessed June 2004.
8. E.C.R. Hehner. A Practical Theory of Programming (Second Edition), Prentice-Hall, 2003.
9. M. Jackson. Software Requirements and Specifications, ACM Press, 1995.
10. J.S. Ostroff, R.F. Paige, D. Makalsky, and P.J Brooke. ETester: an Agent-Based Testing Framework for Eiffel, submitted June 2004.
11. B. Meyer. Eiffel: the Language (Second Edition), Prentice-Hall, 1992.
12. B. Meyer. Object-Oriented Software Construction (Second Edition), Prentice-Hall, 1997.
13. J.S. Ostroff, D. Makalsky, and R.E Paige. Agile Specification-Driven Design. In Proc. Extreme Programming 2004, LNCS, Springer-Verlag, June 2004.
14. R.F. Paige, J.S. Ostroff, and P.J. Brooke. 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.
15. R.F. Paige and J.S. Ostroff. ERC: an Object-Oriented Refinement Calculus for Eiffel. Formal Aspects of Computing 16(1):51-79, Springer-Verlag, April 2004.
16. P. Zave and M. Jackson. Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology, 6(1), 1997.