On Formalizing the UML Object Constraint Language OCL.
Mark Richters, Martin Gogolla:
On Formalizing the UML Object Constraint Language OCL.
ER 1998: 449-464@inproceedings{DBLP:conf/er/RichtersG98,
author = {Mark Richters and
Martin Gogolla},
editor = {Tok Wang Ling and
Sudha Ram and
Mong-Li Lee},
title = {On Formalizing the UML Object Constraint Language OCL},
booktitle = {Conceptual Modeling - ER '98, 17th International Conference on
Conceptual Modeling, Singapore, November 16-19, 1998, Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1507},
year = {1998},
isbn = {3-540-65189-6},
pages = {449-464},
ee = {db/conf/er/RichtersG98.html},
crossref = {DBLP:conf/er/98},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
CDROM Version: Load the CDROM "Volume 2 Issue 1, ER 1979-1998" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
References
- [1]
- Mehmet Aksit, Satoshi Matsuoka (Eds.):
ECOOP'97 - Object-Oriented Programming, 11th European Conference, Jyväskylä, Finland, June 9-13, 1997, Proceedings.
Lecture Notes in Computer Science 1241 Springer 1997, ISBN 3-540-63089-9
Contents BibTeX
- [2]
- ...
- [3]
- Juan Bicarregui, Kevin Lano, T. S. E. Maibaum:
Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation.
ECOOP 1997: 324-343 BibTeX
- [4]
- Grady Booch:
Object-Oriented Design with Applications.
Benjamin/Cummings 1990
BibTeX
- [5]
- Robert H. Bourdeau, Betty H. C. Cheng:
A Formal Semantics for Object Model Diagrams.
IEEE Trans. Software Eng. 21(10): 799-821(1995) BibTeX
- [6]
- Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, Veronika Thurner:
Towards a Formalization of the Unified Modeling Language.
ECOOP 1997: 344-366 BibTeX
- [7]
- R. G. G. Cattell (Ed.):
The Object Database Standard: ODMG 2.0.
Morgan Kaufmann 1997
BibTeX
- [8]
- Peter P. Chen:
The Entity-Relationship Model - Toward a Unified View of Data.
ACM Trans. Database Syst. 1(1): 9-36(1976) BibTeX
- [9]
- Jürgen Ebert, Roger Süttenbach:
Integration of Z-based Semantics of OO-Notations.
ECOOP Workshops 1997: 173-177 BibTeX
- [10]
- Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe:
The UML as a Formal Modeling Notation.
UML 1998: 336-348 BibTeX
- [11]
- ...
- [12]
- ...
- [13]
- ...
- [14]
- Martin Gogolla, Mark Richters:
On Constraints and Queries in UML.
UML Workshop 1997: 109-121 BibTeX
- [15]
- Ali Hamie, Franco Civello, John Howse, Stuart Kent, Richard Mitchell:
Reflections on the Object Constraint Language.
UML 1998: 162-172 BibTeX
- [16]
- ...
- [17]
- ...
- [18]
- Anneke Kleppe, Jos Warmer, Steve Cook:
Informal Formality? The Object Constraint Language and Its Application in the UML Metamodel.
UML 1998: 148-161 BibTeX
- [19]
- Kevin Lano:
Enhancing Object-Oriented Methods with Formal Notations.
TAPOS 2(4): 247-268(1996) BibTeX
- [20]
- ...
- [21]
- Gunnar Övergaard, Karin Palmkvist:
A Formal Approach to Use Cases and Their Relationships.
UML 1998: 406-418 BibTeX
- [22]
- ...
- [23]
- ...
- [24]
- ...
- [25]
- James E. Rumbaugh, Michael R. Blaha, William J. Premerlani, Frederick Eddy, William E. Lorensen:
Object-Oriented Modeling and Design.
Prentice-Hall 1991, ISBN 0-13-630054-5
BibTeX
- [26]
- ...
- [27]
- Enoch Y. Wang, Heather A. Richter, Betty H. C. Cheng:
Formalizing and Integrating the Dynamic Model within OMT.
ICSE 1997: 45-55 BibTeX
- [28]
- Jos Warmer, John Hogg, Steve Cook, Bran Selic:
Experience with Formal Specification of CMM and UML.
ECOOP Workshops 1997: 216-220 BibTeX
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
Lecture Notes in Computer Science: Copyright © by Springer
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:10:17 2009