Formal Specification in the Revision of GKS: An Illustrative Example.
David A. DuceLjiljana B. DamnjanovicPublished in: Comput. Graph. Forum (1992)
Keyphrases
- formal specification
- model checking
- specification languages
- specification language
- object oriented design
- belief revision
- formal methods
- process algebra
- concurrent systems
- data abstraction
- belief change
- reverse engineering
- knowledge base
- model checker
- software components
- protocol specification
- database
- temporal logic
- fine grained
- machine learning