Formal specification of topological subdivisions using hypermaps.

Jean-François Dufourd

Published in: Comput. Aided Des. (1991)

Keyphrases

formal specification
model checking
specification languages
specification language
object oriented design
reverse engineering
formal methods
process algebra
data abstraction
database
case study
expert systems
business rules
model checker