What is a Good Formal Specification?

Andrew M. Gravell

Published in: Z User Workshop (1990)

Keyphrases

formal specification
model checking
specification languages
specification language
object oriented design
process algebra
data abstraction
formal methods
concurrent systems
reverse engineering
database
machine learning
grid workflow
design methodologies
model checker
business rules
artificial intelligence
databases