Fallstudie f{\"u}r modellbasierte Spezifikation zur Vorlesung ``Requirements Engineering'' im Sommersemester 2011 (Skizzen und L{\"o}sungsvorschl{\"a}ge)
Title:
Ein Kaffeevollautomat
Author(s):
Mario Gleirscher
Abstract:
Dieser Bericht enth{\"a}lt eine Fallstudie f{\"u}r ein System ``Kaffeevollautomat''.
Es werden verschiedene Aspekte dieses Systems erarbeitet und dokumentiert. Die vielf{\"a}ltigen M{\"o}glichkeiten der Modellierung im Rahmen der Anforderungsanalyse, zur Spezifikation und zur Vorbereitung f{\"u}r Verhaltenstests auf Systemebene werden ebensfalls angesprochen.