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