Zusammenfassung
Im Beitrag [1] dieses Bandes ist eine formale Spezifikationsmethode für graphische Benutzungsschnittstellen mit Hilfe von Graph-Grammatiken und in [3] eine graphische Benutzungsschnittstelle für Numerik-Programme (ZIB-GUI) vorgestellt worden. Hier soll nun demonstriert werden, wie sich die Spezifikationsmethode aus [1] auf das konkrete System [3] anwenden läßt. Es handelt sich also um eine nachträgliche Spezifikation, deren Vorteile sich erst bei einer Revision oder Weiterentwicklung des ZIB-GUI zeigen können. Um den Umfang der Arbeit zu beschränken, wird ein kleiner aber zentraler Teil des ZIB—GUI betrachtet, nämlich das Widget zur Steuerung der Anwendung.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literaturverzeichnis
B. E. Sucrow. Formale Spezifikation Graphischer Benutzungsschnittstellen mit Hilfe von Graph-Grammatiken, in diesem Tagungsband, Seite 279.
M. Goedicke und T. Meyer und B. E. Sucrow. Modularisierung von Graphgrammatiken zur Beschreibung von Benutzungsschnittstellen. Technischer Bericht 01-96, Universität-Gesamthochschule-Essen, Juli 1996.
U. Nowak und U. Pöhle und R. Roitzsch. Eine graphische Oberfläche für numerische Programme, in diesem Tagungsband, Seite 264.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Nowak, U., Pöhle, U., Roitzsch, R., Sucrow, B.E. (1996). Formale Spezifikation des ZIB-GUI mit Hilfe von Graph-Grammatiken. In: Mackens, W., Rump, S.M. (eds) Software Engineering im Scientific Computing. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-85027-0_37
Download citation
DOI: https://doi.org/10.1007/978-3-322-85027-0_37
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-322-85028-7
Online ISBN: 978-3-322-85027-0
eBook Packages: Springer Book Archive