Abstract
Abstract data types represent a means for a modularized and abstract formal specification of programs. But there remains the problem of requirement engineering, that is, of the derivation of the abstract types from the user’s informal problem description. The paper suggests a methodology, where results from the theory of abstract data types are employed as guidelines for this derivation process.
This research was carried out within the Sonderforschungsbereich 49, Programmiertechnik, Munich.
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.
References
Bauer, F.L.: Programming as an Evolutionary Process. Proc 2nd International Conference on Software Engineering, San Francisco 1976, p. 223–234
Bauer, F.L.: Programming as Fulfilment of a Contract. In: Henderson, P. (ed.): System Design. Infotech State of the Art Report, Series 9 Number 6, Maidenhead: Pergamon Infotech Ltd. 1981, p. 165–174
Bauer, F.L., Wössner, H.: Algorithmic Language and Program Development. Berlin-Heidelberg-New York: Springer 1982
Bauer, F.L., Broy, M., Dosch, W., Geiselbrechtinger, F., Hesse, W., Gnatz, R.,Krieg-Brtückner, B., Laut, A., Matzner T., Möller, B., Partsch, H., Pepper, P., Samelson, K., Wirsing, M., Wössner, H.: Report on a Wide Spectrum Language for Program Specification and Development. Institut für Informatik der TU München, TUM-I8104, 1981
Broy, M., Pepper, P.: Programming as a Formal Activity. IEEE Transactions on Software Engineering SE-7, 10–22 (1981)
Broy, M., Pepper, P.: On the Coherence of Programming Language and Programming Methodology. Proc. IFIP Working Conference on Programming Languages and System Design, Dresden, 1983
Broy, M., Möller, B., Pepper, P., Wirsing, M.: Algebraic Implementations Preserve Program Correctness. To appear in Science of Computer Programming 1983
Dijkstra, E.W.: A Discipline of Programming. Englewood Cliffs, N.J.: Prentice-Hall 1976
Ehrig, H., Fey, W., Hasler, K.P.: Algebraische Spezifikationen: Konzepte und Sprachen für die Software-Entwicklung. To appear in: “10 Jahre Informatik an der Universität Dortmund” 1982
Gerhart, S.L., Musser, D.R., Thompson, D.H., Baker, D.A., Bates, R.L., Erickson, R.W., London, R.L., Taylor, D.G., Wile, D.S.: An Overview of AFFIRM: A Specification and Verification System. In: Lavington, S.(ed.): Information Processing 80, Amsterdam: North-Holland, 1980, 343–347
Goguen, J.A., Tardo, J.: OBJ-O Preliminary Users Manual. University of California at Los Angeles, Computer Science Department, 1977
Goguen, J.A., Thatcher, J.W., Wagner, E.G.: An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types. In: Yeh, R.T.(ed.): Current Trends in Programming Methodology, Vol. 4. Englewood Cliffs, N.J.: Prentice-Hall 1978, p. 80–149
Gries, D.: The Science of Programming. Berlin-Heidelberg-New York: Springer 1981
Guttag, J.V.: The Specification and Application to Programming of Abstract Data Types. University of Toronto, Department of Computer Science, Ph. D. Thesis, Report CSRG-59, 1975
Guttag, J.V., Horning, J.J.: The Algebraic Specification of Abstract Data Types. Acta Informatica 10, 27–52 (1978)
Guttag, J.V., Horning, J.J.: Formal Specifications as a Design Tool. Proc. 7th Annual ACM Symp. on Principles of Programming Languages, Las Vegas, Nevada, 1980, p. 251–261
Special Collection on Requirement Analysis. IEEE Transactions on Software Engineering SE-3, 2–84 (1977)
Jouannaud, J.P.: Church-Rosser Computations with Equational Term Rewriting Systems. Centre de Recherche en Informatique de Nancy, Tech. Report 83-R-006, 1983
Knuth, D.E.: The Art of Computer Programming, Vol. III: Sorting and Searching. Reading, Ma.: Addison-Wesley 1976
Lescanne, P.: Computer Experiments with the REVE Term Rewriting System Generator. Centre de Recherche en Informatique de Nancy, Tech. Report, 1982
Partsch, H., Laut, A.: From Requirements to their Formalization - A Case Study on the Stepwise Development of Algebraic Specifications. In: Wössner, H.(ed.): Programmiersprachen und Programmentwicklung. Informatik-Fachberichte 53. Berlin-Heidelberg-New York: Springer 1982, p. 117–132
Wirsing, M., Broy, M.: An Analysis of Semantic Models for Algebraic Specifications. In: Broy, M., Schmidt, G.(eds.): Theoretical Foundations of Programming Methodology. Dordrecht: Reidel 1981
Wirsing, M., Pepper, P., Partsch, H., Dosch, W., Broy, M.: On Hierarchies of Abstract Data Types. Institut fOr Informatik der TU MOnchen, TUM-I8007, 1980. Also to appear in Acta Informatica 1983
Wulf, W.A., London, R.L., Shaw, M.: An Introduction to the Construction and Verification of Alphard Programs. IEEE Transactions on Software Engineering SE-2, 253–265 (1976)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Partsch, H., Pepper, P. (1983). Abstract Data Types As A Tool For Requirement Engineering. In: Hommel, G., Krönig, D. (eds) Requirements Engineering. Informatik-Fachberichte, vol 74. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69293-2_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-69293-2_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12692-8
Online ISBN: 978-3-642-69293-2
eBook Packages: Springer Book Archive