Representing Embedded System Sequence Diagrams as a Formal Language.

Elizabeth Latronico Philip Koopman

Published in: UML (2001)

Keyphrases

formal language
sequence diagrams
formal semantics
petri net
uml models
natural language
representation language
natural language interface
intermediate representation
class diagrams
prior knowledge
fine grained
test cases
case study
domain knowledge
software engineering