04015nam 22007695 450 99646617830331620200705020419.03-642-38209-610.1007/978-3-642-38209-3(CKB)3280000000007633(DE-He213)978-3-642-38209-3(SSID)ssj0001071235(PQKBManifestationID)11682833(PQKBTitleCode)TC0001071235(PQKBWorkID)11114709(PQKB)10758184(MiAaPQ)EBC3093469(PPN)169140881(EXLCZ)99328000000000763320130430d2013 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierModel-Based Methodologies for Pervasive and Embedded Software[electronic resource] 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers /edited by Ricardo J. Machado, Rita Suzana Maciel, Julia Rubin, Goetz Botterweck1st ed. 2013.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2013.1 online resource (X, 139 p. 61 illus.) Programming and Software Engineering ;7706Bibliographic Level Mode of Issuance: Monograph3-642-38208-8 This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2012, held in Essen, Germany, in September 2012. The 7 revised full papers presented together with 1 short papers were carefully reviewed and selected from 16 submissions. The papers cover a large spectrum of topics including model-driven engineering, model analysis, runtime verification, modeling of reactive systems, variability modeling, and domain-specific languages.Programming and Software Engineering ;7706Software engineeringComputer logicComputer communication systemsProgramming languages (Electronic computers)Artificial intelligenceComputer simulationSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XComputer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Simulation and Modelinghttps://scigraph.springernature.com/ontologies/product-market-codes/I19000Software engineering.Computer logic.Computer communication systems.Programming languages (Electronic computers).Artificial intelligence.Computer simulation.Software Engineering.Logics and Meanings of Programs.Computer Communication Networks.Programming Languages, Compilers, Interpreters.Artificial Intelligence.Simulation and Modeling.005.1Machado Ricardo Jedthttp://id.loc.gov/vocabulary/relators/edtMaciel Rita Suzanaedthttp://id.loc.gov/vocabulary/relators/edtRubin Juliaedthttp://id.loc.gov/vocabulary/relators/edtBotterweck Goetzedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466178303316Model-Based Methodologies for Pervasive and Embedded Software2830474UNISA