Abstract is missing.
- SDL-Based Performance Evaluation - A SurveyBruno Müller-Clostermann. 7-22
- Repetitive Quiescence in Implementation and TestingJan Tretmans. 23-37
- Verification of Distributed Applications by translating CCS to Binary Decision DiagramsKlaus Gotthardt, Reiner Lichtenecker. 39-48
- Partial-Order Reduzierung des Zustandsraumes bei der BDD-ModellprüfungFrank Reffel. 49-57
- Weak Bisimulation for Fully Probabilistic ProcessesChristel Baier, Holger Hermanns. 59-68
- Action refinement for Vertical ImplementationArend Rensink, Roberto Gorrieri. 69-78
- Beschreibung eines vagen Echtzeit-Hybrid-Systems in TLA+Lutz Sommerfeld, Peter B. Ladkin. 79-88
- Tool Support for the Compositional Development of Distributed SystemsGeorg Rock, Werner Stephan, Andreas Wolpers. 89-98
- Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler LogikNils Buhrke, Wolfgang Thomas, Jens Vöge. 99-108
- QoS Control by Balancing Continuous MM StreamsJan de Meer. 109-118
- Combining Object-Z and CSPClemens Fischer. 119-128
- Synchronous Automata for Synchronous Programming LanguagesLeszek Holenderski, Axel Poigné. 129-134
- Formal Semantics of Basic Message Sequence Charts: an Algebraic ApproachPiotr Kosiuczenko. 135-144
- PMSC -- Integrating Performance into Message Sequence ChartNils Faltin, Lennard Lambert, Andreas Mitschele-Thiel, Frank Slomka. 145-154
- Bewertung von MSC-Spezifikationen mit Task-GraphenLennard Lambert. 155-164
- Timed MSCx - an Extension to MSC 96Ina Schieferdecker, Axel Rennoch, Olaf Mertens. 165-174
- Anforderungsformalisierung für synchron kommunizierende Prozesse mit Trace-DiagrammenStephan Kleuker. 175-184
- Towards an application of FDT within OOADEckhardt Holz. 185-189
- Objektorientierte Instrumentierung einer SDL 92-Spezifikation im Kontext des SDL/MSC-gesteuerten MonitoringFrank Lemmen. 191-200
- Combining SDL and Pattern-based Design for the Customization of Communication SubsystemsBirgit Geppert, Frank Rößler. 201-210
- Zum Einsatz einer graphischen Entwurfsmethode zur Erstellung einer prozeßorientierten SpezifikationThomas Gehrke. 211-220
- Generating Test Cases for Infinite System SpecificationsStefan Heymer, Jens Grabowski. 221-230
- Test Case Specification with Real-time TTCNThomas Walter, Jens Grabowski. 231-240
- An AAL5 Performance Test Suite in PerfTTCNIna Schieferdecker, Mang Li, Axel Rennoch. 241-250
- Spezifikationsmethodik für mobile, dynamische FOCUS-NetzeUrsula Hinkel, Katharina Spies. 251-261
- Eine Spezifikationsmethode für echtzeitkritische KommunikationssystemeDetlef Baumecker, Reinhard Koeppe, Matthias Roebert. 263-271
- Formale Spezifikationsmethoden auf dem Prüfstand: Erfahrungen bei der Implementierung komplexer MiddlewareRolf Wildhack. 273-282
- Efficient Implementation Strategies for SDLRalf Henke, Andreas Mitschele-Thiel. 283-292
- Prototyping mit SDLRobert Schmit, Michael Kunes, Walter Sedlbauer. 293-301
- iSDL: Ein Ansatz zur Integration leistungssteigernder Implementierungsvorgaben in SDL 92Peter Langendörfer. 303-311
- Automatische Erzeugung von Prototypen verteilter Anwendungen aus cTLA-SpezifikationenDirk Jäger, Arnulf Mester. 313-321
- Code Generation for Real-Time SpecificationsChristian Engel. 323-332
- -Autolink- A Tool for the Automatic and Semi-Automatic Test GenerationMichael Schmitt II, Jens Grabowski, Dieter Hogrefe, Beat Koch. 333-341
- Rapid Prototyping with AutoFocusFranz Huber, Bernhard Schätz. 343-352
- SITE - Eine SDL EntwicklungsumgebungMartin von Löwis. 353-356