LEADER 05269nam 22009135 450 001 9910484215803321 005 20210602125006.0 010 $a3-642-36757-7 024 7 $a10.1007/978-3-642-36757-1 035 $a(CKB)3520000000003551 035 $a(SSID)ssj0000880076 035 $a(PQKBManifestationID)11454619 035 $a(PQKBTitleCode)TC0000880076 035 $a(PQKBWorkID)10853302 035 $a(PQKB)11230931 035 $a(DE-He213)978-3-642-36757-1 035 $a(MiAaPQ)EBC3093136 035 $a(PPN)168330415 035 $a(Association for Computing Machinery)10.5555/2449840 035 $a(EXLCZ)993520000000003551 100 $a20130217d2013 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSystem Analysis and Modeling: Theory and Practice $e7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers /$fedited by Oystein Haugen, Rick Reed, Reinhard Gotzhein 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (X, 249 p. 91 illus.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v7744 225 1 $aLNCS sublibrary. SL 2, Programming and software engineering 225 1 $aProgramming and Software Engineering ;$v7744 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-36756-9 320 $aIncludes bibliographical references and author index. 327 $aModels ?67 Revisited -- Identification and Selection of Interaction Test Scenarios for Integration Testing -- An Approach to Specify and Analyze Goal Model Families -- Real-Time Tasks in SDL -- Prototyping Domain Specific Languages as Extensions of a General Purpose Language -- Behavioral Fuzzing Operators for UML Sequence Diagrams -- Relativity and Abstract State Machines -- From Earthquake Detection to Traffic Surveillance ? About Information and Communication Infrastructures for Smart Cities -- On Deriving Detailed Component Design from High-Level Service Specification -- Type-Safe Symmetric Composition of Metamodels Using Templates -- Towards Correct Product Derivation in Model-Driven Product Lines -- Simulation Configuration Modeling of Distributed Communication Systems -- GRL Model Validation: A Statistical Approach -- Configuration-Based Service Availability Analysis for Middleware Managed Applications. 330 $aThis book constitutes revised papers of the proceedings of the 7th International Workshop on System Analysis and Modeling, SAM 2012, held in Innsbruck, Austria, in October 2012. The 12 papers presented were carefully reviewed and selected from 27 submissions. In addition, the book contains two keynote speeches in full-paper length. The contributions are organized in topical sections named: test and analysis, language enhancements, fuzzy subjects, components and composition, and configuring and product lines. 410 0$aProgramming and Software Engineering ;$v7744 517 3 $aSAM'12 606 $aSistemas, Análisis de$vCongresos 606 $aSoftware engineering 606 $aSistemas de información de gestión$vCongresos 606 $aComputer communication systems 606 $aProgramming languages (Electronic computers) 606 $aManagement information systems 606 $aComputer science 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aIngeniería del software$vCongresos 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 608 $aConference proceedings.$2fast 615 04$aSistemas, Análisis de 615 0$aSoftware engineering. 615 04$aSistemas de información de gestión 615 0$aComputer communication systems. 615 0$aProgramming languages (Electronic computers). 615 0$aManagement information systems. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 04$aIngeniería del software 615 24$aComputer Communication Networks. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aManagement of Computing and Information Systems. 676 $a004.2/1 702 $aHaugen$b Oystein$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aReed$b Rick$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGotzhein$b Reinhard$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Workshop on Systems Analysis and Modeling$f(2012 :$eInnsbruck, Austria) 712 12$aSAM 2012 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 801 2$bUMA.EIN 906 $aBOOK 912 $a9910484215803321 996 $aSystem Analysis and Modeling: Theory and Practice$92550640 997 $aUNINA