A Framework for Semantics of UML Sequence Diagrams in PVS.

Demissie B. Aredo

Published in: J. Univers. Comput. Sci. (2002)

Keyphrases

sequence diagrams
model based testing
software engineering
conceptual model
high level
formal semantics
constraint language
class diagrams
artificial intelligence
petri net