Methoden.- Requirements - einmal anders betrachtet.- Zielgerichtetes und regelgesteuertes Problemlösen mit der Requirements-Engineering Methodologie IBIS.- System Design Using Petri Nets.- Abstract Data Types as a Tool for Requirement Engineering.- Erfahrungen.- Erfahrungen mit Programm-Prototypen.- Drei Jahre SADT bei SCS: Blick zurück ohne Zorn.- Requirements Engineering in S/E/TEC.- Erstellung von Anforderungsspezifikationen für Automatisierungssysteme mit EPOS - Eigenschaften and Erfahrungen.- Erfahrungen beim Einsatz des Spezifikationssystems ESPRESO.- Erfahrungen mit Modellbildung, Entwurf and Dokumentation von rechnergestützten Leitsystemen im Verkehrsbereich.- Verfahren.- On the Use of Algebraic Methods for Formal Requirements Definitions.- Systematische Aufgabenklärung am Beispiel Software.- Prolog als Spezifikations- and Modellierungswerkzeug.- Entwicklung von Proze?informationssystemen - ein Lernproze? für Entwickler and Anwender.- Beschreibungsmittel.- Anforderungsbeschreibung and Simulation mit Net-Modellen.- Anforderungsmodellierung für Realzeitsysteme - Ansätze zur Bewältigung von Komplexität and von Unschärfe.- Benutzernahe Anforderungsanalyse mit SARS.- Real Time in Distributed Real Time Systems.