Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods

Richard F. Paige, Jonathan S. Ostroff

Research output: Contribution to conferencePaperpeer-review


We report on our experiences in teaching lightweight formal methods with Eiffel. In particular, we discuss how we introduce formal methods via Eif- fel's design-by-contract and agent technologies, and how we integrate these tech- niques with test-driven development, in an approach called specification-driven design. This approach demonstrates how formal methods techniques fit with in- dustrial software engineering practice.
Original languageUndefined/Unknown
Publication statusPublished - 2004

Cite this