Von der Nutzungsanforderung zur formalen Softwarespezifikation

Die Analyse und Spezifikation von Software-Anforderungen ist eine komplexe Aufgabe, die als Grundlage jedes Softwareentwicklungsprojekts für den Erfolg oder Misserfolg maßgeblich ist. Oft bleiben jedoch Nutzungsanforderungen auf dem Weg zur Implementierung aufgrund einer mangelnden Integration in formale technische Spezifikationen auf der Strecke. Dieser Artikel stellt einen werkzeugbasierten Ansatz zur Spezifikation komplexer interaktiver Systeme mit Hilfe des Werkzeugs YAKINDU Requirements vor.

Hinweis

Der Artikel ist erschienen in: Brau, Lehmann et al. (Hrsg.), Usability Professionals 2013, German UPA e.V., Stuttgart, S. 54–59.

Das Werkzeug ermöglicht nicht nur eine Prozessunterstützung für die formale Spezifikation von Software-Anforderungen durch eine Verknüpfung verschiedener Prozessphasen und Modelle (Traceability), sondern bringt dabei interdisziplinäre Stakeholder wie Usability Professionals, Requirements Engineers, Systemarchitekten und Entwickler durch die Verwendung einer gemeinsamen Modellierungssprache zusammen. Das Tutorial demonstriert die Funktion und den Nutzen des Ansatzes an einfachen Beispielen und richtet sich dabei an Usability Professionals, die an einer formalen Integration von Nutzungsanforderungen, User-Interface-Entwürfen und Interaktionsabläufen in komplexe Softwareprojekte interessiert sind.

Michael Jendryschik
0 Kommentare

Hinterlasse einen Kommentar

An der Diskussion beteiligen?
Hinterlassen Sie mir einen Kommentar!

Ihre Kommentareingaben werden zwecks Anti-Spam-Prüfung an den Dienst Akismet gesendet. Darüber hinaus nutze ich die eingegebene E-Mail-Adresse zum Bezug von Profilbildern bei dem Dienst Gravatar. Weitere Informationen und Hinweise zum Widerrufsrecht finden sich in der Datenschutzerklärung.

Schreibe einen Kommentar

Deine E-Mail-Adresse wird nicht veröffentlicht. Erforderliche Felder sind mit * markiert