Reflections on the Design of a Specification language.

Stefan Kahrs Donald Sannella

Published in: FASE (1998)

Keyphrases

specification language
software environment
programming language
case study
user interface
formal specification
database
machine learning
cooperative
autonomous agents