LEADER 04318nam 22007695 450 001 996466113003316 005 20200630005724.0 010 $a3-540-68373-9 024 7 $a10.1007/11951148 035 $a(CKB)1000000000284020 035 $a(SSID)ssj0000320300 035 $a(PQKBManifestationID)11253484 035 $a(PQKBTitleCode)TC0000320300 035 $a(PQKBWorkID)10348214 035 $a(PQKB)11493956 035 $a(DE-He213)978-3-540-68373-5 035 $a(MiAaPQ)EBC3068654 035 $a(PPN)123140072 035 $a(EXLCZ)991000000000284020 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSystem Analysis and Modeling: Language Profiles$b[electronic resource] $e5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers /$fedited by Reinhard Gotzhein, Rick Reed 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (X, 229 p.) 225 1 $aComputer Communication Networks and Telecommunications ;$v4320 300 $aInternational conference proceedings. 311 $a3-540-68371-2 320 $aIncludes bibliographical references and index. 327 $aLanguage Profiles -- A UML Profile for Communicating Systems -- Implementing the eODL Graphical Representation -- Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT -- Formal Operations for SDL Language Profiles -- Evolution of Development Languages -- Automating Scenario Merging -- Timed High-Level Message Sequence Charts for Real-Time System Design -- Timed Use Case Maps -- Model-Driven Development -- Application of Stuck-Free Conformance to Service-Role Composition -- A Simulator Interconnection Framework for the Accurate Performance Simulation of SDL Models -- Refactoring and Metrics for TTCN-3 Test Suites -- SDL Design of a Radio Resource Control Protocol for 3G Evolution Systems with Two Different Approaches -- Language Implementation -- Evaluation of Development Tools for Domain-Specific Modeling Languages -- Towards Integrated Tool Support for the User Requirements Notation -- ConTraST ? A Configurable SDL Transpiler and Runtime Environment. 410 0$aComputer Communication Networks and Telecommunications ;$v4320 606 $aComputers 606 $aComputer communication systems 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aSpecial purpose computers 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 615 0$aComputers. 615 0$aComputer communication systems. 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer logic. 615 0$aSpecial purpose computers. 615 14$aTheory of Computation. 615 24$aComputer Communication Networks. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a003.3 702 $aGotzhein$b Reinhard$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aReed$b Rick$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aSAM 2006 906 $aBOOK 912 $a996466113003316 996 $aSystem Analysis and Modeling: Language Profiles$9774280 997 $aUNISA