Validating Semi-Formal Specifications of Interactors as Design Representations.

Panos Markopoulos Giorgios Papatzanis Peter Johnson Jon Rowson

Published in: DSV-IS (1998)

Keyphrases

formal specification
object oriented design
design methodology
case study
design process
artificial intelligence
reverse engineering
specification languages
database
cooperative
user interface
general purpose