책 이미지
책 정보
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783030110291
· 쪽수 : 496쪽
· 출판일 : 2019-02-01
목차
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.














