Abstract
When aiming at developing correct software, formal problem specification is nowadays considered an important intermediate stage in the software development process. An algebraically based formalism for problem specification is introduced with the emphasis both on how to use such a formalism for the specification of concrete problems and on the methodological aspects of formalization. The formalism used is essentially the one developed in the project CIP which may be considered as a representative of the state-of-the-art in algebraic specification.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Agresti, W.M. (ed.): New paradigms for software development. Washington, D.C.: IEEE Computer Society Press 1986
Backhouse, R.C.: Program construction and verification. London: Prentice-Hall 1986
Balzer, R.: Final report on GIST. USC/ISI, Marina del Rey, Technical Report 1981
Balzer, R., Cheatham, T.E. Jr., Green, C.: Software technology in the 1990's: using a new paradigm. IEEE Computer 16:11, 39–45 (1983)
Bauer, F.L., Berghammer, R., Broy, M., Dosch, W., Geiselbrechtinger, F., Gnatz, R., Hangel, E., Hesse, W., Krieg-Brückner, B., Laut, A., Matzner, T., Möller, B., Nickl, F., Partsch, H., Pepper, P., Samelson, K., Wirsing, M., Wössner, H.: The Munich project CIP. Volume I: The wide spectrum language CIP-L. Lecture Notes in Computer Science 183, Berlin: Springer 1985
Bauer, F.L., Ehler, H., Horsch, A., Möller, B., Partsch, H., Paukner, O., Pepper, P.: The Munich project CIP. Volume II: The transformation system CIP-S. Lecture Notes in Computer Science 292, Berlin: Springer 1987
Bauer, F.L., Möller, B., Partsch, H., Pepper, P.: Programming by formal reasoning — computer-aided intuition-guided programming. IEEE Transactions on Software Engineering, 15:2, 165–180 (1989)
Bergstra, J.A., Heering, J., Klint, P. (eds.): Algebraic specification. ACM Press Frontier Series. New York: Addison-Wesley 1989
Bird, R.S.: An introduction to the theory of lists. In: Broy, M. (ed.): Logic of programming and calculi of discrete design. NATO ASI Series, Series F: Computer and System Sciences, vol. 36. Berlin: Springer 1987, pp. 5–42
Bird, R.S., Wadler, P.L.: Introduction to functional programming. Hemel Hempstead: Prentice Hall International 1988
Bjørner, D., Jones, C.B.: Formal specification and software development. Englewood Cliffs, N.J.: Prentice-Hall 1982
Broy, M.: Predicative specifications for functional programs describing communicating networks. Information Processing Letters 25, 93–101 (1987)
Burstall, R.M., Goguen, J.A.: Semantics of CLEAR, a specification language. In: Bjørner, D. (ed.): Abstract software specifications. Lecture Notes in Computer Science 86, Berlin: Springer 1980, pp. 292–332
Burton, C.T., Cook, S.J., Gikas, S., Rowson, J.R., Sommerville, S.T.: Specifying the Apple MacintoshTM Toolbox Event Manager. Formal Aspects of Computing 1, 147–171 (1989)
Dijkstra, E.W.: A discipline of programming. Englewood Cliffs, N.J.: Prentice-Hall 1976
Dubois, E., Hagelstein, J., Rifaut, A.: Formal requirements engineering with EREA. Philips Journal of Research 43:3/4, 393–414 (1988)
Feather, M.S.: A survey and classification of some program transformation approaches and techniques. In: Meertens, L.G.L.T. (ed.): Proc. IFIP TC2 Working Conference on Program Specification and Transformation, Bad Tölz, Germany, 1986. Amsterdam: North-Holland 1987, pp. 165–196
Feijs, L.M.G.: A formalization of design methods. A λ-calculus approach to system design with an application to text editing. Technical University of Eindhoven, Ph. D. thesis, 1990
Feijs, L.M.G., Jonkers, H.B.M., Obbink, J.H., Koymans, C.P.J., Renardel de Lavalette, G.R., Rodenburg, P.H.: A survey of the design language COLD. ESPRIT '86: Results and achievements. Amsterdam: North-Holland 1987, 631–644
Fey, W.: Introduction to algebraic specification in ACT TWO. TU Berlin, Fachbereich 20, Technical Report 86–13, 1986
Futatsugi, K., Goguen, J.A., Jouannaud, J.P., Meseguer, J.: Principles of OBJ2. Proc. 12th Ann. ACM Symp. on Principles of Programming Languages, New Orleans, Miss., 1985, pp. 52–66
Gaudel, M.C.: Toward structured algebraic specification. ESPRIT '85: Status report of continuing work. Part I. Amsterdam: North-Holland 1986, pp. 493–510
Goldberg, A.T.: Knowledge-based programming: a survey of program design and construction techniques. IEEE Transactions on Software Engineering SE-12:7, 752–768 (1986)
Geser, A., Hußmann, H.: Experiences with the RAP-system — a specification interpreter combining term rewriting and resolution. In: Robinet, B., Wilhelm, R. (eds.): ESOP 86. Lecture Notes in Computer Science 213, Berlin: Springer 1986, pp. 339–350.
Gries, D.: The science of programming. Berlin: Springer 1981
Guttag, J.V., Horning, J.J.: Preliminary Report on the LARCH shared language. Xerox Research, Palo Alto, Technical Report CSL 83-6, 1983
Hehner, E.C.R., Gupta, L.E., Malton, A.J.: Predicative Methodology. Acta Informatica 23, 487–505 (1986)
Henderson, P.: Functional programming: application and implementation. Englewood Cliffs, N.J.: Prentice-Hall 1980
Special Collection on Requirement Analysis. IEEE Transactions on Software Engineering SE-3:1, 2–84 (1977)
IEEE Computer, 18:4 (1985)
Jones, C.B.: Systematic software development using VDM. Englewood Cliffs, N.J.: Prentice-Hall 1986
Möller, B.: Higher-order algebraic specifications. Technische Universität München, Fakultät für Mathematik und Informatik, Habilitation thesis, 1987
Möller, B., Partsch, H.: Formal specification of large-scale software — objectives, design decisions and experiences in a concrete software project. In: Meertens, L.G.L.T. (ed.): Proc. IFIP TC2 Working Conference on Program Specification and Transformation, Bad Tölz, Germany, 1986. Amsterdam: North-Holland 1987, pp. 491–515
Partsch, H.: Specification and transformation of programs. Berlin: Springer 1990
Partsch, H.: Requirements Engineering. München: Oldenbourg 1991
Rzepka, W., Ohno, Y.: Requirements Engineering environments: Software tools for modelling user needs. IEEE Computer, 18:4, 9–12 (1985)
Spivey, J.M.: Understanding Z. A specification language and its formal semantics. Cambridge, U.K.: Cambridge University Press 1988
Webster's New World Dictionary. Second College Edition. Cleveland: William Collings + World Publishing 1974
Wijshoff, F.: Formal specification of existing software — A case study: MsWord for the Macintosh. University of Nijmegen, Diploma thesis, 1992
Wirsing, M.: A Specification Language. Technische Universität München, Fachbereich Mathematik und Informatik, Habilitation thesis, 1983
Wirsing, M.; Algebraic specification. Universität Passau, Fakultät für Mathematik und Informatik, Technical Report MIP-8914, 1989. Also in: Van Leeuven, J. (ed.): Handbook for theoretical Computer Science. Amsterdam: North-Holland 1990
Wirsing, M., Pepper, P., Partsch, H., Dosch, W., Broy, M.: On hierarchies of abstract data types. Technische Universität München, Institut für Informatik, Technical Report TUM-I8007. Also: Acta Informatica 20, 1–33 (1983)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Partsch, H.A. (1993). Formal problem specification on an algebraic basis. In: Möller, B., Partsch, H., Schuman, S. (eds) Formal Program Development. Lecture Notes in Computer Science, vol 755. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57499-9_21
Download citation
DOI: https://doi.org/10.1007/3-540-57499-9_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57499-6
Online ISBN: 978-3-540-48197-3
eBook Packages: Springer Book Archive