13. SDL Forum 2007: Paris, France
Emmanuel Gaudin, Elie Najm, Rick Reed (Eds.): SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings. Springer 2007 Lecture Notes in Computer Science ISBN 978-3-540-74983-7
Model Driven Engineering
- Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi: Model Driven Development and Code Generation: An Automotive Case Study. 19-34
- 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. 35-53
Testing
- 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
- 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
Language Extensions
- Krzysztof Sacha: Translatable Finite State Time Machine. 117-132
Implementation
- Ingmar Fliege, Reinhard Gotzhein: Automated Generation of Micro Protocol Descriptions from SDL Design Specifications. 150-165
- Frank Alexander Kraemer, Rolv Bræk, Peter Herrmann: Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. 166-185
- 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
- Jameleddine Hassine, Juergen Rilling, Rachida Dssouli: Formal Verification of Use Case Maps with Real Time Extensions. 225-241
- Guillaume Châtelet, Benoit Parreaux, Yves-Marie Quemener: Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry. 242-257
- Eric Verhulst, Gjalt G. de Jong: OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling. 258-271
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team