-
1
Formally modelling software architectures with the UML 2.0 profile for π-ADL.
Veröffentlicht in Software engineering notes.Artikel -
2
Detecting and resolving semantic pathologies in UML sequence diagrams.
Veröffentlicht in Software engineering notes.Artikel