Formal Specification of Graphical Notations and Graphical Software Tools.

Sharam Hekmatpour Mark Woodman

Published in: ESEC (1987)

Keyphrases

software tools
formal specification
model checking
specification languages
specification language
reverse engineering
object oriented design
formal methods
process algebra
real world
cooperative
expert systems
object oriented
software components
tool support
concurrent systems