LEADER 03482nam  22008055  450 
001 9910510604503321
005 20251226202701.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,$x2945-9168 ;$v6598
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-642-21651-X 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the throughly 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,$x2945-9168 ;$v6598
606   $aComputer networks
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aComputer science
606   $aComputers, Special purpose
606   $aApplication software
606   $aComputer Communication Networks
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aComputer Science Logic and Foundations of Programming
606   $aSpecial Purpose and Application-Based Systems
606   $aComputer and Information Systems Applications
615  0$aComputer networks.
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs)
615  0$aComputer science.
615  0$aComputers, Special purpose.
615  0$aApplication software.
615 14$aComputer Communication Networks.
615 24$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aComputer and Information Systems Applications.
676   $a004.6
701   $akraemer$b Frank Alexander$01760647
701   $aHerrmann$b Peter$0152949
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910510604503321
996   $aSystem Analysis and Modeling: About Models$94520679
997   $aUNINA