Abstract
Algebraic specifications of abstract data types and software systems have been studied mainly with respect to the design phase and stepwise refinement towards implementation up to now. This paper shows how to extend the algebraic specification techniques to obtain also a methodology for systematic software development from the requirements to the design Phase. This methodology is based on parameter passing techniques for parameterized specifications with requirements where the notion of requirements is general enough to cover general predicate formulas and different kinds of integrity and consistency constraints.
As an example for this new methodology we consider a parts system and give the main steps from requirementsspecification, via a parameterized refinement towards a design specification.
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
Goguen, J.A., Thatcher, J.W., Wagner, E.G.: An initial algebra approach to the specification, correctness, and implementation of abstract data types, IBM Research Report RC-6487, Oct 1976. Current Trends in Programming Methodology, IV: Data Structuring (R.T. Yeh,Ed.) Prentice Hall, New Jersey (1978), pp. 80–149
Burstall, R.M, Goguen, J.A.: The Semantics of CLEAR, a Specification Language, Proc. 1979 Copenhagen Winter School on Abstract Software Specifications (1980)
Ehrig, H.: Algebraic Theory of Parameterized Specifications with Requirements, Proc. 6th CAAP, Genove 81, Italy, LNCS 112 (1981),pp.1—24
Ehrig, H, Fey, W., Kreowski, H.-J.: Algebraische Spezifikation eines Stücklistensystems — Eine Fallstudie; Software Engineering — Entwurf und Spezifikation, Teubner Berichte des German Chapter of the ACM, Band 5, Stuttgart (1981), pp. 75–90
Kreowski, H.-J.: Algebraische Spezifikation von Softwaresystemen; Software Engineering-Entwurf und Spezifikation, Teubner Berichte des German Chapter of the ACM, Band 5, Stuttgart(1981), pp. 46–74
Fey, W.: Specification of a Parts System: From Requirements to Design; to appear
Floyd, Ch.: A process-oriented approach to software development, Proc. 6th ACM European Regional Conf. on Systems Architecture, London 1981, pp. 285–294
Lehmann, M.M.: The environment of program development and maintenance, Proc. 6th ACM European Regional Conf. on System Architecture, London 1981, pp. 273–284
Turski, W.M.: Software Stability, Proc. 6th ACM European Regional Conf. on Systems Architecture, London 1981, pp. 107–116
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
Ehrig, H., Fey, W. (1981). Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications. In: Brauer, W. (eds) GI — 11. Jahrestagung. Informatik-Fachberichte, vol 50. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-01089-1_24
Download citation
DOI: https://doi.org/10.1007/978-3-662-01089-1_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10884-9
Online ISBN: 978-3-662-01089-1
eBook Packages: Springer Book Archive