Design of a formal Estelle semantics for verification.

Jan Bredereke Reinhard Gotzhein Friedrich H. Vogt

Published in: FORTE (1992)

Keyphrases

building blocks
data sets
logic programming
model checking
software architecture
computer aided
engineering design
databases
high level
evolutionary algorithm
design process
conceptual model
formal methods
formal semantics
conceptual schema
specification languages