Abstract is missing.
- Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programsWillem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers. 3-5
- Mobile and Distributed Objects versus Central ReferencingRüdiger Valk. 7-27
- Hierarchische Familien formaler AnforderungenJan Bredereke. 31-40
- Skalierbare Beschreibung des Verhaltens verteilter Software-SystemeGuido Wirtz, Holger Giese. 41-50
- Formal Methods for Reflective System SpecificationJan de Meer, Erika Ábrahám-Mumm. 51-57
- Modellierung Verteilter Systeme mit I-Systemen - Ein BeispielArnim Wedig. 59-68
- Proving Write Invalidate Cache Coherence with Bisimulations in Isabelle/HOLChristine Röckl. 69-78
- BDD-basierte Verifikation von Echtzeit-SystemenDirk Beyer, Andreas Noack. 79-89
- Model Checking and Random Competition - A Study Using the Model Checking Framework MICAlexander K. Wißpeintner, Franz Huber, Jan Philipps. 91-100
- Diagrams for DataflowMax Breitling, Jan Philipps. 101-110
- 10 Years Focus - Lessons learnedBernhard Schätz, Katharina Spies. 111-120
- Datentypsematik für SDL - 2000Martin von Löwis. 121-130
- The Development of a Parser for SDL - 2000Michael Schmitt II. 131-142
- Leistungsbewertung von SDL-Spezifikationen - Ein Werkzeug zur Bewertung von ImplementierungstechnikenPeter Langendörfer, Thomas Krüger, Hartmut König. 143-152
- Development of a MSC/UML Test FormatEkkart Rudolph, Ina Schieferdecker, Jens Grabowski. 153-164
- Einige Aspekte der Entwicklung maßgeschneiderter KommunikationsmiddlewarePhilipp Schaible, Reinhard Gotzhein. 165-174
- Statische Analysetechniken für speicherprogrammierbare SteuerungenSébastien Bornot, Ralf Huuck, Ben Lukoschus. 175-181