A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams.

Sun Meng Luís Soares Barbosa

Published in: QSIC (2008)

Keyphrases

sequence diagrams
uml models
model based testing
petri net
class diagrams
test cases
software systems
relational databases
object oriented