Tools

• 
  Jean-Louis Camus, Thierry Le Sergent: Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems. 1-18
• 
  Nikolai Mansurov, Djenana Campara: Using Message Sequence Charts to Accelerate Maintenance of Existing Systems. 19-37

2001 and Beyond: Language Evolution

• 
  Øystein Haugen: From MSC-2000 to UML 2.0 - The Future of Sequence Diagrams. 38-51
• 
  Rodolphe Arthaud: SDL and Layered Systems: Proposed Extensions to SDL to Better Support the Design of Layered Systems. 52-71

Combined SDL and UML

• 
  Frank Rößler, Birgit Geppert, Reinhard Gotzhein: Collaboration-Based Design of SDL Systems. 72-89
• 
  Jacqueline Floch, Richard Torbjørn Sanders, Ulrik Johansen, Rolv Bræk: Using UML for Implementation Design of SDL Systems. 90-106
• 
  Niclas Bauer: Deployment of SDL Systems Using UML. 107-122

Unified Testing

• 
  Anthony Wiles: ETSI Testing Activities and the Use of TTCN-3. 123-128
• 
  Jens Grabowski, Peter Graubmann, Ekkart Rudolph: HyperMSCs with Connectors for Advanced Visual System Modelling and Testing. 129-147
• 
  Paul Baker, Ekkart Rudolph, Ina Schieferdecker: Graphical Test Specification - The Graphical Format of TTCN-3. 148-167
• 
  Dieter Hogrefe, Beat Koch, Helmut Neukirchen: Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation. 168-181

Timing

• 
  Iulian Ober, Alain Kerbrat: Verification of Quantitative Temporal Properties of SDL Specifications. 182-202
• 
  Ralf Münzenberger, Frank Slomka, Matthias Dörfel, Richard Hofmann: A General Approach for the Specification of Real-Time Systems with SDL. 203-222
• 
  Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent: Timed Extensions for SDL. 223-240

Unified ITU-T Languages

• 
  J. Larmouth: ASN.1 Is Reaching Out! 241-249
• 
  Fabrice Dubois, Marc Born, Harald Böhme, Joachim Fischer, Eckhardt Holz, Olaf Kath, Bertram Neubauer, Frank Stoinski: Distributed Systems: From Models to Components. 250-267
• 
  Andrew Miga, Daniel Amyot, Francis Bordeleau, Donald Cameron, C. Murray Woodside: Deriving Message Sequence Charts from Use Case Maps Scenario Specifications. 268-287

SDL Application

• 
  Juha Sipilä, Vesa Luukkala: An SDL Implementation Framework for Third Generation Mobile Communications System. 288-299
• 
  Ostap Monkewich, Igor Sales, Robert L. Probert: OSPF Efficient LSA Refreshment Function in SDL. 300-315
• 
  Vassilios Courzakis, Martin von Löwis, Ralf Schröder: Using SDL in a Stateless Environment. 316-327

MSC

• 
  Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw: An MSC Based Representation of DiCons. 328-347
• 
  Loïc Hélouët: Some Pathological Message Sequence Charts, and How to Detect Them. 348-364
• 
  Bengt Jonsson, Gerardo Padilla: An Execution Semantics for MSC-2000. 365-378

Test and Verification

• 
  Nicolae Goga: Comparing TorX, Autolink, TGV and UIO Test Algorithms. 379-402
• 
  Natalia Sidorova, Martin Steffen: Verifying Large SDL-Specifications Using Model Checking. 403-420
• 
  Wenhui Zhang: Applying SDL Specifications and Tools to the Verification of Procedures. 421-438

last updated on Wed May 22 05:04:14 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page