Workflow-Driven Tool Integration Using Model Transformations-Reference-Cited by-同舟云学术

Workflow-Driven Tool Integration Using Model Transformations

Published:2010 Issue: Volume: Page:224-248
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Balogh András,Bergmann Gábor,Csertán György,Gönczy László,Horváth Ákos,Majzik István,Pataricza András,Polgár Balázs,Ráth István,Varró Dániel,Varró Gergely

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-17322-6_11

Reference59 articles.

1. RTCA - Radio Technical Commission for Aeronautic: Software Considerations in Airborne Systems and Equipment Certification, DO-178B (1992), https://www.arinc.com/cf/store/catalog_detail.cfm?item_id=633

2. Lecture Notes in Computer Science;J. Rushby,2008

3. Kornecki, A.J., Zalewski, J.: The Qualification of Software Development Tools from the DO-178B Perspective. Journal of Defense Software Engineering (April 2006), http://www.stsc.hill.af.mil/crosstalk/2006/04/0604KorneckiZalewski.html

4. Miller, S.P.: Certification Issues in Model Based Development Rockwell Collins

5. The DECOS Project: DECOS - Dependable Embedded Components and Systems, http://www.decos.at/

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

1. Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations;Formal Aspects of Computing;2022-06-24

2. Fixing Multiple Type Errors in Model Transformations with Alternative Oracles to Test Cases.;The Journal of Object Technology;2021

3. Design pattern oriented development of model transformations;Computer Languages, Systems & Structures;2016-11

4. Full contract verification for ATL using symbolic execution;Software & Systems Modeling;2016-07-27

5. Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework;Software & Systems Modeling;2016-05-12