04522nam 22008535 450 991048323890332120200704011026.03-642-41533-410.1007/978-3-642-41533-3(CKB)3710000000019200(SSID)ssj0001010881(PQKBManifestationID)11534505(PQKBTitleCode)TC0001010881(PQKBWorkID)11004495(PQKB)10827452(DE-He213)978-3-642-41533-3(MiAaPQ)EBC3092942(PPN)172430674(EXLCZ)99371000000001920020130919d2013 u| 0engurnn|008mamaatxtccrModel-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings /edited by Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke1st ed. 2013.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2013.1 online resource (XXVIII, 792 p. 299 illus.) Programming and Software Engineering ;8107Bibliographic Level Mode of Issuance: Monograph3-642-41532-6 Tool support -- Dependability -- Comprehensibility -- Testing -- Evolution -- Verification -- Product lines -- Semantics -- Domain-specific modeling languages -- Design and architecture -- Model transformation -- Model analysis.- System synthesis.This book constitutes the refereed proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013, held in Miami, FL, USA, in September/October 2013. The 47 full papers presented in this volume were carefully reviewed and selected from a total of 180 submissions. They are organized in topical sections named: tool support; dependability; comprehensibility; testing; evolution; verification; product lines; semantics; domain-specific modeling languages; models@RT; design and architecture; model transformation; model analysis; and system synthesis.Programming and Software Engineering ;8107Programming languages (Electronic computers)Software engineeringComputer logicManagement information systemsComputer scienceComputer simulationComputer system failuresProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XManagement of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Simulation and Modelinghttps://scigraph.springernature.com/ontologies/product-market-codes/I19000System Performance and Evaluationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13049Programming languages (Electronic computers).Software engineering.Computer logic.Management information systems.Computer science.Computer simulation.Computer system failures.Programming Languages, Compilers, Interpreters.Software Engineering.Logics and Meanings of Programs.Management of Computing and Information Systems.Simulation and Modeling.System Performance and Evaluation.005.1Moreira Anaedthttp://id.loc.gov/vocabulary/relators/edtSchätz Bernhardedthttp://id.loc.gov/vocabulary/relators/edtGray Jeffedthttp://id.loc.gov/vocabulary/relators/edtVallecillo Antonioedthttp://id.loc.gov/vocabulary/relators/edtClarke Peteredthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483238903321Model Driven Engineering Languages and Systems772687UNINA