GKS, Structures and Formal Specification.

Published in: Eurographics (1989)

Keyphrases

formal specification
model checking
specification language
object oriented design
specification languages
concurrent systems
formal methods
reverse engineering
process algebra
software components
data abstraction
programming language
grid workflow