Conferences in DBLP

SDL Forum (sdl)
2007 (conf/sdl/2007)

1. Andreas Prinz, Markus Scheidgen, Merete Skjelten Tveit
   A Model-Based Standard for SDL. [Citation Graph (0, 0)][DBLP]
   SDL Forum, 2007, pp:1-18 [Conf]
   
2. Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi
   Model Driven Development and Code Generation: An Automotive Case Study. [Citation Graph (0, 0)][DBLP]
   SDL Forum, 2007, pp:19-34 [Conf]
   
3. Thomas Weigert, Frank Weil, Kevin Marth, Paul Baker, Clive Jervis, Paul Dietz, Yexuan Gui, Aswin van den Berg, Kim Fleer, David Nelson, Michael Wells, Brian E. Mastenbrook
   Experiences in Deploying Model-Driven Engineering. [Citation Graph (0, 0)][DBLP]
   SDL Forum, 2007, pp:35-53 [Conf]
   
4. Edith Werner, Jens Grabowski, Helmut Neukirchen, Nils Röttger, Stephan Waack, Benjamin Zeiss
   TTCN-3 Quality Engineering: Using Learning Techniques to Evaluate Metric Sets. [Citation Graph (0, 0)][DBLP]
   SDL Forum, 2007, pp:54-68 [Conf]
   
5. Javier Poncela-González, Juan Gómez-Salvador, Carlos Valero-Roldán, Unai Fernández-Plazaola
   Using TTCN for Radio Conformance Test Systems. [Citation Graph (0, 0)][DBLP]
   SDL Forum, 2007, pp:69-85 [Conf]
   
6. Paul Baker, Clive Jervis
   Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile. [Citation Graph (0, 0)][DBLP]
   SDL Forum, 2007, pp:86-100 [Conf]
   
7. Reinhard Gotzhein, Rüdiger Grammes, Thomas Kuhn
   Specifying Input Port Bounds in SDL. [Citation Graph (0, 0)][DBLP]
   SDL Forum, 2007, pp:101-116 [Conf]
   
8. Krzysztof Sacha
   Translatable Finite State Time Machine. [Citation Graph (0, 0)][DBLP]
   SDL Forum, 2007, pp:117-132 [Conf]
   
9. Jason Kealey, Daniel Amyot
   Enhanced Use Case Map Traversal Semantics. [Citation Graph (0, 0)][DBLP]
   SDL Forum, 2007, pp:133-149 [Conf]
   
10. Ingmar Fliege, Reinhard Gotzhein
    Automated Generation of Micro Protocol Descriptions from SDL Design Specifications. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2007, pp:150-165 [Conf]
    
11. Frank Alexander Kraemer, Rolv Bræk, Peter Herrmann
    Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2007, pp:166-185 [Conf]
    
12. Manuel Rodríguez, José María Parra
    Experiences in Using the SOMT Method to Support the Design and Implementation of a Network Simulator. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2007, pp:186-202 [Conf]
    
13. Abdelouahed Gherbi, Ferhat Khendek
    Consistency of UML/SPT Models. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2007, pp:203-224 [Conf]
    
14. Jameleddine Hassine, Juergen Rilling, Rachida Dssouli
    Formal Verification of Use Case Maps with Real Time Extensions. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2007, pp:225-241 [Conf]
    
15. Guillaume Châtelet, Benoit Parreaux, Yves-Marie Quemener
    Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2007, pp:242-257 [Conf]
    
16. Eric Verhulst, Gjalt G. de Jong
    OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2007, pp:258-271 [Conf]
    
17. 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. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2007, pp:272-288 [Conf]