Executable specifications and CASE.

Craig Gaskell Roger Phillips

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

Keyphrases

formal specification
control flow
information technology
real time
concurrent systems
delay insensitive
genetic algorithm
attribute grammars