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

Overview
Research
Identity
Additional Document Info
View All

authors

Paige, Richard
Ostroff, Jonathan S

status

published

publication date

2004

has subject area

Artificial Intelligence & Image Processing (Science Metrix)

published in

Lecture Notes in Computer Science Journal

presented at event

Symposium on Teaching Formal Methods (TFM 2004) Conference