FAMILY VALUES: A BEHAVIORAL NOTION OF SUBTYPING

A Formal Semantics for Object Model Diagrams

IEEE Transactions on Software Engineering

Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Contracts for aspect-oriented design

Proceedings of the 2008 AOSD workshop on Software engineering properties of languages and aspect technologies