Login
- Title:
ECOOP'97 Workshop on Pecise Semantics for Object-Oriented Modeling Techniques
- Document type:
- Technical Report
- Author(s):
- Haim Kilov; Bernhard Rumpe
- Abstract:
- No online version available. As long as there are copies available, you may receive one by either Bernhard Rumpe, rumpe@forsoft.de or Haim Kilov, haim_kilov@ml.com Titel der Vortraege mit Sprecher Haim Kilov Clarity and Context Angelo E. Thalassinidis On the Specification of Electronic Commerce Economics Geoff Mullery Discovering, Displaying and Agreeing Semantics in an Environment of Conflicts Haim Kilov Business rules: from business specification to design John Howse Semantics through Pictures: Towards a diagrammatic semantics for OO modeling notations Dominique Sidou Precise semantics for a Behavioral Model in the Context of Object Based Distributed Systems Bernhard Rumpe Towards a Precise Semantics for Object-Oriented Modeling Techniques K. C. Lano Formalising Object-Oriented Models in the Object Calculus B. Cohen Set Theory as a Semantic Framework for Object Oriented Modeling Juergen Ebert Integration of Z-Based Semantics of OO-Notations J.-M. Bruel Integrated Informal Object-Oriented and Formal Modeling Techniques Gary W. Daugherty Unification of the Models for Types, Classes and State Machines K. Periyasamy An Axiomatic Semantics for Object Modeling Technique Jean Bezivin Ontology-based Layered Semantics for Precise OA&D Modeling Reino Kurki-Suonio Liberating Object-Oriented Modeling from Programming-Level Abstractions Andy Schuerr Experience with Formal Specification of CMM and UML Roland Trauter A first review of UML
- Keywords:
- ECOOP'97; Semantics; Object-Oriented Modeling Techniqes; UML; Formality; Preciseness
- Year:
- 1997
- Year / month:
- 1997-05-01 00:00:00
BibTeX