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

Richard F. Paige; Jonathan S. Ostroff

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

Computer Science

Research output: Contribution to conference › Paper › peer-review

Abstract

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 language	Undefined/Unknown
Pages	107-123
Publication status	Published - 2004

Access to Document

http://springerlink.metapress.com/openurl.asp?genre=articleissn=0302-9743volume=3294spage=107

Cite this

@conference{5f2fb98cdfb640c496dd6329cb3f6d17,

title = "Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods",

abstract = "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.",

author = "Paige, {Richard F.} and Ostroff, {Jonathan S.}",

year = "2004",

language = "Undefined/Unknown",

pages = "107--123",

}

TY - CONF

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

AU - Paige, Richard F.

AU - Ostroff, Jonathan S.

PY - 2004

Y1 - 2004

N2 - 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.

AB - 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.

M3 - Paper

SP - 107

EP - 123

ER -