Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications.
Hartmut EhrigBernd MahrIngo ClaßenFernando OrejasPublished in: Comput. J. (1992)
Keyphrases
- formal specification
- specification language
- high level
- transition systems
- reactive systems
- artificial intelligence
- formal verification
- asynchronous circuits
- control flow
- formal language
- attribute grammars
- formal methods
- finite state machines
- operational semantics
- code generation
- delay insensitive
- higher order
- genetic algorithm
- temporal logic
- data exchange
- state machines
- concurrent systems
- protocol specification