Options
1996
Journal Article
Titel
Drei Ansätze zur Formalisierung informeller Beschreibungen von Software-Entwicklungsprozessen
Abstract
Informelle Dokumente sind typisch für die Beschreibung von Software-Entwicklungsprozessen. Software-Projekte müssen jedoch formaler beschrieben werden, um bessere Kommunikation und Kontrolle zu erzielen. Die resultierenden Prozeßmodelle können auf Vollständigkeit, Konsistenz und Eindeutigkeit überprüft werden. Die Formalisierung einer informellen Beschreibung unter Benutzung der Prozeßmodellierungssprache MVP-L wird gezeigt. Das Beispiel, ein Cleanroom-Prozeß, ist einem industriellen Handbuch entnommen. Drei Ansätze werden zur Formalisierung dieses Beispiels angewendet (phasen-, ebenen- und konzeptbasierte Modellierung). Konzeptbasierte Modellierung scheint ein geeigneter Kandidat zu sein.