-
1
Information hiding interfaces for aspect-oriented design.
Published in Software engineering notes.Article -
2
-
3
Modular verification of collaboration-based software designs.
Published in Software engineering notes.Article -
4
-
5
Implementing protocols via declarative event patterns.
Published in Software engineering notes.Article