Formal Specification - A Comparison of Two Techniques.

David A. Duce Elizabeth V. C. Fielding

Published in: Comput. J. (1987)

Keyphrases

formal specification
model checking
specification languages
specification language
object oriented design
formal methods
concurrent systems
data abstraction
reverse engineering
process algebra
real world
web services
database systems
fuzzy logic