Abstract is missing.
- ULF-Ware - An Open Framework for Integrated Tools for ITU-T LanguagesJoachim Fischer, Andreas Kunert, Michael Piefel, Markus Scheidgen. 1-15 [doi]
- An Access Control Language for Dynamic Systems - Model-Driven Development and VerificationManuel Koch, Karl Pauls. 16-31 [doi]
- Non-deterministic Constructs in OCL - What Does any() MeanThomas Baar. 32-46 [doi]
- Integrating RT-CORBA in SDLManuel Díaz, Daniel Garrido, Luis Llopis, José M. Troya. 47-67 [doi]
- Component Development: MDA Based Transformation from eODL to CIDLHarald Böhme, Glenn Schütze, Konrad Voigt. 68-84 [doi]
- Service Discovery and Component Reuse with Semantic InterfacesRichard Torbjørn Sanders, Rolv Bræk, Gregor von Bochmann, Daniel Amyot. 85-102 [doi]
- ns+SDL - The Network Simulator for SDL SystemsThomas Kuhn, Alexander Geraldy, Reinhard Gotzhein, Florian Rothländer. 103-116 [doi]
- Semantics of Message Sequence ChartsAlexander A. Letichevsky, Julia V. Kapitonova, Vsevolod Kotlyarov, Vladislav A. Volkov, A. A. Letichevsky Jr., Thomas Weigert. 117-132 [doi]
- Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri NetsChristoph Eichner, Hans Fleischhack, Roland Meyer, Ulrik Schrimpf, Christian Stehno. 133-148 [doi]
- SDL Design of OSPF Protocol for the Wireless Private NetworkYang Yang, Yang Lu, Xiaokang Lin. 149-161 [doi]
- ASM and SDL Models of Geographic Routing in Mobile Ad Hoc NetworksUwe Glässer, Andreas Prinz. 162-173 [doi]
- Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVPConstantin Werner, Xiaoming Fu, Dieter Hogrefe. 174-186 [doi]
- Experiences in Using SDL to Support the Design and Implementation of a Logical Link Layer ProtocolLaila Daniel, Matti Luukkainen, Markku Kojo. 187-197 [doi]
- Modeling, Verifying and Testing Mobility Protocol from SDL LanguageFrancine Ngani Noudem, César Viho. 198-209 [doi]
- Cinderella SLIPPER: An SDL to C-Code GeneratorYosef Rauchwerger, Finn Kristoffersen, Yair Lahav. 210-223 [doi]
- Model-Driven Development of Reactive Systems with SDLEdel Sherratt. 224-233 [doi]
- A UML-Compatible Formal Language for System Architecture DescriptionMatteo Pradella, Matteo Rossi, Dino Mandrioli. 234-246 [doi]
- UCM-Driven Testing of Web ApplicationsDaniel Amyot, Jean-François Roy, Michael Weiss. 247-264 [doi]
- Network Element Testing Using TTCN-3: Benefits and ComparisonG. Bhaskar Rao, Keerthi Timmaraju, Thomas Weigert. 265-280 [doi]
- A Compositional Approach to Service ValidationJacqueline Floch, Rolv Bræk. 281-297 [doi]
- Consistency Checking of Concurrent Models for Scenario-Based SpecificationsXuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng. 298-312 [doi]
- SDL Code Generation for Open SystemsJoachim Fischer, Toby Neumann, Anders Olsen. 313-322 [doi]
- SDL Versus C Equivalence CheckingMalek Haroud, Armin Biere. 323-338 [doi]
- Synthesizing State-Machine Behaviour from UML Collaborations and Use Case MapsHumberto Nicolás Castejón. 339-359 [doi]