Heterogeneous megamodel management using collection operators-Reference-Cited by-同舟云学术

Heterogeneous megamodel management using collection operators

Published:2019-06-22 Issue:1 Volume:19 Page:231-260
ISSN:1619-1366
Container-title:Software and Systems Modeling
language:en
Short-container-title:Softw Syst Model

Author:

Salay Rick,Kokaly Sahar,Di Sandro Alessio,Fung Nick L. S.,Chechik Marsha

Funder

Natural Sciences and Engineering Research Council of Canada

Publisher

Springer Science and Business Media LLC

Subject

Modeling and Simulation,Software

Link

http://link.springer.com/content/pdf/10.1007/s10270-019-00738-9.pdf

Reference47 articles.

1. Bernstein, P.A.: Applying model management to classical meta data problems. In: Proceedings of CIDR’03, vol. 2003, pp. 209–220 (2003)

2. Bézivin, J., Jouault, F., Touzet, D.: An introduction to the atlas model management architecture. Tech. Rep. 05.01, Labratoire d’Informatique de Nantes-Atlantique (2005)

3. Bézivin, J., Jouault, F., Valduriez, P.: On the need for megamodels. In: Proceedings of OOPSLA/GPCE Workshops (2004)

4. Brunet, G., Chechik, M., Easterbrook, S., Nejati, S., Niu, N., Sabetzadeh, M.: A manifesto for model merging. In: Proceedings of GAMMA at ICSE’06, pp. 5–12 (2006)

5. Cardelli, L., Wegner, P.: On understanding types, data abstraction, and polymorphism. ACM Comput. Surv. (CSUR) 17(4), 471–523 (1985)

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

1. MMINT-A: A framework for model-based safety assurance;Science of Computer Programming;2024-01

2. The ForeMoSt approach to building valid model-based safety arguments;Software and Systems Modeling;2022-11-30

3. A Lean Approach to Building Valid Model-Based Safety Arguments;2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS);2021-10

4. Validating Safety Arguments with Lean;Software Engineering and Formal Methods;2021

5. MMINT-A 2.0;Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings;2020-10-16