Claus Lewerentz – författare

Im Rahmen des Forschungsprojektes IPSEN (Incremental Programming Support Environment) wurden Konzepte zum Bau hochgradig interaktiver und integrierter Software-Entwicklungsumgebungen erarbeitet und ihre Brauchbarkeit in einer Prototyp-Implementierung nachgewiesen. Die wesentlichen Charakteristika des IPSEN-Ansatzes sind der hohe Grad an Integration verschiedener Software-Werkzeuge und -Dokumente und der Einsatz eines einheitlichen Modellierungs- und Realisierungsmechanismus für Software-Entwicklungsumgebungen. Software-Dokumente werden intern als attributierte Graphstrukturen modelliert, und Werkzeuge werden als Graphprozessoren über solchen Strukturen aufgefaßt. Die vorliegende Arbeit, die über einen Teil dieses Projektes berichtet, beschäftigt sich in erster Linie mit Konzepten und Werkzeugen für den Arbeitsbereich "Programmieren im Großen", d.h. mit dem Entwerfen von Programmsystemen auf der Ebene von Teilsystemen, Modulen, Modulschnittstellen und -beziehungen. Es wird ein Modulkonzept zusammen mit einer entsprechenden Entwurfssprache vorgestellt und diskutiert, wie damit beschriebene Systemarchitekturen in vorgegebene Programmiersprachen abgebildet werden können. Hinzu kommen Konzepte zur Beschreibung und Verwaltung von Varianten und Revisionen von Systemkomponenten. Die Erstellung technischer Dokumentation und die Verwaltung eines Projektteams werden ebenfalls behandelt. Zu jedem Arbeitsbereich werden Syntax-gesteuerte Editoren, Analyse- und Transformationswerkzeuge vorgestellt, die integriert zusammenarbeiten und sich dem Benutzer auf einheitliche Weise präsentieren. Die Realisierung dieser Werkzeuge gemäß dem "Graphentechnik"-Ansatz wird kurz dargestellt, im Anhang der Arbeit findet sich eine formale Beschreibung des verwendeten Graphgrammatik-Kalküls.

This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, particularly in areas where failure of software would result in injury to people or, at best, significant loss of money. By analyzing the benefits and explaining the use and limitations of formal methods on a sample basis, this book provides a roadmap for the selection and application of appropriate approaches and thus helps in putting formal methods into industrial use.

Manfred Nagl has been a very active, productive researcher with great impact in a number of di?erent areas,e.g., graphtransformationsand their applications to a wide range of disciplines, software engineering environments, engineering designprocesses,andsoftwarearchitectures.We-?veofhisnumerousacademic descendants - were in?uenced deeply by Manfred's work. For this reason, we decided to prepare this volume, which was edited in his honor on the occasion of his 65th birthday. A "pre-release"(book of abstracts) was presented to Manfred atacelebrationatRWTHAachenUniversityinJune2009.Thecompletevolume followed when Manfred received an honorary doctorate from the University of Paderborn in November 2010. Altogether, we collected 30 papers. The types of papers vary signi?cantly, including classic research papers in the style of journal articles, surveys of - cused research areas, essays re?ecting on certain research topics, and papers summarizing long-term work conducted by Manfred Nagl. All papers were subject to a thorough quality control process involving at least two reviews for each paper.The editors were assisted by numerous ad- tional reviewers, whose work is gratefully acknowledged.