-
1
-
2
-
3
A specification language for coordinated objects.
I publikationen Software engineering notes.Artikel -
4
-
5
-
6
Reasoning about confidentiality at requirements engineering time.
I publikationen Software engineering notes.Artikel -
7
Detecting and resolving semantic pathologies in UML sequence diagrams.
I publikationen Software engineering notes.Artikel -
8
Lightweight object specification with typestates.
I publikationen Software engineering notes.Artikel -
9
-
10