The collection of papers published in this book was initially presented at the Workshop on Software Factories and Ada, held on Capri, May 26-30, 1986. The subject of the book is software development environments. Software development is treated from three viewpoints: methodologies, language issues and mechanisms. Of particular interest are the discussions of automation of the development process and the formalization of software development specifications. Several new methodologies are described, many of which are available on the commercial market. New is in particular the formalization of the design and development process. Interesting ideas are presented on planning the design process and on supporting project management by formal tools. The reader will find a variety of interesting methodologies and mechanisms that are operational. The book is suitable for readers interested in knowing in which direction programming environment research is moving.

1.1 Die Formulierung von Programmen 1.1.1 Ein Betriebssystem besteht aus zahlreichen Programmen sehr unterschied- 1 icher Groesse. Nicht selten bewegt sich der Umfang eines Betriebssystems zwischen 100 Kund 500 K Bytes. Ein mittelgrosser Ubersetzer fur eine Programmiersprache umfasst dagegen nur 30 - 50 K Bytes. (K ist eine Abkurzung fur Kilo, d. h. Tau- 10 send. In der Informatik bedeutet K stets 1024=2 .) In diesem Buch studieren wir Betriebssysteme aus der Sicht des Systementwicklers. Das bedeutet, dass wir die verschiedenen Aufgaben eines Betriebssystems analysieren sowie Programme entwickeln, die diese Aufgaben erfullen. Dabei wird aber weniger die Analyse als vielmehr die Synthese im Vordergrund stehen: wir eroertern, wie die Komponenten eines Betriebssystems unter vorgegebenen Bedingungen realisiert werden koennen. Dabei kann das vorl iegende Buch als Vorbereitung fur andere Bucher dienen, welche sich mehr der Analyse von Betriebssystemen widmen. Wenn der Leser das ange- botene Material durchgearbeitet hat, wird er fur eine tiefergehende Analyse der Leistungsfahigkeit von Betriebssystemen und fur eine Beschaftigung mit Warte- schlangentheorie gut vorbereitet sein. Entwicklungsstudien bilden den angemessenen Hintergrund fur die mathematische Analyse von Systemmodellen. Die Systemanalyse bleibt daher im vorl iegenden Buch auf den Vergleich einiger alternativer Entwurfe und Implementierungen beschrankt.