LEADER 04826nam 22006495 450 001 9910373923403321 005 20200702030940.0 010 $a3-030-37873-X 024 7 $a10.1007/978-3-030-37873-8 035 $a(CKB)4900000000505164 035 $a(DE-He213)978-3-030-37873-8 035 $a(MiAaPQ)EBC6112215 035 $a(PPN)242845789 035 $a(EXLCZ)994900000000505164 100 $a20200103d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aModel-Driven Engineering and Software Development $e7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20?22, 2019, Revised Selected Papers /$fedited by Slimane Hammoudi, Luís Ferreira Pires, Bran Seli? 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XIV, 399 p. 210 illus., 109 illus. in color.) 225 1 $aCommunications in Computer and Information Science,$x1865-0929 ;$v1161 311 $a3-030-37872-1 327 $aIntegrating UML and ALF: An Approach to Overcome the Code Generation Dilemma in Model-driven Software Engineering -- A Model-based Combination Language for Scheduling Verification -- Resolving The Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour -- A Role Modeling based Approach for Cyber Threat Analysis -- Static Data-Flow Analysis of UML/SysML Functional Views for Signal and Image Processing Applications -- Umple-TL: A Model-oriented, Dependency-free Text Emission Tool -- Model Driven Data Management in Healthcare -- The Art of Bootstrapping -- A Framework for Multi-level Modeling of Analog/Mixed Signal Embedded Systems -- Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol -- Executing Scenario-Based Specification with Dynamic Generation of Rich Events -- Evaluating the Multi-Variant Model Transformation of UML Class Diagrams to Java Models -- Modeling and Analysis of Partitions on Functional Architectures using EAST-ADL -- A Programming and Verification Framework for Flexible and Unrestricted Program Evolution -- Classifying Approaches for Constructing Single Underlying Models -- TRILATERAL: A Model-based Approach for Industrial CPS ? Monitoring and Control. 330 $aThis book constitutes thoroughly revised and selected papers from the 7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019, held in Prague, Czech Republic, in February 2019. The 16 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 76 submissions. They address some of the most relevant challenges being faced by researchers and practitioners in the field of model-driven engineering and software development and cover topics like language design and tooling; programming support tools; code and text generation from models, behavior modeling and analysis; model transformations and multi-view modeling; as well as applications of MDD and its related techniques to cyber-physical systems, cyber security, IoT, autonomous vehicles and healthcare. 410 0$aCommunications in Computer and Information Science,$x1865-0929 ;$v1161 606 $aSoftware engineering 606 $aMicroprogramming  606 $aComputer organization 606 $aComputers 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aControl Structures and Microprogramming$3https://scigraph.springernature.com/ontologies/product-market-codes/I12018 606 $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 615 0$aSoftware engineering. 615 0$aMicroprogramming . 615 0$aComputer organization. 615 0$aComputers. 615 14$aSoftware Engineering. 615 24$aControl Structures and Microprogramming. 615 24$aComputer Systems Organization and Communication Networks. 615 24$aTheory of Computation. 676 $a005.1 676 $a005.12 702 $aHammoudi$b Slimane$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPires$b Luís Ferreira$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSeli?$b Bran$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910373923403321 996 $aModel-Driven Engineering and Software Development$91959951 997 $aUNINA