Formal Specification from an Observation-oriented Perspective.
Meurig BeynonJaratsri RungrattanaubolJane E. SinclairPublished in: J. Univers. Comput. Sci. (2000)
Keyphrases
- formal specification
- model checking
- specification language
- specification languages
- object oriented design
- process algebra
- concurrent systems
- data abstraction
- formal methods
- reverse engineering
- formal specification language
- formal verification
- temporal logic
- distributed environment
- production system
- case study
- real world
- databases