Towards a formalization of the Unified Modeling Language-Reference-Cited by-同舟云学术

Towards a formalization of the Unified Modeling Language

Published:1997 Issue: Volume: Page:344-366
ISSN:0302-9743
Container-title:ECOOP'97 — Object-Oriented Programming
language:
Short-container-title:

Author:

Breu Ruth,Hinkel Ursula,Hofmann Christoph,Klein Cornel,Paech Barbara,Rumpe Bernhard,Thurner Veronika

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0053386

Reference29 articles.

1. G. Booch. Object-Oriented Analysis and Design with Applications. Benjamin Cummings, 1994.

2. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language for Object-Oriented Development, Version 1.0, 1996.

3. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language for Object-Oriented Development, Version 0.9, 1996.

4. R. Breu and R. Grosu. Modeling the dynamic behaviour of objects — about events, messages and methods, submitted to publication, 1997.

5. M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, and R. Weber. The Design of Distributed Systems — An Introduction to focus — revised version-. SFB-Bericht 342/2-2/92 A, Technische Universität München, January 1993.

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

1. Formalizing UML State Machines for Automated Verification – A Survey;ACM Computing Surveys;2023-07-13

2. Towards an Ontology for Scenario Definition for the Assessment of Automated Vehicles: An Object-Oriented Framework;IEEE Transactions on Intelligent Vehicles;2022-06

3. New Opportunities for Integrated Formal Methods;ACM Computing Surveys;2020-11-30

4. An Applied Mathematical Model for Business Transformation and Enterprise Architecture;Using Applied Mathematical Models for Business Transformation;2020

5. SysML to NuSMV Model Transformation via Object-Orientation;Cyber Physical Systems. Design, Modeling, and Evaluation;2017