SDL '95 with MSC in Case

Content: 
Front Matter, Page iii
Copyright, Page iv
INTRODUCTION, Pages v-vi
PROGRAMME COMMITTEE, Page xi
Industrial Experience of Using SDL in IskraTEL, Pages 3-14, Ana Robnik, Matjaž Dolenc, Milenko Alčin
A Distributed SDL-based Intelligent Network Laboratory, Pages 15-24, P. Csurgay, F.A. Aagesen
SDL-92 support for re-use in protocol system specifications - some early experience, Pages 25-34, Amanda Sinton, Michael Crowther
Using MSC-92 effectively, Pages 37-49, Øystein Haugen
Generating tools for Message Sequence Charts, Pages 51-62, S. Mauw, E.A. van der Meulen
Syntax Requirements of Message Sequence Charts, Pages 63-74, M.A. Reniers
Message Sequence Chart: Composition Techniques versus OO-Techniques – \'Tema con Variazioni\' –, Pages 77-88, Ekkart Rudolph, Peter Graubmann, Jens Grabowski
ASN.1 exchange format for MSC graphics, Pages 89-100, M. Töró, M.D. Ta, S. Boja-Harangozó
A Development Method for SDL-92 Specifications Based on OMT, Pages 103-113, Dorota Witaszek, Eckhardt Holz, Maciej Wasowski, Stefanie Lau, Joachim Fischer
Translation of OMT to SDL-92, Pages 115-125, Fuyin Guo, Thomas W. MacKenzie
A Methodology for Modelling Large and Complex Systems, used on an Advanced Transport Telematics Architecture, Pages 129-138, Torbjørn Frotveit
High Quality Design Using SDL Technology, Pages 139-150, Zenya Koono, Behrouz H. Far
Software Process Improvement with SDL, Pages 151-161, Kristofer Kimbler, Geir Opsahl
Design Issues of RASTA SDL–92 Translator, Pages 165-174, Nikolai Mansurov, Alexey Kalinov, Alexey Ragozin, Alexander Chernov
A generic, high capacity computing platform for SDL systems execution, Pages 175-187, G. Millstein, A. Sommerfelt, E. Strøm
Tool-Aided Understanding of SDL, Pages 189-198, Lars Tufvesson
Description for Hierarchical Processing in SDL Design, Pages 201-210, Yoshiaki Shigeta, Wataru Tanaka, Haruo Hasegawa
Modifying and Using SDL to Specify ODP-Based Telecommunications Services, Pages 211-220, Bo Bichel Nørbæk, Mikael Franck Jørgensen
GOAL: Observing SDL behaviors with GEODE, Pages 223-230, B. Algayres, Y. Lejeune, F. Hugonnet
Performance Evaluation of SDL Systems Adjunct by Queueing Models, Pages 231-242, Marc Diefenbruch, Elke Heck, Jörg Hintelmann, Bruno Müller-Clostermann, Bruno Müller-Clostermann
MSCs to express Service Requirements as properties on a SDL model: Application to Service Interaction Detection, Pages 243-256, P. Combes, S. Pickin, B. Renard, F. Olsen
Integrating SDL and a configuration language, Pages 259-268, J. Floch
Development of SDL Specifications in Focus, Pages 269-278, Ketil Stølen
Integrated Use of SDL and GDMO, Pages 279-290, Antonella Bartocci, Alberto Ferrero
Partial Order Simulation of SDL Specifications, Pages 293-306, Daniel Toggweiler, Jens Grabowski, Dieter Hogrefe
Test Case Specification Based on MSCs and ASN.1, Pages 307-322, Jens Grabowski, Dieter Hogrefe, Iwan Nussbaumer, Andreas Spichiger
Statistical Usage Testing Using SDL, Pages 323-336, Per Runeson, Anders Wesslén, Johan Brantestam, Stefan Sjöstedt
SDL-based software development in Siemens A/S - experience of introducing rigorous use of SDL and MSC, Pages 339-348, Geir Amsjø, Astrid Nyeng
The Application of SDL to Control Systems for Industrial Machines, Pages 349-358, T.I. Morley
Use of SDL to specify Airbus Future Air Navigation Systems, Pages 359-370, François Goudenove, Laurent Doldi
MELBA TOOLS, Pages 373-374
MuSiC++, Pages 375-376
ProgGen and the PCL Toolset, Pages 377-378
ObjectGEODE: An Integrated Software Development Solution for Today\'s Telecommunications Systems, Pages 379-380
SDL-Transputer Tool Suite, Pages 381-382
SDT and ITEX, Pages 383-385
SICAT: SDL Integrated Computer Aided Toolset, Pages 387-388
SISU - Electronic Methodology Handbook, Pages 389-390
TASKON/OOram: Methodology and tools for system development and life-cycle support, Pages 391-393
AUTHOR INDEX, Page 395
BIBLIOGRAPHY, Pages 397-400