Library of American University of Madaba
Your cart is empty.
Kraemer, Frank Alexander.
System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers / [electronic resource] : edited by Frank Alexander Kraemer, Peter Herrmann. - X, 257p. online resource. - Lecture Notes in Computer Science, 6598 0302-9743 ; .
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.
9783642216527
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Information systems.
Computer Science.
Computer Communication Networks.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Special Purpose and Application-Based Systems.
Information Systems Applications (incl.Internet).
TK5105.5-5105.9
004.6
System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers / [electronic resource] : edited by Frank Alexander Kraemer, Peter Herrmann. - X, 257p. online resource. - Lecture Notes in Computer Science, 6598 0302-9743 ; .
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.
9783642216527
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Information systems.
Computer Science.
Computer Communication Networks.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Special Purpose and Application-Based Systems.
Information Systems Applications (incl.Internet).
TK5105.5-5105.9
004.6