Abstract is missing.
- IN Service prototyping using SDL models and animationMiguel Alabau, Pierre Combes, Béatrice Renard. 3-18
- SDL framework for prototyping and validation of IN servicesKristofer Kimbler, Carl-Henrik Hagenfeldt, Niklas Widell, Jan Ellsberger, Gustav Bergman. 19-32
- Evaluating an SDL framework for AXE developmentStein Erik Ellevseth, Birger Møller-Pedersen. 33
- New results on deriving SDL specifications from MSCsMiguel Abdalla, Ferhat Khendek, Greg Butler. 51-66
- From timed scenarios to SDL: specification, implementation and testing of real-time systemsAbdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek. 67
- SDL enhancements and application for the design of distributed servicesNils Fischbeck, Marc Born, Andreas Hoffmann, Mario Winkler, Gregor Baudis, Harald Böhme, Joachim Fischer. 83-64
- Modelling interfaces in SDL with gate typesEckhardt Holz. 95-104
- MSC and data: dynamic variablesAndré Engels, Loe M. G. Feijs, Sjouke Mauw. 105
- SDL-based specification and testing strategy for communication network protocolsOstap Monkewich. 123-134
- Automated test generation from SDL specificationsAlain Kerbrat, Thierry Jéron, Roland Groz. 135-152
- Methods and methodology for an incremental test generation from SDL specificationsAthmane Touag, A. Rouger. 153
- Towards a new formal SDL semantics - outline of an abstract state machinesUwe Glässer, Reinhard Gotzhein, Andreas Prinz. 171-192
- Towards a harmonization of UML-sequence diagrams and MSCEkkart Rudolph, Jens Grabowski, Peter Graubmann. 193-208
- Three scenarios for combining UML and SDL 96Kurt Verschaeve, Anders Ek. 209-224
- Automatic synthesis of SDL models in use case methodologyNikolai Mansurov, D. Zhukov. 225-240
- Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systemsJosé M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya. 241
- COCOS - A configurable SDL compiler for generating efficient protocol implementationsPeter Langendörfer, Hartmut König. 259-274
- Using declarative mapping for automatic code generation from SDL and ASN.1Nikolai Mansurov, Alexei S. Ragozin. 275
- Using design metrics to identify error-prone components of SDL designsWayne M. Zage, Dolores M. Zage, J. Michael McGrew, Nitin Sood. 293-306
- Application of SDL metric suite through development phasesYury Chernov. 307
- Dynamic scenario-based approach to re-engineering of legacy telecommunication softwareNikolai Mansurov, Robert L. Probert. 325-340
- Specification, validation and implementation of ATM UNI signaling protocols in SDLYuping Dong, Yinghua Lu, Qiang Gao. 341-354
- Using metapatterns with SDLTorben Worm. 355-372
- External communication with SDL systemsGerd Kurzbach, Martin von Löwis, Ralf Schröder. 373
- SDL and MSC based test generation for distributed test architecturesJens Grabowski, Beat Koch, Michael Schmitt II, Dieter Hogrefe. 389-404
- A test case generation tool for conformance testing of SDL systemsC. Bourhfir, Rachida Dssouli, El Mostapha Aboulhamid, Nathalie Rico. 405
- IF: An intermediate representation for SDL and its applicationsMarius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph Sifakis. 423-440
- PerfSDL: Interface to protocol performance analysis by means of simulationMazen Malek. 441-456
- Early performance prediction of SDL/MSC specified systems by automated synthetic code generationWinfried Dulz, S. Gruhl, Lennard Kerber, M. Söllner. 457-472
- A simulation model for message sequence chartsLoïc Hélouët. 473-488