Zusammenfassung
In nahezu allen Publikationen über Themen der Anforderungsspezifikation ist unbestritten festgestellt worden, daß
-
‐ die Kosten der Herstellung von Software,
-
‐ die Zuverlässigkeit der Softwareprodukte und
-
‐ der Grad der Erfüllung der ursprünglichen Anforderungen
auch in Automatisierungsprojekten vor allem durch die Vollständigkeit, Widerspruchsfreiheit und Verträglichkeit der anfänglichen Anforderungsspezifikation bestimmt werden. Diese letztgenannten Eigenschaften sind aber nur durch einen hohen Grad an Formalisierung in der Spezifikation erreichbar.
Dieser Beitrag stellt ein Hilfsmittel, das System SARS• vor, das die Formalisierung der Anforderungen unterstützt. Die formale Sprache dieses Systems
>Das System SARS wurde im Rahmen eines vom BMFT gef00F6;rderten Vorhabens entwickelt.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literatur
Jones, C: A Survey of Programming Design and Specification Techniques. Proc. Specification of Reliable Software, IEEE Catalog No. 79, CH 1401-9C.S 91–103
Chmura, L.J.; Weiß, D.M.: The A-7E Software Requirements Document: Three Years of Change Data. NRL Memorandum Report 4938, Naval Research Laboratory Washington D.C., Nov. 1982
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Epple, W.K., Hagemann, M.D., Klump, M.A., Koch, G.R. (1984). Spezifikation von Prozeßautomatisierungssystemen. In: Trauboth, H., Jaeschke, A. (eds) Prozeßrechner 1984. Informatik-Fachberichte, vol 86. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-70086-6_33
Download citation
DOI: https://doi.org/10.1007/978-3-642-70086-6_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13858-7
Online ISBN: 978-3-642-70086-6
eBook Packages: Springer Book Archive