UML formal semantics: lessons learned-Reference-Cited by-同舟云学术

UML formal semantics: lessons learned

Published:2011-06-23 Issue:4 Volume:10 Page:441-446
ISSN:1619-1366
Container-title:Software & Systems Modeling
language:en
Short-container-title:Softw Syst Model

Author:

Broy Manfred,Cengarle María Victoria

Publisher

Springer Science and Business Media LLC

Subject

Modeling and Simulation,Software

Link

http://link.springer.com/content/pdf/10.1007/s10270-011-0207-y.pdf

Reference39 articles.

1. Object Management Group: OMG Unified Modeling Language (OMG UML), Superstructure—Version 2.3. Technical Report Document Number formal/2010-05-05, OMG. http://www.omg.org/spec/UML/2.3/Superstructure/PDF/ (2010). Retrieved 2011-01-18

2. Booch, G., Maksimchuk, R.A., Engle, M.W., Young, B.J., Connallen, J., Houston, K.A.: Object-oriented analysis and design with applications, 3rd edition. ACM SIGSOFT Software Engineering Notes, vol. 33 (2008)

3. Rumbaugh J.E., Blaha M.R., Premerlani W.J., Eddy F., Lorensen W.E.: Object-Oriented Modeling and Design. Prentice-Hall, New Jersey (1991)

4. Jacobson I.: Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley Longman Publishing Co. Inc., Redwood City (2004)

5. Harel D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Progr. 8, 231–274 (1987)

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

1. Towards the Formal Analysis of UML Activity Diagrams in a Calculus of Context-aware Ambients;2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC);2023-06

2. Development Use Cases for Semantics-Driven Modeling Languages;Communications of the ACM;2023-04-21

3. Assessing the specification of modelling language semantics: a study on UML PSSM;Software Quality Journal;2023-03-01

4. Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect;Formal Methods for Industrial Critical Systems;2023

5. A Case Study in Formal Analysis of System Requirements;Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops;2023