Toward a formal specification of menu-based systems.

James D. Arthur

Published in: J. Syst. Softw. (1987)

Keyphrases

formal specification
formal methods
distributed systems
databases
model checking
object oriented design
expert systems
relational databases
concurrent systems
real world
artificial intelligence
reverse engineering
specification language
data abstraction
object oriented systems
specification languages