Using Yourdon and Z: an Approach to Formal Specification.

Lesley Semmens Pat Allen

Published in: Z User Workshop (1990)

Keyphrases

formal specification
model checking
specification languages
specification language
object oriented design
reverse engineering
process algebra
concurrent systems
data abstraction
software components
formal methods
design methodologies
response time
temporal logic
software maintenance