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-Studien 315 GMD-Forschungszentrum Informationstechnik GmbH 1997, ISBN 3-88457-315-2

@proceedings{DBLP:conf/fbt/1997,
  editor    = {Adam Wolisz and
               Ina Schieferdecker and
               Axel Rennoch},
  title     = {Formale Beschreibungstechniken f{\"u}r verteilte Systeme, GI/ITG-Fachgespr{\"a}ch,
               Berlin, 19.-20. Juni 1997},
  booktitle = {FBT},
  publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
  series    = {GMD-Studien},
  volume    = {315},
  year      = {1997},
  isbn      = {3-88457-315-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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
Christel Baier, Holger Hermanns: Weak Bisimulation for Fully Probabilistic Processes. 59-68
Arend Rensink, Roberto Gorrieri: Action refinement for Vertical Implementation. 69-78

TLA

Lutz Sommerfeld, Peter B. Ladkin: Beschreibung eines vagen Echtzeit-Hybrid-Systems in TLA+. 79-88
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
Ina Schieferdecker, Axel Rennoch, Olaf Mertens: Timed MSCx - an Extension to MSC'96. 165-174

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

Stefan Heymer, Jens Grabowski: Generating Test Cases for Infinite System Specifications. 221-230
Thomas Walter, Jens Grabowski: Test Case Specification with Real-time TTCN. 231-240
Ina Schieferdecker, Mang Li, Axel Rennoch: An AAL5 Performance Test Suite in PerfTTCN. 241-250

Specification Methods III

Ursula Hinkel, Katharina Spies: Spezifikationsmethodik für mobile, dynamische FOCUS-Netze. 251-261
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

Ralf Henke, Andreas Mitschele-Thiel: Efficient Implementation Strategies for SDL. 283-292
Robert Schmit, Michael Kunes, Walter Sedlbauer: Prototyping mit SDL. 293-301
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
Franz Huber, Bernhard Schätz: Rapid Prototyping with AutoFocus. 343-352
Martin von Löwis: SITE - Eine SDL Entwicklungsumgebung. 353-356

Last update Tue Feb 14 03:55:51 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page