default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12. SDL Forum 2005: Grimstad, Norway
- Andreas Prinz
, Rick Reed, Jeanne Reed:
SDL 2005: Model Driven, 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings. Lecture Notes in Computer Science 3530, Springer 2005, ISBN 3-540-26612-7
Language Issues
- Joachim Fischer, Andreas Kunert, Michael Piefel, Markus Scheidgen:
ULF-Ware - An Open Framework for Integrated Tools for ITU-T Languages. 1-15 - Manuel Koch, Karl Pauls:
An Access Control Language for Dynamic Systems - Model-Driven Development and Verification. 16-31 - Thomas Baar:
Non-deterministic Constructs in OCL - What Does any() Mean. 32-46
Engineering Issues
- Manuel Díaz, Daniel Garrido, Luis Llopis, José M. Troya:
Integrating RT-CORBA in SDL. 47-67 - Harald Böhme, Glenn Schütze, Konrad Voigt:
Component Development: MDA Based Transformation from eODL to CIDL. 68-84 - Richard Torbjørn Sanders, Rolv Bræk, Gregor von Bochmann, Daniel Amyot:
Service Discovery and Component Reuse with Semantic Interfaces. 85-102 - Thomas Kuhn, Alexander Geraldy, Reinhard Gotzhein, Florian Rothländer:
ns+SDL - The Network Simulator for SDL Systems. 103-116
Message Sequence Charts
- Alexander A. Letichevsky, Julia V. Kapitonova, Vsevolod Kotlyarov, Vladislav A. Volkov, A. A. Letichevsky Jr., Thomas Weigert:
Semantics of Message Sequence Charts. 117-132 - Christoph Eichner, Hans Fleischhack, Roland Meyer, Ulrik Schrimpf, Christian Stehno:
Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets. 133-148
Applications and Tools (Short Papers)
- Yang Yang, Yang Lu, Xiaokang Lin:
SDL Design of OSPF Protocol for the Wireless Private Network. 149-161 - Uwe Glässer, Andreas Prinz:
ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks. 162-173 - Constantin Werner, Xiaoming Fu, Dieter Hogrefe:
Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVP. 174-186 - Laila Daniel, Matti Luukkainen, Markku Kojo:
Experiences in Using SDL to Support the Design and Implementation of a Logical Link Layer Protocol. 187-197 - Francine Ngani Noudem, César Viho:
Modeling, Verifying and Testing Mobility Protocol from SDL Language. 198-209 - Yosef Rauchwerger, Finn Kristoffersen, Yair Lahav:
Cinderella SLIPPER: An SDL to C-Code Generator. 210-223
Model Driven Architecture (Short Papers)
- Edel Sherratt:
Model-Driven Development of Reactive Systems with SDL. 224-233 - Matteo Pradella, Matteo Rossi, Dino Mandrioli:
A UML-Compatible Formal Language for System Architecture Description. 234-246
Test and Validation
- Daniel Amyot, Jean-François Roy, Michael Weiss:
UCM-Driven Testing of Web Applications. 247-264 - G. Bhaskar Rao, Keerthi Timmaraju, Thomas Weigert:
Network Element Testing Using TTCN-3: Benefits and Comparison. 265-280 - Jacqueline Floch, Rolv Bræk:
A Compositional Approach to Service Validation. 281-297 - Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng:
Consistency Checking of Concurrent Models for Scenario-Based Specifications. 298-312
Code Generation
- Joachim Fischer, Toby Neumann, Anders Olsen:
SDL Code Generation for Open Systems. 313-322 - Malek Haroud, Armin Biere:
SDL Versus C Equivalence Checking. 323-338 - Humberto Nicolás Castejón Martínez:
Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps. 339-359
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.
last updated on 2025-11-04 00:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
