Understanding and Exploring Formal Specifications.

Jawed I. A. Siddiqi Ian C. Morrey Richard Hibberd Graham Buckberry

Published in: Ann. Softw. Eng. (1998)

Keyphrases

formal specification
object oriented design
model checking
concurrent systems
specification languages
reverse engineering
design methodology
general purpose
formal methods
specification language
expert systems
business process
process algebra
protocol specification