Zusammenfassung
Die Eigenschaften graphischer Darstellungen als Sprachmittel einer Spezifikationssprache für das “Requirements Engineering” werden untersucht. Die Konzeption eines graphischen Editors zur Eingabe graphischer Sprachmittel als integraler Bestandteil einer Spezifikationssprache wird erläutert. Als Beispiel wird die Verwendung von Funktionsdiagrammen als formales graphisches Sprachmittel behandelt.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Lauber R. und Jovalekic S.: Wie formal soll und darf die Beschreibung des Pflichtenhefts für ein Prozeßautomatisierungssystem sein? Informatik Fachberichte Band 50, S. 484 – 490. Berlin, Heidelberg: Springer-Verlag 1981
Jovalekic S.: Erstellung von Anforderungsspezifikationen für Automatisierungssysteme mit EPOS -Eigenschaften und Erfahrungen. Vortrag bei der GI-Arbeitstagung “Requirements Engineering für die Automatisierung von Systemen” Friedrichshafen: 12. — 14. Oktober 1983.
Bininda N.: Graphische Eingabe für ein Spezifikationssystem Software-Entwicklungssystem und -Werkzeuge technische Akademie Esslingen 2. Kolloquium 8. — 10. September 1987 S. 12.2–1 – 12.2.10
Bechlars J. u. Buhtz R.: GKS-in der Praxis Berlin: Springer-Verlag 1986
Encarnacao J. und Straßer W.: Computer Graphics München-Wien: R. Oldenburg 1986
Grieger I.: Graphische Datenverarbeitung. Berlin-Heidelberg: Springer-Verlag 1987
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sun, Z. (1988). Anwendung graphischer Darstellungen im Rahmen einer Spezifikationssprache für das Requirements Engineering. In: Lauber, R. (eds) Prozeßrechensysteme ’88. Informatik-Fachberichte, vol 167. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-73445-8_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-73445-8_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18986-2
Online ISBN: 978-3-642-73445-8
eBook Packages: Springer Book Archive