FBT 1999: München, Germany

@proceedings{DBLP:conf/fbt/1999,
  editor    = {Katharina Spies and
               Bernhard Sch{\"a}tz},
  title     = {Formale Beschreibungstechniken f{\"u}r verteilte Systeme, 9.
               GI/ITG-Fachgespr{\"a}ch, M{\"u}nchen, Juni 1999},
  booktitle = {FBT},
  publisher = {Herbert Utz Verlag},
  year      = {1999},
  isbn      = {3-89675-918-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Heinrich Hußmann: Formale Beschreibungstechniken und praktische Softwaretechnik - eine unglückliche Verbindung? 1-6
• Ernst-Rüdiger Olderog: Entwicklung korrekter zeitkritischer Systeme. 7-16
• Klaus Bergner, Andreas Rausch, Marc Sihling, Alexander Vilbig, Manfred Broy: A Formal Model for Componentware. 17-26
• Dirk Beyer, Heinrich Rust: Concepts of Cottbus Timed Automata. 27-34
• Max Breitling: Modellierung und Beschreibung von Soll/Ist-Abweichungen. 35-44
• Olaf Drögehorn, Oliver Terhorst, Heinz-Dieter Hümmer, Walter Geisselhardt: Formal Specification and Verification of Communication-Systems for designing in VHDL. 45-54
• Ingrid Fischer, Gabriele Taentzer: Modellierung dynamischer Rekonfiguration in offenen, verteilten Systemen auf der Basis von Graphtransformation. 55-64
• Thomas Gehrke, Thomas Firley: Generative Sequence Diagrams with Textual Annotations. 65-72
• Holger Hermanns, Markus Siegle: Symbolic Minimisation of Stochastic Process Algebra Models. 73-82
• Peter Herrmann, Manfred Noël: Formale Verifikation eines Reglers für Fahrbahnmarkierungsmaschinen. 83-92
• Stefan Heymer, Jens Grabowski: Towards the Generation of Distributed Test Cases Using Petri Nets. 93-102
• Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz: Eine vergleichende Fallstudie von acht CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken. 103-112
• Ekkart Kindler, Axel Martens: Szenarios: Lokale Kriterien für globale Korrektheit. 113-122
• Ingolf Krüger: Towards the Methodical Usage of Message Sequence Charts. 123-134
• Peter Langendörfer, Hartmut König: Automatische Generierung effizienter Protokollimplementierungen. 135-144
• Arndt Lüder, E. Hintze, Christian Schwab: Anwendung von gefärbten NCES zur Verifikation der C2-Verbindung des erweiterten PROFIBUS-DP-Protokolls. 145-154
• Uwe Nestmann: Mobile Objects (a project overview). 155-164
• Christian Peper: Transformations in Pattern-Based System Specifications. 165-173
• Axel Rennoch, Jan de Meer, Ina Schieferdecker: Test Data Filtering. 175-184
• Georg Rock, Werner Stephan, Andreas Wolpers: Modeling Dynamic Processes in TLA. 185-192
• Christine Röckl: First-Order Proofs for Higher-Order Languages. 193-202
• Richard O. Sinnott: Modelling Dynamic Distributed Systems in LOTOS. 203-212
• Thomas Stauner: Specification of (parts of) a Lip-Sync Protocol Using HyCharts. 213-222
• Thomas Stauner, Klaus Schneider, Michaela Huhn: Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR. 223-232
• Harald Störrle: A Petri-net Semantics for Sequence Diagramms. 233-242
• Joachim Thees: Implementierungs- und Optimierungsmodelle des eXperimental Estelle Compilers. 243-252
• Tobias Vesper, Michael Weber: Automatisches verteiltes Rücksetzen. 252-261