The UML as a formal modeling notation

J. Bicarregui, K. Lano, T. Maibaum, Objects, associations and subsystems: a hierarchical approach to encapsulation, in: Proceedings of ECOOP 97, LNCS 1489, Springer-Verlag, 1997.

Bourdeau, 1995, A formal semantics for object model diagrams, IEEE Transactions on Software Engineering, 21, 799, 10.1109/32.469459

R. Breu, U. Hinkel, C. Hofmann, C. Klein, B. Paech, B. Rumpe, V. Thurner, Towards a formalization of the unified modeling language, in: S. Matsuoka, M. Aksit (Eds.), ECOOP '97 Proceedings, Springer Verlag, LNCS 1241, 1997.

T. Clark, A. Evans, Foundations of the unified modeling language, Proceedings of The Second Northern Formal Methods Workshop, Springer-Verlag, 1997.

D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes, P. Jeremaes, Object-oriented development: the fusion method, Object-Oriented Series edn., Prentice Hall, Englewood Cliffs, NJ, 1994.

S. Cook, J. Daniels, Let's get formal, Journal of Object-Oriented Programming (JOOP), July–August 1994, pp. 22–24 and 64–66.

R. Duke, P. King, G.A. Rose, G. Smith, The Object-Z specification language, in: T.D. Korson, V.K. Vaishnavi, B. Meyer (Eds.), Technology of Object-Oriented Languages and Systems: TOOLS 5, Prentice Hall, 1991, pp. 465–483.

R.B. France, J.-M. Bruel, M.M. Larrondo-Petrie, An integrated object-oriented and formal modeling environment, To appear in the Journal of Object-Oriented Programming (JOOP), 1997.

The UML Group, UML Metamodel, Version 1.1, Rational Software, Santa Clara, CA-95051, USA, September 1997.

The UML Group, UML Object Constraint Language Specification, Version 1.1, Rational Software, Santa Clara, CA-95051, USA, July 1997.

The UML Group, UML Semantics, Version 1.1, Rational Software, Santa Clara, CA-95051, USA, July 1997.

The UML Group, Unified Modeling Language, Version 1.1, Rational Software, Santa Clara, CA-95051, USA, July 1997.

J.A. Hall, Using Z as a specification calculus for object-oriented systems, in: D. Bjorner, C.A.R. Hoare, H. Langmaack (Eds.), VDM and Z—Formal Methods in Software Development, Vol. 428 of Lecture Notes in Computer Science, VDM-Europe, Springer-Verlag, New York, 1990, pp. 290–318.

C. Klein, B. Rumpe, M. Broy, A stream-based mathematical model for distributed information processing systems—SysLab system model, in: J.-B. Stefani, E. Naijm (Eds.), FMOODS'96 Formal Methods for Open Object-based Distributed Systems, ENST France Telecom, 1996, pp. 323–338.

K.C. Lano, Z++, an object-orientated extension to Z, in: J.E. Nicholls (Ed.), Z User Workshop, Oxford 1990, Workshops in Computing, Springer-Verlag, 1991, pp. 151–172.

J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen, Object-oriented Modeling and Design, Prentice Hall, 1991.

B. Rumpe, Formal Method for Design of Distributed Object-oriented Systems. PhD thesis (in german), Technische Universität München, 1996.

J.M. Spivey, The Z Notation: A Reference Manual, 2nd edn., Prentice Hall, Englewood Cliffs, NJ, 1992.