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