FBT 1997: Berlin, Germany
Adam Wolisz, Ina Schieferdecker, Axel Rennoch (Eds.): Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997. GMD-Forschungszentrum Informationstechnik GmbH 1997 GMD-Studien ISBN 3-88457-315-2
Tutorials
- Bruno Müller-Clostermann: SDL-Based Performance Evaluation - A Survey. 7-22
- Jan Tretmans: Repetitive Quiescence in Implementation and Testing. 23-37
Verification
- Klaus Gotthardt, Reiner Lichtenecker: Verification of Distributed Applications by translating CCS to Binary Decision Diagrams. 39-48
- Frank Reffel: Partial-Order Reduzierung des Zustandsraumes bei der BDD-Modellprüfung. 49-57
TLA
- Georg Rock, Werner Stephan, Andreas Wolpers: Tool Support for the Compositional Development of Distributed Systems. 89-98
- Nils Buhrke, Wolfgang Thomas, Jens Vöge: Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik. 99-108
Specification Techniques
- Jan de Meer: QoS Control by Balancing Continuous MM Streams. 109-118
- Clemens Fischer: Combining Object-Z and CSP. 119-128
- Leszek Holenderski, Axel Poigné: Synchronous Automata for Synchronous Programming Languages. 129-134
MSCs/Traces
- Piotr Kosiuczenko: Formal Semantics of Basic Message Sequence Charts: an Algebraic Approach. 135-144
- Nils Faltin, Lennard Lambert, Andreas Mitschele-Thiel, Frank Slomka: PMSC -- Integrating Performance into Message Sequence Chart. 145-154
- Lennard Lambert: Bewertung von MSC-Spezifikationen mit Task-Graphen. 155-164
Specification Methods I
- Stephan Kleuker: Anforderungsformalisierung für synchron kommunizierende Prozesse mit Trace-Diagrammen. 175-184
- Eckhardt Holz: Towards an application of FDT within OOAD. 185-189
- Frank Lemmen: Objektorientierte Instrumentierung einer SDL'92-Spezifikation im Kontext des SDL/MSC-gesteuerten Monitoring. 191-200
Specification Methods II
- Birgit Geppert, Frank Rößler: Combining SDL and Pattern-based Design for the Customization of Communication Subsystems. 201-210
- Thomas Gehrke: Zum Einsatz einer graphischen Entwurfsmethode zur Erstellung einer prozeßorientierten Spezifikation. 211-220
Testing
Specification Methods III
- Detlef Baumecker, Reinhard Koeppe, Matthias Roebert: Eine Spezifikationsmethode für echtzeitkritische Kommunikationssysteme. 263-271
- Rolf Wildhack: Formale Spezifikationsmethoden auf dem Prüfstand: Erfahrungen bei der Implementierung komplexer Middleware. 273-282
Prototyping
- Peter Langendörfer: iSDL: Ein Ansatz zur Integration leistungssteigernder Implementierungsvorgaben in SDL'92. 303-311
- Dirk Jäger, Arnulf Mester: Automatische Erzeugung von Prototypen verteilter Anwendungen aus cTLA-Spezifikationen. 313-321
- Christian Engel: Code Generation for Real-Time Specifications. 323-332
Tools
- Michael Schmitt II, Jens Grabowski, Dieter Hogrefe, Beat Koch: -Autolink- A Tool for the Automatic and Semi-Automatic Test Generation. 333-341
- Martin von Löwis: SITE - Eine SDL Entwicklungsumgebung. 353-356
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team