default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6. SAM 2010: Oslo, Norway
- Frank Alexander Kraemer, Peter Herrmann:
System Analysis and Modeling: About Models - 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6598, Springer 2011, ISBN 978-3-642-21651-0
Modularity, Composition, Choreography
- Philipp Becker, Marc Krämer:
SDL Modules - Concepts and Tool Support. 1-17 - Jacqueline Floch, Cyril Carrez:
A Developer-Friendly Approach for the Validation of Dynamic Compositions. 18-35 - Surya Bahadur Kathayat, Rolv Bræk:
From Flow-Global Choreography to Component Types. 36-55
Application of SDL and UML
- Tobias Braun, Reinhard Gotzhein, Matthias Wiebel:
Integration of FlexRay into the SDL-Model-Driven Development Approach. 56-71 - Manuel Rodríguez-Cayetano:
Design and Development of a CPU Scheduler Simulator for Educational Purposes Using SDL. 72-90 - Wafi Dahman, Jens Grabowski:
UML-Based Specification and Generation of Executable Web Services. 91-107
SDL Language Profiles
- Alexander Kraas:
The SDL-UML Profile Revisited. 108-123
Code Generation and Model Transformations
- Pejman Salehi
, Pietro Colombo, Abdelwahab Hamou-Lhadj, Ferhat Khendek:
A Model Driven Approach for AMF Configuration Generation. 124-143 - Mihal Brumbulli, Joachim Fischer:
SDL Code Generation for Network Simulators. 144-155 - Uwe Jugel, André Preußner:
A Case Study on API Generation. 156-172
Verification and Analysis
- Asadullah Shaikh, Uffe Kock Wiil, Nasrullah Memon:
UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models. 173-192 - Sören Kemmann, Thomas Kuhn, Mario Trapp:
Extensible and Automated Model-Evaluations with INProVE. 193-208 - Saoussen Anssi, Sébastien Gérard, Arnaud Albinet, François Terrier:
Requirements and Solutions for Timing Analysis of Automotive Systems. 209-220
User Requirements Notation
- Nicolas Genon, Daniel Amyot, Patrick Heymans:
Analysing the Cognitive Effectiveness of the UCM Visual Notation. 221-240 - Gunter Mussbacher, Daniele Barone, Daniel Amyot:
Towards a Taxonomy of Syntactic and Semantic Matching Mechanisms for Aspect-Oriented Modeling. 241-256
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-09-01 03:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
