Vorgehensmodelle unterstützen eine systematische Entwicklung, indem sie zu erbringende Entwicklungsergebnisse, synonym -produkte, und auszuführende Aktivitäten angeben. In dieser Arbeit wird eine mathematisch fundierte Grundlage für durchgängige Vorgehensmodelle zur Entwicklung verteilter Informationssysteme geschaffen. In einem Produktmodell werden die verschiedenen Arten von Entwicklungsprodukten integriert, die im Rahmen der Unternehmens- und der Anforderungsspezifikation sowie des Softwareentwurfs zu erbringen sind. Zur Definition des Produktmodells werden bewährte mathematische Modellierungstechniken aufgegriffen, angepasst und zu einem Ansatz vervollständigt, der von der Spezifikation fachlicher Datentypen und von Geschäftsprozessen bis hin zum Feinentwurf von Softwarekomponenten reicht. Damit leistet die Arbeit einen Beitrag, die Lücke zwischen mathematischen Techniken und umfassenden, bisher vielfach informell beschriebenen Vorgehensmodellen der Informatik zu schließen.     «

Vorgehensmodelle unterstützen eine systematische Entwicklung, indem sie zu erbringende Entwicklungsergebnisse, synonym -produkte, und auszuführende Aktivitäten angeben. In dieser Arbeit wird eine mathematisch fundierte Grundlage für durchgängige Vorgehensmodelle zur Entwicklung verteilter Informationssysteme geschaffen. In einem Produktmodell werden die verschiedenen Arten von Entwicklungsprodukten integriert, die im Rahmen der Unternehmens- und der Anforderungsspezifikation sowie des Softwareen...     »

Models of software development processes support systematic development by defining the work products that are to be produced and by defining the activities that are to be enacted. In this theses a mathematically founded basis for process models for the seamless development of distributed information systems is defined. In a model of work products the different kinds of work products for the specification of the application domain, requirements and software design are integrated. For the definition of this work product model well known and accepted mathematical modelling techniques are used, adapted and completed to a comprehensive approach, reaching from the specification of domain data types and business processes to the detailed design of software components. Thereby this thesis is a contribution to closing the gap between mathematical techniques and comprehensive process models of computer science which are mainly given informally today.     «

Models of software development processes support systematic development by defining the work products that are to be produced and by defining the activities that are to be enacted. In this theses a mathematically founded basis for process models for the seamless development of distributed information systems is defined. In a model of work products the different kinds of work products for the specification of the application domain, requirements and software design are integrated. For the definit...     »