An Object-Oriented Airport: Specification and Refinement in Maude.

Ulrike Lechner Christian Lengauer Martin Wirsing

Published in: COMPASS/ADT (1994)

Keyphrases

formal specification
object oriented
specification language
data sets
formal verification
model checking
databases
user interface
high level
decision trees
formal methods
refinement process
database systems
conceptual model
database
operational semantics
protocol specification