Summary
Method, tool and experiences of the requirement specification method RELSPEZ are presented. RELSPEZ is based on a relational data model and expresses input and output of every atomic processing of an application function on parts of the data model. Processing is described in a semi-formal manner. The method RELSPEZ was developped in an industrial software project and also applied there. The tool for running it is PET/X 116o. After a pilot application the further application of RELSPEZ — and other specification methods — was recommended only to be used for incomplete specifications of user-relevant requirements. The reasons for such a revised use of the method are discussed.
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.
Literatur
Balzer, R. Goldman, N., While, D. Informality in Program Specifications, in: IEEE Trans. on Software Engineering, SE-4 (1978) H. 3 p. 94
Date, C. J. An Introduction to Database Systems, Reading/Mass, et.al. 1975
Gasch, B., Spitta, Th. Zur Organisationsportabilität von Anwendungssoftware, in: Tagungsband 2. Fachtagung ÖGI/GI Linz 1980, S. 403–422
Heldmann, G. Methoden und Verfahren der Software-Technologie für die 8oer Jahre, in: Tagungsband 2. Fachtagung ÖGI/GI Linz 1980, S. 514–532
Hesse, W. Das Projektmodell — eine Grundlage für die ingenieurmäßige Software-Entwicklung, in: 10. GI-Jahrestagung Saarbrücken 1980, Tagungsband
Kieser, A., Kubicek, H. Organisation Berlin, New York 1977
Jones, G. A Survey of Programming Design and Specification Techniques, in: Proceedings IEEE Conference on Specification of Reliable Software, Cambridge/Mass. p. 91
Ross, D. T., Schomann, K. E. J. Structured Analysis for Requirement Definition, IEEE Trans, on Software Engineering, SE-3 (1977) H. 1, pp. 6–15
Schnupp, P., Floyd, Chr. Software Berlin, New York 1976
Strunz, H. Entscheidungstabellentechnik München, Wien 1977
Teichroew, D. PSL/PSA—A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems, in: Proceedings of Second International Conference on Software Engineering, 1976
Wedekind, H. Erweiterung einer Entwicklungsmethodologie für Datenbanksysteme um eine Komponente zum Schutze vor Mißbrauch von personenbezogenen Daten/Zu einer Methodologie und Teleologie einer angewandten Informatik, in: Tagungsband 2. Fachtagung ÖGI/GI Linz 1980, S. 533–560
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Spitta, T., Schnieder, A. (1981). RELSPEZ — Eine Relationale Problemspezifikation; Konzept und Erfahrungsbericht. In: Goos, G. (eds) Werkzeuge der Programmiertechnik. Informatik-Fachberichte, vol 43. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68064-9_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-68064-9_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10725-5
Online ISBN: 978-3-642-68064-9
eBook Packages: Springer Book Archive