Title | Model-Driven Engineering and Software Development [electronic resource] : 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers / edited by Slimane Hammoudi, Luís Ferreira Pires, Bran Selic |
---|---|
Imprint | Cham : Springer International Publishing : Imprint: Springer, 2019 |
Edition | 1st ed. 2019 |
Connect to | https://doi.org/10.1007/978-3-030-11030-7 |
Descript | XII, 496 p. 520 illus., 173 illus. in color. online resource |
Executable Modeling for Reactive Programming -- A Model-Driven Method for Fast Building ConsistentWeb Services from OpenAPI-Compatible Models -- Reuse and Customization for Code Generators: Synergy by Transformations and Templates -- Model-based Programming for Multi-Processor Platforms with TTool/DIPLODOCUS and OMC -- Evaluating Multi-Variant Model-To-Text Transformations Realized by Generic Aspects -- Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework -- Automated Recommendation of Related Model Elements for Domain Models -- An Integrated Framework to Develop Domain-Specific Languages: Extended Case Study -- Technology Enhanced Support for Learning Interactive Software Systems -- Interactive Measures for Mining Understandable State Machines from Embedded Software: Experiments and Case Studies -- Adaptation and Implementation of the ISO42010 Standard to Software Design and Modeling Tools -- Generation and Validation of Frame Conditions in Formal Models -- Analysis and Evaluation of Conformance Preserving Graph Transformation Rules -- Generation of Inductive Types from Ecore Metamodels -- Towards Automated Defect Analysis using Execution Traces of Scenario-based Models -- A Textual Notation for Modeling and Generating Code for Composite Structure -- Application of a Process-oriented Build Tool for Flight Controller Development along a DO-178C/DO-331 Process -- A Methodology for Generating Tests for Evaluating User-centric Performance of Mobile Streaming Applications -- Combining Model-Driven Architecture and Software Product Line Engineering: Reuse of Platform-specific Assets -- A Test Specification Language for Information Systems based on Data Entities, Use Cases and State Machines -- Synchronizing Heuristics for Weakly Connected Automata with Various Topologies