Author:
Bertino Elisa,Castelli Donatella,Vitale Federica
Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. J. R. Abrial. The B-Book. to appear, 1996.
2. R. H. Bordeau and B. H.C. Cheng. A Formal Semantics for Object Model Diagrams. IEEE Transaction on Software Engineering, 10, 1995.
3. T. C. Hartrum and P. D. Bailor. In Teaching Formal Extensions of Informal-Based Object-Oriented Analysis Methodologies, pages 389–409. Computer Science Education, 1994.
4. F. Hayes and D. Coleman. Coherent Models for Object-Oriented Analysis. In Proc. of OOPSLA '91, pages 171–183, 1991.
5. V. Jonckers, K. Verschaeve, L. Cuypers, and J. Heirbaut. OMT*, Bridging the Gap between Analysis and Design. 1995.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Expressing UML Class Diagrams Properties with OCL;Lecture Notes in Computer Science;2002
2. Transformation Rules for UML Class Diagrams;The Unified Modeling Language. «UML»’98: Beyond the Notation;1999
3. On Formalizing the UML Object Constraint Language OCL;Conceptual Modeling – ER ’98;1998