Pütter, Oliver2004-12-062004-12-0619952003-05-07http://hdl.handle.net/2003/269910.17877/DE290R-14512Die Prototypingsprache ProSet besitzt lediglich Ein- und Ausgabeoperationen, welche die von Unix vorgegebenen Standardkanäle ( stdin, stdout und stderr) nutzen. Um eine graphische Ein- und Ausgabe von ProSet-Werten zu ermöglichen, wird eine ProSet-Bibliothek mit graphischen Ein- und Ausgabeoperationen konstruiert. Der Aufruf dieser Operationen basiert auf dem Konzept der internen Kontrolle. Die formale Spezifikation der graphischen Dialoge erfolgt mit Hilfe von Zustandsübergangsdiagrammen, die um eine ADA-basierte Notation ergänzt sind. Des weiteren werden ProSet-Konzepte wie Persistenz und Ausnahmebehandlung integriert. Mit der Realisierung einer interreferentiellen Ein- und Ausgabe werden zudem software-ergonomische Aspekte berücksichtigt.deUniversität Dortmund004bachelor thesis