03482nam 22008055 450 991051060450332120251226202701.03-642-21652-810.1007/978-3-642-21652-7(CKB)2670000000095883(SSID)ssj0000530688(PQKBManifestationID)11930082(PQKBTitleCode)TC0000530688(PQKBWorkID)10568130(PQKB)11527559(DE-He213)978-3-642-21652-7(MiAaPQ)EBC3066829(PPN)15386589X(Association for Computing Machinery)10.5555/2022793(EXLCZ)99267000000009588320110617d2011 u| 0engurnn#008mamaatxtccrSystem Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers /edited by Frank Alexander Kraemer, Peter Herrmann1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (X, 257 p. 115 illus., 58 illus. in color.)Programming and Software Engineering,2945-9168 ;6598Bibliographic Level Mode of Issuance: Monograph3-642-21651-X Includes bibliographical references and index.This 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.Programming and Software Engineering,2945-9168 ;6598Computer networksSoftware engineeringCompilers (Computer programs)Computer scienceComputers, Special purposeApplication softwareComputer Communication NetworksSoftware EngineeringCompilers and InterpretersComputer Science Logic and Foundations of ProgrammingSpecial Purpose and Application-Based SystemsComputer and Information Systems ApplicationsComputer networks.Software engineering.Compilers (Computer programs)Computer science.Computers, Special purpose.Application software.Computer Communication Networks.Software Engineering.Compilers and Interpreters.Computer Science Logic and Foundations of Programming.Special Purpose and Application-Based Systems.Computer and Information Systems Applications.004.6kraemer Frank Alexander1760647Herrmann Peter152949MiAaPQMiAaPQMiAaPQBOOK9910510604503321System Analysis and Modeling: About Models4520679UNINA