Abstract is missing.
- Designing a multi-user software environment for development and analysis using a combination of OMT and SDL92Carla Geovana N. Macário, Moacir Pedroso Jr., Walter C. Borelli. 3-18
- SDL-based modelling and design of IN/UMTS handover functionalityA. Alonistioti, G. Nikolaidis, I. Modeas. 19-34
- An SDL-based platform for the simulation of communication networks using dynamic block instantiationsAndreas Iselt, Achim Autenrieth. 35
- SPEET SDL performance evaluation toolMartin Steppler, Matthias Lott. 53-68
- Performance analysis of TCP s flow control mechanisms using queueing SDLJörg Hintelmann, Reinhard Westerfeld. 69-84
- Tuning development of distributed real-time systems with SDL: Current experience and future issuesRainer Gerlich. 85
- Telephone feature verification: Translating SDL to TLA+Dominique Méry, J. Paul Gibson. 103-118
- Simulation of IP mobility support: An experiment in mobile protocol specification with SDLMaria Törö. 119-134
- Experiences with ISDN validation models in SDL and proposal for new SDL featuresNils Fischbeck. 135-150
- Design for testability of communication protocols based on SDL languageKamel Karoui, Rachida Dssouli, Nina Yevtushenko. 151
- The MSC-96 distilleryØystein Haugen. 167-182
- Switching software test environment using MSCShugo Shiba, Yoshiaki Shigeta, Wataru Tanaka. 183-196
- Deriving an SDL specification with a given architecture from a set of MSCsGabriel Robert, Ferhat Khendek, Peter Grogono. 197-212
- MSC 96 and beyond - a critical lookStefan Loidl, Ekkart Rudolph, Ursula Hinkel. 213
- SDL and MSC in international organizations: ITU-TRick Reed. 231
- Towards the industrial use of validation techniques and automatic test generation methods for SDL specificationsAnders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, Michael Schmitt II. 245-260
- Automating the process of test derivation from SDL specificationsGregor von Bochmann, Alexandre Petrenko, O. Bellal, S. Maguiraga. 261-276
- Test generation for the SSCOP-ATM networks protocolAna R. Cavalli, Boo-Ho Lee, Toma Macavei. 277
- High-level message sequence chartsSjouke Mauw, Michel A. Reniers. 291-306
- An annotational extension of message sequence charts to support performance engineeringNils Faltin, Lennard Lambert, Andreas Mitschele-Thiel, Frank Slomka. 307-322
- MSCs at Siemens A/S - towards the usage of MSC-96Astrid Nyeng, Svanhild Gundersen. 323
- Automated iteration between OMT and SDLKurt Verschaeve. 335-350
- Introducing SDL in the development of CORBA-compliant applicationsJ. Carracedo, Carlos Ramos, Rubén de Diego, Carlos González, Juan José Gil, Emilo Rodríguez, Morgan Bjorkander. 351-366
- A practical experience on validating GDMO-based information models with SDL 88 and SDL 92Samir Tata, Laurent Andrey, Olivier Festor. 367
- Combining SDL and CPaer-Olof Haokansson, Jan Karlsson, Louis Verhaard. 383-396
- Derivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threadsRalf Henke, Hartmut König, Andreas Mitschele-Thiel. 397-414
- Industrial strength code generation from SDLNikolai Mansurov, Andrew V. Chernov, Alexei S. Ragozin. 415
- Is open-EDI a potential area for use of SDL?Odile Troulet-Lambert. 433-442
- The unification of OMT, SDL and IDL for service creationEuricio Inocêncio, Chris W. Loftus, Edel Sherratt, Paula Viana. 443-458
- Combining object-oriented and real-time programming from an OMT and SDL designVincent Perrier, Nicolas Dervaux. 459
- Interconnecting the ObjectGeode and Caesar-Alderbaran toolsetsAlain Kerbrat, Carlos Rodriguez-Salazar, Yves Lejeune. 475-490
- Specifying the steam-boiler case study with SDLF. Ammar-Boudjelal, Jean-Yves Lafaye, Georges Louis. 491-506
- The SDL specification of the sliding window protocol revisitedChristian Facchi, Markus Haubner, Ursula Hinkel. 507
- Configuring communication protocols using SDL patternsBirgit Geppert, Reinhard Gotzhein, Frank Rößler. 523-538
- Code generation using GEODE: A case studyRanjit Singh, Jerry Serviss. 539-550