LEADER 01501 am 2200445 n 450 001 9910308050603321 005 20180726 010 $a2-37154-092-7 024 7 $a10.4000/books.iheal.4205 035 $a(CKB)4100000007549233 035 $a(FrMaCLE)OB-iheal-4205 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/57800 035 $a(PPN)234055359 035 $a(EXLCZ)994100000007549233 100 $a20190125j|||||||| ||| 0 101 0 $afre 135 $auu||||||m|||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRecherche archéologiques dans la vallée du Tempisque, Guanacaste, Costa Rica /$fClaude-François Baudez 210 $aParis $cÉditions de l?IHEAL$d2018 215 $a1 online resource (XX-401 p.) 606 $aArchaeology 606 $aarchéologie (Costa Rica) 606 $aIndiens d'Amérique centrale 606 $aarchéologie précolombienne 610 $aIndiens d'Amérique centrale 610 $aarchéologie (Costa Rica) 610 $aarchéologie précolombienne 615 4$aArchaeology 615 4$aarchéologie (Costa Rica) 615 4$aIndiens d'Amérique centrale 615 4$aarchéologie précolombienne 700 $aBaudez$b Claude-François$0544754 801 0$bFR-FrMaCLE 906 $aBOOK 912 $a9910308050603321 996 $aRecherche archéologiques dans la vallée du Tempisque, Guanacaste, Costa Rica$93034432 997 $aUNINA LEADER 04553nam 22006735 450 001 9910373923403321 005 20251225181935.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-0937 ;$v1161 311 08$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-0937 ;$v1161 606 $aSoftware engineering 606 $aMicroprogramming 606 $aComputer engineering 606 $aComputer networks 606 $aComputer science 606 $aSoftware Engineering 606 $aControl Structures and Microprogramming 606 $aComputer Engineering and Networks 606 $aTheory of Computation 615 0$aSoftware engineering. 615 0$aMicroprogramming. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aControl Structures and Microprogramming. 615 24$aComputer Engineering and 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