A Two-Dimensional View of Integrated Formal and Informal Specification Techniques.

Robert B. France Maria M. Larrondo-Petrie

Published in: ZUM (1995)

Keyphrases

formal specification
formal methods
three dimensional
multi dimensional
operational semantics
formal language
reactive systems
specification languages
high level
formal model
database
neural network
computer vision
case study
specification language
formal verification