Abstract is missing.
- Combining SDL with Synchronous Data Flow Modelling for Distributed Control SystemsJean-Louis Camus, Thierry Le Sergent. 1-18 [doi]
- Using Message Sequence Charts to Accelerate Maintenance of Existing SystemsNikolai Mansurov, Djenana Campara. 19-37 [doi]
- From MSC-2000 to UML 2.0 - The Future of Sequence DiagramsØystein Haugen. 38-51 [doi]
- SDL and Layered Systems: Proposed Extensions to SDL to Better Support the Design of Layered SystemsRodolphe Arthaud. 52-71 [doi]
- Collaboration-Based Design of SDL SystemsFrank Rößler, Birgit Geppert, Reinhard Gotzhein. 72-89 [doi]
- Using UML for Implementation Design of SDL SystemsJacqueline Floch, Richard Torbjørn Sanders, Ulrik Johansen, Rolv Bræk. 90-106 [doi]
- Deployment of SDL Systems Using UMLNiclas Bauer. 107-122 [doi]
- ETSI Testing Activities and the Use of TTCN-3Anthony Wiles. 123-128 [doi]
- HyperMSCs with Connectors for Advanced Visual System Modelling and TestingJens Grabowski, Peter Graubmann, Ekkart Rudolph. 129-147 [doi]
- Graphical Test Specification - The Graphical Format of TTCN-3Paul Baker, Ekkart Rudolph, Ina Schieferdecker. 148-167 [doi]
- Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test GenerationDieter Hogrefe, Beat Koch, Helmut Neukirchen. 168-181 [doi]
- Verification of Quantitative Temporal Properties of SDL SpecificationsIulian Ober, Alain Kerbrat. 182-202 [doi]
- A General Approach for the Specification of Real-Time Systems with SDLRalf Münzenberger, Frank Slomka, Matthias Dörfel, Richard Hofmann. 203-222 [doi]
- Timed Extensions for SDLMarius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent. 223-240 [doi]
- ASN.1 Is Reaching Out!J. Larmouth. 241-249 [doi]
- Distributed Systems: From Models to ComponentsFabrice Dubois, Marc Born, Harald Böhme, Joachim Fischer, Eckhardt Holz, Olaf Kath, Bertram Neubauer, Frank Stoinski. 250-267 [doi]
- Deriving Message Sequence Charts from Use Case Maps Scenario SpecificationsAndrew Miga, Daniel Amyot, Francis Bordeleau, Donald Cameron, C. Murray Woodside. 268-287 [doi]
- An SDL Implementation Framework for Third Generation Mobile Communications SystemJuha Sipilä, Vesa Luukkala. 288-299 [doi]
- OSPF Efficient LSA Refreshment Function in SDLOstap Monkewich, Igor Sales, Robert L. Probert. 300-315 [doi]
- Using SDL in a Stateless EnvironmentVassilios Courzakis, Martin von Löwis, Ralf Schröder. 316-327 [doi]
- An MSC Based Representation of DiConsJos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw. 328-347 [doi]
- Some Pathological Message Sequence Charts, and How to Detect ThemLoïc Hélouët. 348-364 [doi]
- An Execution Semantics for MSC-2000Bengt Jonsson, Gerardo Padilla. 365-378 [doi]
- Comparing TorX, Autolink, TGV and UIO Test AlgorithmsNicolae Goga. 379-402 [doi]
- Verifying Large SDL-Specifications Using Model CheckingNatalia Sidorova, Martin Steffen. 403-420 [doi]
- Applying SDL Specifications and Tools to the Verification of ProceduresWenhui Zhang. 421-438 [doi]