Annotations in Formal Specifications and Proofs.
Saraswati KalvalaPublished in: Formal Methods Syst. Des. (1994)
Keyphrases
- formal specification
- object oriented design
- model checking
- specification languages
- specification language
- semantic annotation
- process algebra
- reverse engineering
- formal methods
- theorem proving
- concurrent systems
- theorem prover
- design methodology
- image annotation
- gene ontology
- metadata
- equational theories
- artificial intelligence
- information systems
- data model
- protocol specification
- databases
- semantic data models