-
1
-
-
84948946085
-
On Querying UML data models with OCL
-
«UML» 2001 - The Unified Modeling Language, Modeling Languages, 4th International Conference, Toronto, Canada, 2001, Proceedings. Springer-Verlag, Berlin Heielberg New York
-
Akehurst, D.H., Bordbar, B.: On Querying UML data models with OCL; «UML» 2001 - The Unified Modeling Language, Modeling Languages, 4th International Conference, Toronto, Canada, 2001, Proceedings. Lecture Notes in Computer Science, Vol 2185, Springer-Verlag, Berlin Heielberg New York (2001)
-
(2001)
Lecture Notes in Computer Science
, vol.2185
-
-
Akehurst, D.H.1
Bordbar, B.2
-
4
-
-
84893485408
-
Automatic verification of transactions on an object-oriented database
-
Sixth International Conference on Database Programming Languages, Springer-Verlag, Berlin Heielberg New York
-
Balsters, H., Spelt, D.: Automatic verification of transactions on an object-oriented database, Sixth International Conference on Database Programming Languages, Lecture Notes in Computer Science, Vol 1369, Springer-Verlag, Berlin Heielberg New York (1998)
-
(1998)
Lecture Notes in Computer Science
, vol.1369
-
-
Balsters, H.1
Spelt, D.2
-
5
-
-
35248823900
-
A semantics of object-oriented sets
-
(DBPL, eds. Abiteboul, Kannelakis), Morgan Kaufmann Publishers, California USA
-
Balsters, B., de Vreeze, C.C.: A semantics of object-oriented sets, Third International Workshop on Database Programming Languages (DBPL, eds. Abiteboul, Kannelakis), Morgan Kaufmann Publishers, California USA (1992)
-
(1992)
Third International Workshop on Database Programming Languages
-
-
Balsters, B.1
De Vreeze, C.C.2
-
7
-
-
84947729407
-
Using UML/OCL constraints for relational database design
-
«UML»'99: The Unified Modeling Language, Second International Conference, USA, 1999, Proceedings Springer-Verlag, Berlin Heielberg New York
-
Demuth, B., Hussmann, H.: Using UML/OCL constraints for relational database design; «UML»'99: The Unified Modeling Language, Second International Conference, USA, 1999, Proceedings Lecture Notes in Computer Science, Vol 1723, Springer-Verlag, Berlin Heielberg New York (1999)
-
(1999)
Lecture Notes in Computer Science
, vol.1723
-
-
Demuth, B.1
Hussmann, H.2
-
8
-
-
84948961025
-
OCL as a specification language for business rules in database applications
-
«UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, 2001, Proceedings. Springer-Verlag, Berlin Heielberg New York
-
Demuth, B., Hussmann, H., Loecher, S.: OCL as a specification language for business rules in database applications, «UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, 2001, Proceedings. Lecture Notes in Computer Science, Vol 2185, Springer-Verlag, Berlin Heielberg New York (2001)
-
(2001)
Lecture Notes in Computer Science
, vol.2185
-
-
Demuth, B.1
Hussmann, H.2
Loecher, S.3
-
12
-
-
70349422758
-
On the expressive power of OCL
-
FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Science, Springer-Verlag, Berlin Heielberg New York
-
Mandel, L., Cengarle, M.V.; On the expressive power of OCL; FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Science, Lecture Notes in Computer Science, Vol 1708, Springer-Verlag, Berlin Heielberg New York (1999)
-
(1999)
Lecture Notes in Computer Science
, vol.1708
-
-
Mandel, L.1
Cengarle, M.V.2
|