共 33 条
- [21] Integrating Model-based Formal Timing Analysis in the Industrial Development Process of Satellite On-Board Software PROCEEDINGS OF THE 2014 2ND INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2014), 2014, : 619 - 625
- [22] Development of Safety Process in Model-Based Design Platform for Safety-Critical Systems PROCEEDINGS OF 2013 IEEE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2012, : 627 - 630
- [24] A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems SOFTWARE TECHNOLOGIES FOR EMBEDDED AND UBIQUITOUS SYSTEMS, 2010, 6399 : 59 - +
- [25] DynaMo-AID: A design process and a runtime architecture for dynamic model-based user interface development ENGINEERING HUMAN COMPUTER INTERACTION AND INTERACTIVE SYSTEMS, 2005, 3425 : 77 - 95
- [29] Using Domain-Specific Models to Facilitate Model-Based Systems-Engineering: Development Process Design Modeling with OPM and PROVE APPLIED SCIENCES-BASEL, 2021, 11 (04): : 1 - 19