Abstract is missing.
- Kompositioneller Entwurf mit Stochastischen ProzeßalgebrenUlrich Herzog.
- SDL und ODL im Entwicklungsprozess von TelekommunikationssystemenJoachim Fischer, Nils Fischbeck, Marc Born.
- Classification of Specification and Validation Methods for Distributed SystemsThomas Walter. 3-13
- Formal Methods and Conformance Testing --or-- What are we testing anyway?Stefan Heymer, Jens Grabowski. 14-25
- Revised Comparison of an Automatically Generated and a Manually Specified Abstract Test Suite for the B-ISDN Protocol SSCOPRudolf Scheurer, Jens Grabowski, Dieter Hogrefe. 26-37
- Test Suite SimulationStephan Pietsch, Ina Schieferdecker. 38-47
- Werkzeugunterstützte Protokollverifikation mit dem Transferprotokoll-FrameworkOlaf Drögehorn, Peter Herrmann. 48-59
- Formale Entwicklung verteilter reaktiver Systeme mit FOCUSMax Breitling, Ursula Hinkel, Katharina Spies. 63-74
- Specification Modules for Methodical System DevelopmentFranz Huber, Bernhard Schätz. 75-86
- EreignisverbändePeter Paul Spies. 87-99
- Prädikat/Transitions-Netz-Condition/Event-Systeme zur Modellierung von KommunikationssystemenArndt Lüder, E. Hintze, A. Pöschmann, Hans-Michael Hanisch. 100-111
- Towards a QoS Binding NotationJan de Meer, Axel Rennoch, Arno Puder. 112-121
- Assumption-Commitment Specifications and Safety-Critical SystemsGeorg Rock, Werner Stephan, Andreas Wolpers. 125-135
- Spezifikation eines RPC-Speichers mit der Sprache ProFunThomas Firley, Thomas Gehrke, Arend Rensink. 136-147
- Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed AutomataDirk Beyer, Heinrich Rust. 148-159
- Vermittlung von Prinzipien der Formalen Spezifikation von offenen, protokollunabhängigen KommunikationssystemenDetlef Baumecker, Reinhard Koeppe. 163-171
- Entwurf und Implementierung eingebetteter SystemeJan Phillips, Alexander Schmidt. 172-181
- A Process Algebra Semantics for MSC Including ConditionsThomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim. 185-196
- Pomsets for MSCJoost-Pieter Katoen, Lennard Lambert. 197-207
- Using SDL Patterns for the Design of a CAN-based Communication SubsystemBirgit Geppert, Frank Rößler, Michael Schneider. 211-221
- Objekt-orientierte Datenkonzepte für SDLMartin von Löwis, Ralf Schröder. 222-232
- Introduction of Gate Types into SDLEckhardt Holz, Joachim Fischer. 233-244
- Eine SDL-Laufzeitumgebung zur Unterstützung unterschiedlicher ImplementationsstrategienPeter Langendörfer, Thomas Krüger, Sven Twarok. 245-254