System analysis and modeling : about models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 : revised selected papers / Frank Alexander Kraemer, Peter Herrmann (eds.).
Material type:
TextSeries: Lecture notes in computer science ; 6598. | LNCS sublibrary. SL 5, Computer communication networks and telecommunications.Publication details: Heidelberg : Springer, 2011.Description: 1 online resource (x, 256 pages) : illustrationsContent type: - text
- computer
- online resource
- 9783642216527
- 3642216528
- SAM 2010
- Telecommunication -- Data processing -- Congresses
- System analysis -- Congresses
- Electronic data processing -- Distributed processing -- Congresses
- Real-time data processing -- Congresses
- Communications software -- Congresses
- SDL (Computer program language) -- Congresses
- Telematics -- Congresses
- Télématique -- Congrès
- Analyse de systèmes -- Congrès
- Traitement réparti -- Congrès
- Temps réel (Informatique) -- Congrès
- Logiciels de communication -- Congrès
- SDL (Langage de programmation) -- Congrès
- Informatique
- Telematics
- Communications software
- Electronic data processing -- Distributed processing
- Real-time data processing
- SDL (Computer program language)
- System analysis
- Telecommunication -- Data processing
- systemen
- systems
- informatiesystemen
- information systems
- internet
- computerwetenschappen
- computer sciences
- computernetwerken
- computer networks
- software engineering
- programmeertalen
- programming languages
- Information and Communication Technology (General)
- Informatie- en communicatietechnologie (algemeen)
- 004.2/1 23
- TA5105.A1
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
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.
Machine generated contents note: SDL Modules -- Concepts and Tool Support -- Developer-Friendly Approach for the Validation of Dynamic Compositions / Philipp Becker / Marc Krämer -- From Flow-Global Choreography to Component Types / Cyril Carrez / Jacqueline Floch -- Integration of FlexRay into the SDL-Model-Driven Development Approach / Rolv Bræk / Surya Bahadur Kathayat -- Design and Development of a CPU Scheduler Simulator for Educational Purposes Using SDL / Tobias Braun / Matthias Wiebel / Reinhard Gotzhein -- UML-Based Specification and Generation of Executable Web Services / Manuel Rodriguez-Cayetano -- SDL-UML Profile Revisited / Jens Grabowski / Wafi Dahman -- Model Driven Approach for AMF Configuration Generation / Alexander Kraas -- SDL Code Generation for Network Simulators / Ferhat Khendek / Pietro Colombo / Abdetwahab Hamou-Lhadj / Pejman Salehi -- Case Study on API Generation / Mihal Brumbulli / Joachim Fischer -- UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models / Uwe Jugel / André Preußner -- Extensible and Automated Model-Evaluations with INProVE / Uffe Kock Wiil / Asadullah Shaikh / Nasrullah Memon -- Requirements and Solutions for Timing Analysis of Automotive Systems / Thomas Kuhn / Sören Kemmann / Mario Trapp -- Analysing the Cognitive Effectiveness of the UCM Visual Notation / Arnaud Albinet / Sébastien Gérard / Saoussen Anssi / François Terrier -- Towards a Taxonomy of Syntactic and Semantic Matching Mechanisms for Aspect-Oriented Modeling / Daniel Amyot / Nicolas Genon / Patrick Heymans.