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

R F Paige; J S Ostroff

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

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	English
Title of host publication	TEACHING FORMAL METHODS, PROCEEDINGS
Editors	CN Dean, RT Boute
Place of Publication	BERLIN
Publisher	Springer
Pages	107-123
Number of pages	17
ISBN (Print)	3-540-23611-2
Publication status	Published - 2004
Event	Symposium on Teaching Formal Methods (TFM 2004) - Ghent Duration: 18 Nov 2004 → 19 Nov 2004

Conference

Conference	Symposium on Teaching Formal Methods (TFM 2004)
City	Ghent
Period	18/11/04 → 19/11/04

Cite this

@inproceedings{307f16e3ada74e39bcc088a9aee6d397,

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

author = "Paige, {R F} and Ostroff, {J S}",

year = "2004",

language = "English",

isbn = "3-540-23611-2",

pages = "107--123",

editor = "CN Dean and RT Boute",

booktitle = "TEACHING FORMAL METHODS, PROCEEDINGS",

publisher = "Springer",

address = "Germany",

note = "Symposium on Teaching Formal Methods (TFM 2004) ; Conference date: 18-11-2004 Through 19-11-2004",

}

TY - GEN

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

AU - Paige, R F

AU - Ostroff, J 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 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.

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

M3 - Conference contribution

SN - 3-540-23611-2

SP - 107

EP - 123

BT - TEACHING FORMAL METHODS, PROCEEDINGS

A2 - Dean, CN

A2 - Boute, RT

PB - Springer

CY - BERLIN

T2 - Symposium on Teaching Formal Methods (TFM 2004)

Y2 - 18 November 2004 through 19 November 2004

ER -