Model-Driven Engineering and Software Development 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Hammoudi, Slimane (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Pires, Luís Ferreira (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Selic, Bran (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: Communications in Computer and Information Science, 991
• Θέματα: Software engineering.; Computers.; Computer organization.; Software Engineering.; Computing Milieux.; Computer Systems Organization and Communication Networks.; Theory of Computation.

This book constitutes thoroughly revised and selected papers from the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, held in Funchal, Madeira, Portugal, in January 2018. The 22 thoroughly revised and extended papers presented in this volume were c...

Πίνακας περιεχομένων:

• 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.