A Formal Approach to Collaborations in the Unified Modeling Language

This publication has 6 references indexed in Scilit:

• Towards a formalization of UML class structures in Z
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The UML as a formal modeling notation
  Computer Standards & Interfaces, 1998
• Executable object modeling with statecharts
  Computer, 1997
• Foundations of the Unified Modeling Language
  Electronic Workshops in Computing, 1997
• Towards a formalization of the Unified Modeling Language
  Published by Springer Nature ,1997
• Object-oriented design with 2176A
  Published by Association for Computing Machinery (ACM) ,1992