Formal specification of a small example based on GKS.
David A. DuceElizabeth V. C. FieldingLynn S. MarshallPublished in: ACM Trans. Graph. (1988)
Keyphrases
- formal specification
- model checking
- specification languages
- object oriented design
- specification language
- reverse engineering
- formal methods
- concurrent systems
- process algebra
- data abstraction
- protocol specification
- programming language
- software components
- formal specification language
- database
- database systems
- machine learning
- real world