Bibliography

[Akehurst01] D. H. Akehurst and B. Bordbar, On Querying UML Data Models with OCL , <<UML>> 2001 - The Unified Modeling Language, Modeling Languages, Concepts and Tools, 4th International Conference, Toronto, Canada, 2001.

[Balsters03] H. Balsters, Modeling Database Views with Derived Classes in the UML/OCL-framework , to appear in the proceedings of <<UML>> 2003 "Modeling Languages and Applications" October 20 - 24, 2003, San Francisco, California, USA.

[Blaha98] Michael Blaha and William Premerlani, Object-Oriented Modeling and Design for Database Applications , Prentice-Hall, 1998.

[Booch94] Grady Booch, Object-Oriented Analysis and Design with Applications , 2nd ed, Benjamin/Cummings, 1994.

[Booch99] Grady Booch, James Rumbaugh, and Ivar Jacobson, The Unified Modeling Language User Guide , Addison-Wesley, 1999.

[CMM95] Carnegie Mellon University/Software Engineering Institute, The Capability Maturity Model: Guidelines for Improving the Software Process , Addison-Wesley, 1995.

[Coleman94] Derek Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Chilchrist, F. Hayes, and P. Jeremaes, Object-Oriented Development: The Fusion Method , Prentice-Hall, 1994.

[Cook94] Steve Cook and John Daniels, Designing Object Systems ”Object Oriented Modeling with Syntropy , Prentice-Hall, 1994.

[D'Souza99] Desmond F. D'Souza and Alan C. Wills, Objects, Components, and Frameworks with UML: The Catalysis Approach , Addison-Wesley, 1999.

[EJB01] UML/EJB Mapping specification , Java Community Process Document JSR26, 2001.

[Eriksson00] Hans-Erik Eriksson and Magnus Penker, Business Modeling with UML, Business Patterns at Work , John Wiley & Sons, 2000.

[Fowler97] Martin Fowler, UML Distilled: Applying the Standard Object Modeling Language , Addison-Wesley, 1997.

[Graham95] Ian Graham, Migrating to Object Technology , Addison-Wesley, 1995.

[Jacobson99] Ivar Jacobson, Grady Booch, and James Rumbaugh, The Unified Software Development Process , Addison-Wesley, 1999.

[Kleppe03] Anneke Kleppe, Jos Warmer, and Wim Bast, MDA Explained; The Model Driven Architecture: Practice and Promise , Addison-Wesley, 2003.

[Liskov94] Barbara Liskov and Jeanette Wing, "A Behavioral Notion of Subtyping," ACM Transactions on Programming Languages and Systems , Vol. 16, No. 6, November 1994, pp. 1811 “1841.

[Meyer85] Bertrand Meyer, "On Formalism in Specifications," IEEE Software , January 1985.

[Meyer88] Bertrand Meyer, Object-Oriented Software Construction , Prentice-Hall, 1988.

[Meyer91] Bertrand Meyer, "Design by Contract," in Advances in Object-Oriented Software Engineering , Prentice-Hall, 1991, pp. 1 “50.

[Meyer92] Bertrand Meyer, "Applying Design by Contract," IEEE Computer , October 1992.

[OCL97] Object Constraint Language Specification , version 1.1, OMG document ad970808, 1997.

[OCL03] Response to the UML 2.0 OCL RfP, revision 1.6, OMG document ad2003-01-06.

[Richters01] Mark Richters, A Precise Approach to Validating UML Models and OCL Constraints , Logos Verlag Berlin, 2001.

[Rumbaugh91] James Rumbaugh, Michael Blaha, William Premelani, Frederick Eddy, and William Lorensen, Object-Oriented Modeling and Design , Prentice-Hall, 1991.

[Rumbaugh99] James Rumbaugh, Grady Booch, and Ivar Jacobson, Unified Modeling Language Reference Manual , Addison-Wesley, 1999.

[Selic94] Bran Selic, Garth Gullekson, and Paul T. Ward, Real-Time Object-Oriented Modeling , John Wiley & Sons, 1994.

[UML97] UML 1.1 Specification , OMG documents ad970802 “ad0809, 1997.

[Wald n95] Kim Wald n and Jean-Marc Nerson, Seamless Object-Oriented Software Architecture: Analysis and Design of Reliable Systems , Prentice-Hall, 1995.

[Wirfs-Brock90] Rebecca Wirfs-Brock, Brian Wilkerson, and Lauren Wiener, Designing Object-Oriented Software , Prentice-Hall, 1990.

[Wordsworth92] J. Wordsworth, Software Development with Z , Addison-Wesley, Berkshire, 1992.