A Lattice-theoretical Basis for a Specification Language.
Ralph-Johan BackJoakim von WrightPublished in: MPC (1989)
Keyphrases
- theoretical basis
- specification language
- description language
- formal specification
- programming language
- symbolic execution
- software environment
- complexity theory
- lattice structure
- requirements specification
- concept lattice
- database
- general purpose
- model checker
- cooperative
- artificial intelligence
- process model
- knowledge based systems
- data structure
- information systems
- real world