Object-oriented behavioral semantics with an emphasis on semantics of large OO business specifications.

Haim Kilov, Bernhard Rumpe, Ian Simmonds

Browse the full OOPSLA paper archive.