A pictorial approach to the animation of process-oriented formal specifications.

David W. Bustard Mark T. Norris Rodney A. Orr

Published in: Softw. Eng. J. (1988)

Keyphrases

process oriented
formal specification
model checking
computer supported
object oriented design
specification languages
specification language
reverse engineering
goal oriented
formal methods
software components
concurrent systems
user interface
business rules
learning systems
open source
learning process