On the testability of SDL specifications.

Robert M. Hierons T.-H. Kim Hasan Ural

Published in: Comput. Networks (2004)

Keyphrases

delay insensitive
formal specification
test data generation
high level
real time
specification language
written in natural language
database
neural network
machine learning
computer vision
information systems
case study
functional requirements
control flow
formal descriptions