A compositional semantics of UML-RSDS-Reference-Cited by-同舟云学术

A compositional semantics of UML-RSDS

Published:2007-08-03 Issue:1 Volume:8 Page:85-116
ISSN:1619-1366
Container-title:Software & Systems Modeling
language:en
Short-container-title:Softw Syst Model

Author:

Lano K.

Publisher

Springer Science and Business Media LLC

Subject

Modeling and Simulation,Software

Link

http://link.springer.com/content/pdf/10.1007/s10270-007-0064-x.pdf

Reference51 articles.

1. Abrial J.-R. (1996). The B Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge

2. Androutsopoulos, K.: Verification of reactive system specifications using model checking. Ph.D. thesis, King’s College, London (2004)

3. Aruchamy, G., Kim Cheng, A.M.: Translating real-time UML timing constraints into real-time logic formulas. Technical Report UH-CS-06-07, University of Houston, Houston (2006)

4. B4Free (2006) B4Free, http://www.b4free.com

5. Bicarregui, J.C., Lano, K.C., Maibaum, T.S.E.: Objects, associations and subsystems: a hierarchical approach to encapsulation. In: ECOOP 97, LNCS. Springer, Heidelberg (1997)

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

1. Synthesis of mobile applications using AgileUML;14th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference);2021-02-25

2. MUPPIT: a method for using proper patterns in model transformations;Software and Systems Modeling;2021-01-17

3. Extending OCL with Map and Function Types;Fundamentals of Software Engineering;2021

4. Object constraint language for code generation from activity models;Information and Software Technology;2018-11

5. A Logic-Based Approach for the Verification of UML Timed Models;ACM Transactions on Software Engineering and Methodology;2017-10-05