default search action

combined dblp search
author search
venue search
publication search

ask others

13. SDL Forum 2007: Paris, France

> Home > Conferences and Workshops > SDL Forum

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sdl/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/2007
Emmanuel Gaudin, Elie Najm, Rick Reed:
SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings. Lecture Notes in Computer Science 4745, Springer 2007, ISBN 978-3-540-74983-7

Model Driven Engineering

- view
  authority control:
- export record
  dblp key:
  - conf/sdl/PrinzST07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/PrinzST07
Andreas Prinz, Markus Scheidgen, Merete Skjelten Tveit:
A Model-Based Standard for SDL. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/sdl/BanciFGL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/BanciFGL07
Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi:
Model Driven Development and Code Generation: An Automotive Case Study. 19-34
- view
  authority control:
- export record
  dblp key:
  - conf/sdl/WeigertWMBJDGBFNWM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/WeigertWMBJDGBFNWM07
Thomas Weigert, Frank Weil, Kevin Marth, Paul Baker, Clive Jervis, Paul H. Dietz, Yexuan Gui, Aswin van den Berg, Kim Fleer, David Nelson, Michael Wells, Brian E. Mastenbrook:
Experiences in Deploying Model-Driven Engineering. 35-53

Testing

- view
  authority control:
- export record
  dblp key:
  - conf/sdl/WernerGNRWZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/WernerGNRWZ07
Edith Werner, Jens Grabowski, Helmut Neukirchen, Nils Röttger, Stephan Waack, Benjamin Zeiss:
TTCN-3 Quality Engineering: Using Learning Techniques to Evaluate Metric Sets. 54-68
- view
  authority control:
- export record
  dblp key:
  - conf/sdl/Poncela-GonzalezGVF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/Poncela-GonzalezGVF07
Javier Poncela-González, Juan Gómez-Salvador, Carlos Valero-Roldán, Unai Fernández-Plazaola:
Using TTCN for Radio Conformance Test Systems. 69-85
- view
  authority control:
- export record
  dblp key:
  - conf/sdl/BakerJ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/BakerJ07
Paul Baker, Clive Jervis:
Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile. 86-100

Language Extensions

- view
  authority control:
- export record
  dblp key:
  - conf/sdl/GotzheinGK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/GotzheinGK07
Reinhard Gotzhein, Rüdiger Grammes, Thomas Kuhn:
Specifying Input Port Bounds in SDL. 101-116
- view
  authority control:
- export record
  dblp key:
  - conf/sdl/Sacha07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/Sacha07
Krzysztof Sacha:
Translatable Finite State Time Machine. 117-132
- view
  authority control:
- export record
  dblp key:
  - conf/sdl/KealeyA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/KealeyA07
Jason Kealey, Daniel Amyot:
Enhanced Use Case Map Traversal Semantics. 133-149

Implementation

- view
  authority control:
- export record
  dblp key:
  - conf/sdl/FliegeG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/FliegeG07
Ingmar Fliege, Reinhard Gotzhein:
Automated Generation of Micro Protocol Descriptions from SDL Design Specifications. 150-165
- view
  authority control:
- export record
  dblp key:
  - conf/sdl/KraemerBH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/KraemerBH07
Frank Alexander Kraemer, Rolv Bræk, Peter Herrmann:
Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. 166-185
- view
  authority control:
- export record
  dblp key:
  - conf/sdl/RodriguezP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/RodriguezP07
Manuel Rodríguez, José María Parra:
Experiences in Using the SOMT Method to Support the Design and Implementation of a Network Simulator. 186-202

Modeling Experience and Extensions

- view
  authority control:
- export record
  dblp key:
  - conf/sdl/GherbiK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/GherbiK07
Abdelouahed Gherbi, Ferhat Khendek:
Consistency of UML/SPT Models. 203-224
- view
  authority control:
- export record
  dblp key:
  - conf/sdl/HassineRD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/HassineRD07
Jameleddine Hassine, Juergen Rilling, Rachida Dssouli:
Formal Verification of Use Case Maps with Real Time Extensions. 225-241
- view
  authority control:
- export record
  dblp key:
  - conf/sdl/ChateletPQ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/ChateletPQ07
Guillaume Châtelet, Benoit Parreaux, Yves-Marie Quemener:
Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry. 242-257
- view
  authority control:
- export record
  dblp key:
  - conf/sdl/VerhulstJ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/VerhulstJ07
Eric Verhulst, Gjalt G. de Jong:
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling. 258-271
- view
  authority control:
- export record
  dblp key:
  - conf/sdl/KimYPS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/KimYPS07
Tae-Hyong Kim, Qi-Ping Yang, Soon-Gi Park, Yeun-Seung Shin:
SDL Design and Performance Evaluation of a Mobility Management Technique for 3GPP LTE Systems. 272-288

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.