![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
13. SDL Forum 2007: Paris, France
- 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
- Andreas Prinz, Markus Scheidgen, Merete Skjelten Tveit:
A Model-Based Standard for SDL. 1-18 - 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 - Paul Baker, Clive Jervis:
Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile. 86-100
Language Extensions
- Reinhard Gotzhein, Rüdiger Grammes, Thomas Kuhn:
Specifying Input Port Bounds in SDL. 101-116 - Krzysztof Sacha:
Translatable Finite State Time Machine. 117-132 - Jason Kealey, Daniel Amyot:
Enhanced Use Case Map Traversal Semantics. 133-149
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
- Abdelouahed Gherbi
, Ferhat Khendek:
Consistency of UML/SPT Models. 203-224 - 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.