An Informal Approach to Formal (Algebraic) Specifications.
Antonio L. FurtadoT. S. E. MaibaumPublished in: Comput. J. (1985)
Keyphrases
- formal specification
- mathematical theory
- formal language
- reactive systems
- formal descriptions
- operational semantics
- model checking
- formal methods
- requirements specification
- neural network
- formal and informal learning
- controlled natural language
- real world
- specification language
- delay insensitive
- formal analysis
- programming language
- real time
- algebraic operators
- written in natural language