LEADER 04001nam  22007815  450 
001 996465542903316
005 20211022212616.0
010   $a3-642-21652-8
024 7 $a10.1007/978-3-642-21652-7
035   $a(CKB)2670000000095883
035   $a(SSID)ssj0000530688
035   $a(PQKBManifestationID)11930082
035   $a(PQKBTitleCode)TC0000530688
035   $a(PQKBWorkID)10568130
035   $a(PQKB)11527559
035   $a(DE-He213)978-3-642-21652-7
035   $a(MiAaPQ)EBC3066829
035   $a(PPN)15386589X
035   $a(Association for Computing Machinery)10.5555/2022793
035   $a(EXLCZ)992670000000095883
100   $a20110617d2011      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aSystem Analysis and Modeling: About Models $e6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers /$fedited by Frank Alexander Kraemer, Peter Herrmann
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (X, 257 p. 115 illus., 58 illus. in color.)
225 1 $aProgramming and Software Engineering ;$v6598
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-21651-X 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Systems Analysis and Modeling, SAM 2010, held in collocation with MODELS 2010 in Oslo, Norway in October 2010. The 15 revised full papers presented went through two rounds of reviewing and improvement. The papers are organized in topical sections on modularity, composition, choreography, application of SDL and UML; SDL language profiles; code generation and model transformations; verification and analysis; and user requirements notification.
410  0$aProgramming and Software Engineering ;$v6598
517 3 $aSAM'10
606   $aComputer communication systems
606   $aSoftware engineering
606   $aProgramming languages (Electronic computers)
606   $aComputer logic
606   $aSpecial purpose computers
606   $aApplication software
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
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
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  0$aApplication software.
615 14$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.
615 24$aInformation Systems Applications (incl. Internet).
676   $a004.6
702   $aKraemer$b Frank Alexander$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHerrmann$b Peter$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465542903316
996   $aSystem Analysis and Modeling: About Models$92553157
997   $aUNISA