On the Feasibility of a Unified Modelling and Programming Paradigm-Reference-Cited by-同舟云学术

On the Feasibility of a Unified Modelling and Programming Paradigm

Published:2016 Issue: Volume: Page:32-49
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
language:
Short-container-title:

Author:

Haxthausen Anne E.,Peleska Jan

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-47169-3_4

Reference17 articles.

1. Bézivin, J., Jouault, F., Valduriez, P.: On the need for megamodels. In: OOPSLA/GPCE: Best Practices for Model-Driven Software Development Workshop (2004)

2. Lecture Notes in Computer Science;A Cavalcanti,2015

3. Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Trans. Softw. Eng. SE-4(3), 178–186 (1978)

4. Diaconescu, R.: Institution-independent Model Theory. Birkhäuser Verlag AG, Basel, Boston, Berlin (2008)

5. Goguen, J.A., Burstall, R.M.: Institutions: abstract model theory for specification and programming. J. Association Comput. Mach. 39, 95–146 (1992). Predecessor. LNCS 164, 221–256 (1984)

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

1. Systematizing modeler experience (MX) in model-driven engineering success stories;Software and Systems Modeling;2024-07-11

2. Type Theory as a Framework for Modelling and Programming;Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018

3. Towards a Unified View of Modeling and Programming (Track Summary);Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications;2016