TY - BOOK AU - Kraemer,Frank Alexander AU - Herrmann,Peter ED - SpringerLink (Online service) TI - System Analysis and Modeling: About Models: 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers T2 - Lecture Notes in Computer Science, SN - 9783642216527 AV - TK5105.5-5105.9 U1 - 004.6 23 PY - 2011/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Computer Communication Networks KW - Software engineering KW - Logic design KW - Information systems KW - Computer Science KW - Software Engineering KW - Programming Languages, Compilers, Interpreters KW - Logics and Meanings of Programs KW - Special Purpose and Application-Based Systems KW - Information Systems Applications (incl.Internet) N2 - 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 UR - http://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-21652-7 ER -