000 02577nam a22005415i 4500
001 978-3-642-21652-7
003 DE-He213
005 20140220083805.0
007 cr nn 008mamaa
008 110617s2011 gw | s |||| 0|eng d
020 _a9783642216527
_9978-3-642-21652-7
024 7 _a10.1007/978-3-642-21652-7
_2doi
050 4 _aTK5105.5-5105.9
072 7 _aUKN
_2bicssc
072 7 _aCOM075000
_2bisacsh
082 0 4 _a004.6
_223
100 1 _aKraemer, Frank Alexander.
_eeditor.
245 1 0 _aSystem Analysis and Modeling: About Models
_h[electronic resource] :
_b6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers /
_cedited by Frank Alexander Kraemer, Peter Herrmann.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2011.
300 _aX, 257p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6598
520 _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.
650 0 _aComputer science.
650 0 _aComputer Communication Networks.
650 0 _aSoftware engineering.
650 0 _aLogic design.
650 0 _aInformation systems.
650 1 4 _aComputer Science.
650 2 4 _aComputer Communication Networks.
650 2 4 _aSoftware Engineering.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aSpecial Purpose and Application-Based Systems.
650 2 4 _aInformation Systems Applications (incl.Internet).
700 1 _aHerrmann, Peter.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642216510
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6598
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-21652-7
912 _aZDB-2-SCS
912 _aZDB-2-LNC
999 _c108033
_d108033