Using Modechart Modules for Testing Formal Specifications.

Monica Brockmeyer

Published in: HASE (1999)

Keyphrases

formal specification
software testing
specification languages
object oriented design
model checking
specification language
reverse engineering
design methodology
process algebra
test cases
formal methods
concurrent systems
user interface