


default search action
15. SDL Forum 2011: Toulouse, France
- Iulian Ober

, Ileana Ober
:
SDL 2011: Integrating System and Software Modeling - 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers. Lecture Notes in Computer Science 7083, Springer 2012, ISBN 978-3-642-25263-1
Invited Contributions and Tutorials
- Dorina C. Petriu

:
Model-Based Performance Analysis of Service-Oriented Systems - (Invited Talk). 1 - Thierry Le Sergent:

SCADE: A Comprehensive Framework for Critical System and Software Engineering. 2-3 - Rick Reed:

SDL-2010: Background, Rationale, and Survey. 4-25 - Maxime Perrotin, Eric Conquet, Julien Delange

, Andre Schiele, Thanassis Tsiodras:
TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future. 26-37
Domain Specific Languages (Part 1)
- Andreas Svendsen, Øystein Haugen, Birger Møller-Pedersen:

Synthesizing Software Models: Generating Train Station Models Automatically. 38-53 - Jameleddine Hassine

, Abdelouahed Gherbi
:
Exploring Early Availability Requirements Using Use Case Maps. 54-68 - Didier Nassiet, Yohan Livet, Marc Palyart, David Lugato:

Paprika: Rapid UI Development of Scientific Dataset Editors for High Performance Computing. 69-78
Test
- Sergey Baranov, Vsevolod Kotlyarov, Thomas Weigert:

Verifiable Coverage Criteria for Automated Testing. 79-89 - Antal Wu-Hen-Chang, Gusztáv Adamis, Levente Erös, Gábor Kovács, Tibor Csöndes:

A New Approach in Model-Based Testing: Designing Test Models in TTCN-3. 90-105 - Mohamed Mussa, Ferhat Khendek

:
Towards a Model Based Approach for Integration Testing. 106-121
Components and Services
- Urooj Fatima, Rolv Bræk, Humberto Nicolás Castejón Martínez:

Session Initiation as a Service. 122-137 - Selo Sulistyo

, Andreas Prinz:
PMG-Pro: A Model-Driven Development Method of Service-Based Applications. 138-153 - Surya Bahadur Kathayat, Hien Nam Le, Rolv Bræk:

A Model-Driven Framework for Component-Based Development. 154-167 - Thomas Cottenier, Aswin van den Berg, Thomas Weigert:

Separation of Concerns with Transactional Regions. 168-185
Specification and Description Language (SDL)
- Marc Krämer, Tobias Braun, Dennis Christmann, Reinhard Gotzhein:

Real-Time Signaling in SDL. 186-201 - Dennis Christmann, Philipp Becker, Reinhard Gotzhein:

Priority Scheduling in SDL. 202-217 - Alexander Kraas:

A Model-Based Formalization of the Textual Notation for SDL-UML. 218-232
Domain Specific Languages (Part 2)
- Franck Fleurey, Øystein Haugen, Birger Møller-Pedersen, Andreas Svendsen, Xiaorui Zhang:

Standardizing Variability - Challenges and Solutions. 233-246 - Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel:

MDE4HPC: An Approach for Using Model-Driven Engineering in High-Performance Computing. 247-261 - Saoussen Anssi, Sébastien Gérard

, Stefan Kuntz, François Terrier:
AUTOSAR vs. MARTE for Enabling Timing Analysis of Automotive Applications. 262-275

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














