Equivalence Rules for UML Class Diagrams
暂无分享,去创建一个
[1] Jürgen Ebert,et al. Integration of Z-based Semantics of OO-Notations , 1997, ECOOP Workshops.
[2] Maria M. Larrondo-Petrie,et al. Exploring the semantics of UML type structures with Z , 1997 .
[3] Betty H. C. Cheng,et al. A Formal Semantics for Object Model Diagrams , 1995, IEEE Trans. Software Eng..
[4] Robert B. France,et al. Towards a formalization of UML class structures in Z , 1997, Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97).
[5] Bernhard Rumpe,et al. Towards a Formalization of the Unified Modeling Language , 1997, ECOOP.
[6] Martin Gogolla,et al. State diagrams in UML: A formal semantics using graph transformations , 1998 .
[7] Betty H. C. Cheng,et al. Formalizing and Integrating the Dynamic Model within OMT , 1997, Proceedings of the (19th) International Conference on Software Engineering.
[8] Kevin Lano,et al. Enhancing Object-Oriented Methods with Formal Notations , 1996, Theory Pract. Object Syst..
[9] Kevin Lano,et al. Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation , 1997, ECOOP.
[10] Gunnar Overgaard. A Formal Approach to Relationships in the Unified Modeling Language , 1998 .
[11] Martin Gogolla,et al. On Formalizing the UML Object Constraint Language OCL , 1998, ER.
[12] Elisa Bertino,et al. A Formal Representation for State Diagrams in the OMT Methodology , 1996, SOFSEM.