Automated transformations from UML behavior models to contracts-Reference-Cited by-同舟云学术

Automated transformations from UML behavior models to contracts

Published:2014-12 Issue:12 Volume:57 Page:1-17
ISSN:1674-733X
Container-title:Science China Information Sciences
language:en
Short-container-title:Sci. China Inf. Sci.

Author:

Li Dan,Li XiaoShan,Liu ZhiMing,Stolz Volker

Publisher

Springer Science and Business Media LLC

Subject

General Computer Science

Link

http://link.springer.com/content/pdf/10.1007/s11432-014-5159-8.pdf

Reference28 articles.

1. France R, Rumpe B. Model-driven development of complex software: A research roadmap. In: Lionel C B, Alexander L W, eds. 2007 Future of Software Engineering (FOSE 07). Minnesota: IEEE, 2007. 37–54

2. Schmidt D. Model-driven engineering. IEEE Comput, 2006, 39: 25–31

3. Hailpern B, Tarr P. Model-driven development: The good, the bad, and the ugly. IBM Syst J, 2006, 45: 451–461

4. OMG. Unified Modeling Language: Superstructure, version 2.4.1. Aug. 2011. http://www.omg.org/spec/UML/2.4/Superstructure

5. Larman C. Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process, 3rd ed. New Jersey: Prentice-Hall, 2005

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

1. Linking Formal Methods in Software Development;Theories of Programming and Formal Methods;2023

2. Towards Interface-Driven Design of Evolving Component-Based Architectures;NASA Monographs in Systems and Software Engineering;2017

3. Formal Sequence: Extending UML Sequence Diagram for Behavior Description and Formal Verification;2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC);2016-06