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

Research output: Contribution to conferencePaper



Publication details

DatePublished - 2004
Original languageUndefined/Unknown


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.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations