A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics-Reference-Cited by-同舟云学术

A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics

Published:2015 Issue: Volume: Page:225-238
ISSN:
Container-title:Complex Systems Design & Management
language:
Short-container-title:

Author:

Nastov Blazo,Chapurlat Vincent,Dony Christophe,Pfister François

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-11617-4_16

Reference25 articles.

1. INCOSE, Systems Engineering Vision 2020, INCOSE-TP-2004 (September 2007)

2. ISO/IEC, ISO/IEC 1528: Systems and software engineering - System life cycle processes, vol. 2008(1), p. 5. IEEE (2008)

3. Estefan, J.A.: Survey of Model-Based Systems Engineering (MBSE) Methodologies 2. Differentiating Methodologies from Processes, Methods, and Lifecycle Models. Jet Propuls 25, 1–70 (2008)

4. BKCASE Project, System Engineering Book of Knowledge, SEBoK v1.2., http://www.sebokwiki.org/

5. Kent, S.: Model Driven Engineering. In: Integr. Form. Methods, pp. 286–298 (2002)

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

1. MBSE and V&V: a tool-equipped method for combining various V&V strategies;IFAC-PapersOnLine;2017-07

2. Designing Natively Interoperable Complex Systems: An Interface Design Pattern Proposal;Enterprise Interoperability;2017-06-02

3. Towards V&V suitable Domain Specific Modeling Languages for MBSE: A tooled approach;INCOSE International Symposium;2016-07

4. An Interface Pattern Model for Supporting Design of Natively Interoperable Systems;Lecture Notes in Business Information Processing;2015

5. System of Systems Architecting: A Behavioural and Properties Based Approach for SoS “–ilities” Modelling and Analysis;Risks and Resilience of Collaborative Networks;2015