ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

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

ACM SIGMOD Anthology

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