Model-Driven Engineering and Software Development: 6th International Conference, Modelsward 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Rev

ISBN-13: 9783030110291 / Angielski / Miękka / 2019 / 496 str.

Slimane Hammoudi; Luis Ferreira Pires; Bran Selic

Spis treści

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.