Formalizing the UML Class Diagram Using Object-Z-Reference-Cited by-同舟云学术

Formalizing the UML Class Diagram Using Object-Z

Published:1999 Issue: Volume: Page:83-98
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Kim Soon-Kyeong,David Carrington

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-46852-8_7

Reference16 articles.

1. J. Araujo, Metamorphosis: An Integrated Object-Oriented Requirements Analysis and Specification Method. PhD thesis Lancaster University 1996, ftp://ftp.comp.lancs.ac.uk/pub/reports/ThesisJA.ps.Z

2. G. Booch, Object-oriented analysis and design with applications, Benjamin/Cummings, 1994.

3. J. S. Dong and R. Duke. The Geometry of Object Containment, Object-Oriented Systems, vol. 2(1), pp. 41–63, Chapman & Hall, 1995.

4. R. Duke, G. Rose, and G. Smith. Object-Z: A specification language advocated for the description of standards, Computer standards & Interfaces, vol. 17, pp. 511–533, 1995.

5. technical report;S. Dupuy,1997

Cited by 25 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Transpilation of Petri-nets into B;Lecture Notes in Computer Science;2024

2. Effective Tool for Reporting and Analyzing Medication Errors;2023 20th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA);2023-12-04

3. Component-Based Approach Combining UML and BIP for Rigorous System Design;Formal Aspects of Component Software;2021

4. Alliance of model-driven engineering with a proof-based formal approach;Innovations in Systems and Software Engineering;2020-06-01

5. Specification with Class: A Brief History of Object-Z;Lecture Notes in Computer Science;2020