Specifications.: Formal and Informal-A Case Study.

Narain H. Gehani

Published in: Softw. Pract. Exp. (1982)

Keyphrases

formal specification
formal language
formal descriptions
reactive systems
operational semantics
case study
test bed
specification language
formal model
requirements specification
database
formal methods
finite state machines
formal semantics
model checking
similarity measure
high level
metadata
information retrieval