The Formal Specification of Level l a of GKS.

Ljiljana B. Damnjanovic

Published in: Comput. Graph. Forum (1991)

Keyphrases

formal specification
model checking
specification languages
specification language
object oriented design
process algebra
formal methods
data abstraction
decision making
concurrent systems
databases
machine learning
case study
knowledge management