On the Lattice of Specifications: Applications to a Specification Methodology.
Noureddine BoudrigaFathi ElloumiAli MiliPublished in: Formal Aspects Comput. (1992)
Keyphrases
- formal specification
- specification language
- high level
- transition systems
- reactive systems
- design methodology
- software requirements
- operational semantics
- conceptual model
- user defined
- control flow
- requirements specification
- database systems
- asynchronous circuits
- delay insensitive
- database
- tool suite
- state machine
- code generation
- data model
- real time