A Formal Specification of an Oscilloscope.

Norman M. Delisle David Garlan

Published in: IEEE Softw. (1990)

Keyphrases

formal specification
model checking
specification language
specification languages
object oriented design
process algebra
reverse engineering
data abstraction
concurrent systems
formal methods
temporal logic
software components
design methodologies
model checker
open source
business rules