English
System Analysis and Modeling: About Models
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 SDL Modules – Concepts and Tool Support
-
Altmetric BadgeChapter 2 A Developer-Friendly Approach for the Validation of Dynamic Compositions
-
Altmetric BadgeChapter 3 From Flow-Global Choreography to Component Types
-
Altmetric BadgeChapter 4 Integration of FlexRay into the SDL-Model-Driven Development Approach
-
Altmetric BadgeChapter 5 Design and Development of a CPU Scheduler Simulator for Educational Purposes Using SDL
-
Altmetric BadgeChapter 6 UML-Based Specification and Generation of Executable Web Services
-
Altmetric BadgeChapter 7 The SDL-UML Profile Revisited
-
Altmetric BadgeChapter 8 A Model Driven Approach for AMF Configuration Generation
-
Altmetric BadgeChapter 9 SDL Code Generation for Network Simulators
-
Altmetric BadgeChapter 10 A Case Study on API Generation
-
Altmetric BadgeChapter 11 UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models
-
Altmetric BadgeChapter 12 Extensible and Automated Model-Evaluations with INProVE
-
Altmetric BadgeChapter 13 Requirements and Solutions for Timing Analysis of Automotive Systems
-
Altmetric BadgeChapter 14 Analysing the Cognitive Effectiveness of the UCM Visual Notation
-
Altmetric BadgeChapter 15 Towards a Taxonomy of Syntactic and Semantic Matching Mechanisms for Aspect-Oriented Modeling