Formal Specification of Virtual Process Topologies.

Kamran Kazemi Chris McDonald

Published in: IWCC (1999)

Keyphrases

formal specification
object oriented design
virtual environment
reverse engineering
database
databases
machine learning
case study
database systems
process model
model checking
formal methods
specification language