A characterization of UML diagrams and their consistency
暂无分享,去创建一个
[1] Ivar Jacobson,et al. The unified modeling language reference manual , 2010 .
[2] Craig Larman,et al. Applying UML and patterns , 1997 .
[3] 강문설. [서평]「The Unified Modeling Language User Guide」 , 1999 .
[4] C. A. R. Hoare,et al. Unifying theories of programming , 1998, RelMiCS.
[5] Mrv Michel Chaudron,et al. An empirical investigation in quantifying inconsistency and incompleteness of UML designs , 2003 .
[6] Ivar Jacobson,et al. The Unified Modeling Language User Guide , 1998, J. Database Manag..
[7] Richard F. Paige,et al. Checking the Consistency of Collaboration and Class Diagrams using PVS , 2002 .
[8] Jifeng He,et al. A Relational Model for Formal Object-Oriented Requirement Analysis in UML , 2003, ICFEM.
[9] Ivar Jacobson,et al. Unified Modeling Language Reference Manual, The (2nd Edition) , 2004 .
[10] Reiko Heckel,et al. The Consistency Workbench: A Tool for Consistency Management in UML-Based Development , 2003, UML.
[11] Ray Farmer,et al. Object-Oriented Systems Analysis and Design Using UML , 2001 .
[12] Amiram Yehudai,et al. Behavioral consistency validation of UML diagrams , 2003, First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..
[13] Aliki Tsiolakis. Integrating Model Information in UML Sequence Diagrams , 2001, Electron. Notes Theor. Comput. Sci..
[14] Quan Long,et al. Consistent code generation from UML models , 2005, 2005 Australian Software Engineering Conference.
[15] Jifeng He,et al. A formal semantics of UML sequence diagram , 2004, 2004 Australian Software Engineering Conference. Proceedings..
[16] D. Aredo. Sematics of UML Sequence Diagrams in PVS , 2000 .
[17] Jifeng He,et al. Using Transition Systems to Unify UML Models , 2002, ICFEM.