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

Haim Kilov, Bernhard Rumpe, Ian Simmonds. Object-oriented behavioral semantics with an emphasis on semantics of large OO business specifications. In Jim Haungs, editor, Addendum to the 1997 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA Addendum 1997, Atlanta, Georgia, USA, October 5-9, 1997. pages 68-73, ACM, 1997. [doi]

Abstract

Abstract is missing.