Using a Formal Specification Contractually.

Colin O'Halloran R. D. Arthan D. King

Published in: Formal Aspects Comput. (1997)

Keyphrases

formal specification
model checking
specification languages
object oriented design
formal methods
specification language
concurrent systems
reverse engineering
process algebra
data abstraction
software components
business rules
databases
real world
cooperative
object oriented