Überblick und Vergleich verschiedener Mittel für die Spezifikation und den Entwurf von Software

Abstract

Dieser Bericht enthält eine Sichtung und Auswertung relevanter Verfahren für die Spezifikation und den Entwurf von Software. Dabei wird ein einheitliches Beschreibungsschema angewandt. Die einzelnen Ansätze werden nach verschiedenen Kriterien vergleichend gegenübergestellt. This report contains a collection and evaluation of relevant methods for specification and design of software, using a uniform description scheme. The various approaches are compared by several different criteria.