Towards Simpler and Yet Complete Formal Specifications

Paulo A. S. Veloso Antonio L. Furtado

Published in: TFAIS (1985)

Keyphrases

formal specification
model checking
specification language
object oriented design
specification languages
reverse engineering
design methodology
databases
high level
knowledge acquisition
conceptual model
process algebra