An empirical study of the LSS specification toolkit in use.

David Robertson

Published in: J. Syst. Softw. (1998)

Keyphrases

case study
specification language
decision making
natural language
multi agent systems
formal specification
formal language
provably correct
ims qti