Model-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 Botterweck

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
• Edizione: 1st ed. 2013.
• Descrizione fisica: 1 online resource (X, 139 p. 61 illus.)
• Disciplina: 005.1
• Soggetto topico: Software 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
• Persona (resp. second.): MachadoRicardo J; MacielRita Suzana; RubinJulia; BotterweckGoetz
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Sommario/riassunto: 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.
• Titolo autorizzato: Model-Based Methodologies for Pervasive and Embedded Software
• ISBN: 3-642-38209-6
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996466178303316
• Lo trovi qui: Univ. di Salerno
• Serie: Programming and Software Engineering ; ; 7706