Login / Signup
Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract).
Donald Sannella
Andrzej Tarlecki
Published in:
TAPSOFT, Vol.1 (1987)
Keyphrases
</>
extended abstract
formal descriptions
formal specification
formal language
case study
knowledge based systems
efficient implementation
control flow
high level
design process
controlled natural language
software engineering
information processing
operational semantics
reactive systems