A formal specification of geometric refinements.

David Cazier Jean-François Dufourd

Published in: Vis. Comput. (1999)

Keyphrases

formal specification
model checking
specification languages
reverse engineering
specification language
object oriented design
process algebra
formal methods
data abstraction
software engineering
concurrent systems
formal verification
model checker
artificial intelligence
object oriented
design methodologies