Executable Requirements Specifications Using Triggered Message Sequence Charts.

Bikram Sengupta Rance Cleaveland

Published in: ICDCIT (2005)

Keyphrases

formal specification
functional requirements
attribute grammars
written in natural language
email
control flow
hidden markov models
sequence analysis
delay insensitive