Häufig – und gerade in zunehmend internationalen Projekten – ist es ein großes Problem in Projekten die Anforderungen des Kundens in geeigneter Form festzuhalten und in gesamten Team unmissverständlich darzustellen. Ein theoretischer Ansatz dabei ist die formale Spezifikation von Anforderungen.
“The most precise way of expressing a detailed specification is to use a formal mathematical notation.” Sommerville, Ian (1998)
Eine formale Spezifikation beruht auf einer Sprache, deren Syntax, Semantik und Vokabular formal (mathematisch) festgelegt ist. Durch die Anwendung mathematischer Grundlagen zur Beschreibung von Anforderungen an eine Software und deren Genauigkeit werden Konsistenzbrüche in der informalen Beschreibung deutlich und können folglich behoben werden. Somit werden Verbesserungen in den Dimensionen Inhalt und Dokumentation möglich, respektive in den Kriterien Eindeutigkeit der Beschreibung und Vollständigkeit der Anforderungen.
Weiterlesen →