8. SDL Forum 1997: Evry, France

@proceedings{DBLP:conf/sdl/1997,
  editor    = {Ana R. Cavalli and
               Amardeo Sarma},
  title     = {SDL '97 Time for Testing, SDL, MSC and Trends - 8th International
               SDL Forum, Evry, France, 23-29 September 1997, Proceedings},
  booktitle = {SDL Forum},
  publisher = {Elsevier},
  year      = {1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Applications I

• Carla G. N. Macario, Moacir Pedroso Jr., Walter C. Borelli: Designing a multi-user software environment for development and analysis using a combination of OMT and SDL92. 3-18 BibTeX
• A. Alonistioti, G. Nikolaidis, I. Modeas: SDL-based modelling and design of IN/UMTS handover functionality. 19-34 BibTeX
• Andreas Iselt, Achim Autenrieth: An SDL-based platform for the simulation of communication networks using dynamic block instantiations. 35- BibTeX

Performance Analysis

• Martin Steppler, Matthias Lott: SPEET SDL performance evaluation tool. 53-68 BibTeX
• Jörg Hintelmann, Reinhard Westerfeld: Performance analysis of TCP's flow control mechanisms using queueing SDL. 69-84 BibTeX
• Rainer Gerlich: Tuning development of distributed real-time systems with SDL: Current experience and future issues. 85- BibTeX

Verification and Validation I

• Dominique Méry, J. Paul Gibson: Telephone feature verification: Translating SDL to TLA+. 103-118 BibTeX
• Maria Törö: Simulation of IP mobility support: An experiment in mobile protocol specification with SDL. 119-134 BibTeX
• Nils Fischbeck: Experiences with ISDN validation models in SDL and proposal for new SDL features. 135-150 BibTeX
• Kamel Karoui, Rachida Dssouli, Nina Yevtushenko: Design for testability of communication protocols based on SDL language. 151- BibTeX

MSC I

• Øystein Haugen: The MSC-96 distillery. 167-182 BibTeX
• Shugo Shiba, Yoshiaki Shigeta, Wataru Tanaka: Switching software test environment using MSC. 183-196 BibTeX
• Gabriel Robert, Ferhat Khendek, Peter Grogono: Deriving an SDL specification with a given architecture from a set of MSCs. 197-212 BibTeX
• Stefan Loidl, Ekkart Rudolph, Ursula Hinkel: MSC'96 and beyond - a critical look. 213- BibTeX

SDL and MSC in International Organizations

• Rick Reed: SDL and MSC in international organizations: ITU-T. 231- BibTeX

Testing

• Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, Michael Schmitt II: Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. 245-260 BibTeX
• Gregor von Bochmann, Alexandre Petrenko, O. Bellal, S. Maguiraga: Automating the process of test derivation from SDL specifications. 261-276 BibTeX
• Ana R. Cavalli, Boo-Ho Lee, Toma Macavei: Test generation for the SSCOP-ATM networks protocol. 277- BibTeX

MSC II

• Sjouke Mauw, Michel A. Reniers: High-level message sequence charts. 291-306 BibTeX
• Nils Faltin, Lennard Lambert, Andreas Mitschele-Thiel, Frank Slomka: An annotational extension of message sequence charts to support performance engineering. 307-322 BibTeX
• Astrid Nyeng, Svanhild Gundersen: MSCs at Siemens A/S - towards the usage of MSC-96. 323- BibTeX

SDL and Other Languages I

• Kurt Verschaeve: Automated iteration between OMT and SDL. 335-350 BibTeX
• J. Carracedo, Carlos Ramos, Rubén de Diego, Carlos González, Juan José Gil, Emilo Rodríguez, Morgan Bjorkander: Introducing SDL in the development of CORBA-compliant applications. 351-366 BibTeX
• Samir Tata, Laurent Andrey, Olivier Festor: A practical experience on validating GDMO-based information models with SDL'88 and SDL'92. 367- BibTeX

Code Generation

• Paer-Olof Haokansson, Jan Karlsson, Louis Verhaard: Combining SDL and C. 383-396 BibTeX
• Ralf Henke, Hartmut König, Andreas Mitschele-Thiel: Derivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads. 397-414 BibTeX
• Nikolai Mansurov, Andrew V. Chernov, Alexei S. Ragozin: Industrial strength code generation from SDL. 415- BibTeX

SDL and Other Languages II

• Odile Troulet-Lambert: Is open-EDI a potential area for use of SDL? 433-442 BibTeX
• Euricio Inocêncio, Chris W. Loftus, Edel Sherratt, Paula Viana: The unification of OMT, SDL and IDL for service creation. 443-458 BibTeX
• Vincent Perrier, Nicolas Dervaux: Combining object-oriented and real-time programming from an OMT and SDL design. 459- BibTeX

Verification and Validation II

• Alain Kerbrat, Carlos Rodriguez-Salazar, Yves Lejeune: Interconnecting the ObjectGeode and Caesar-Alderbaran toolsets. 475-490 BibTeX
• F. Ammar-Boudjelal, Jean-Yves Lafaye, Georges Louis: Specifying the steam-boiler case study with SDL. 491-506 BibTeX
• Christian Facchi, Markus Haubner, Ursula Hinkel: The SDL specification of the sliding window protocol revisited. 507- BibTeX

Applications II

• Birgit Geppert, Reinhard Gotzhein, Frank Rößler: Configuring communication protocols using SDL patterns. 523-538 BibTeX
• Ranjit Singh, Jerry Serviss: Code generation using GEODE: A case study. 539-550 BibTeX