Abstract
The next section will briefly introduce the Set Theoretic Language SETL as a language for specifying programs and it will characterise SETL. Here we will indicate how Cheatham’s approach [2] for re-using software may be realised using SETL. Section three will be devoted to the transformation approach which seems to be central as far as problems of re-usability within prototyping systems are concerned. Here we will first discuss dialect transformations in SETL and discuss a transformational system which translates SETL-code into Ada thus allowing re-usability of SETL-code in the production oriented environment. The fourth section will discuss re-usability in context of the so-called Hildesheim Libraries and the final section will discuss further development where we will outline a bit the development of tools furthering the use of SETL as a programming language, and we will briefly sketch an approach in which we make use of some of SETL’s concepts for the pure description of software components.
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
Budde R, Kuhlenkamp K, Mathiassen L, Züllighoven H. (Hrsg.): Approaches to Prototyping. Springer-Verlag, Berlin, 1984
Cheatham TE.Jr. Reusability Through Program Transformations. IEEE Transactions Software Engineering 1984 10; 5: 589–594
CIP Language Group: The Munich Project CIP, vol 1, The Wide Spectrum Language CIP-L. Springer-Verlag, Berlin Heidelberg New York Tokio, 1985 (Lecture Notes in Computer Science no 183)
Dearnley PA, Mayhew PJ. In Favour of System Prototypes and Their Integration into the System Development Cycle. The Computer Journal 1983 26; 1: 36
Doberkat EE, Dubinsky E, Schwartz JT. Reusability of Design for Complex Programs: an Experiment with the SETL Optimizer. In: Proc. IT & T Workshop on Reusability of Software, Providence, RI, 1983. pp 106–108
Doberkat EE, Gutenbeil U. SETL to Ada — Tree Transformations Applied. Information and Software Technology 1987 29;:548–557
Doberkat EE. Tangramc — A Program Description Language for Ada. Proceedings Seventh Annual National Conference on Ada Technology 1989, Atlantic City, 1989. pp 390–403
Doberkat EE, Fox D. Software Prototyping mit SETL. Teuber-Verlag, Stuttgart, 1989
Floyd Ch. A Systematic Look at Prototyping. In Budde R, Kuhlenkamp K, Mathiassen L, Züllighoven H. (Hrsg.): Approaches to Prototyping. Springer-Verlag, Berlin, 1984, 1–18
Hekmatpour S, Ince DC. Rapid Software Prototyping. Oxford Surveys in Information Technology 1986; 3: 37–76 (an expanded version has been published in 1988 under the title Software Prototyping. Formal Methods and VDM by Addison-Wesley)
Paige R, Koenig S. Finite Differencing of Computable Expressions. ACM TOPLAS 1982 4; 3: 402–454
Prieto-Diaz R, Freeman P. Classifying Software for Reusability. IEEE Software 1987 4; 1: 6–16
Rüter E. Eine Bibliothek effizienzorientierter Datenstrukturen in SETL. Masters Thesis, Dept. of Computer Science, University of Hildesheim, 1987
Schwartz JT, Dubinsky E, Dewar R, Schonberg E. Programming With Sets, An Introduction to SETL. Springer-Verlag, New York, 1986
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Doberkat, EE., Gutenbeil, U. (1991). Re-usability and Software Prototyping. In: Dusink, L.M., Hall, P.A.V. (eds) Software Re-use, Utrecht 1989. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3536-4_7
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3536-4_7
Publisher Name: Springer, London
Print ISBN: 978-3-540-19652-5
Online ISBN: 978-1-4471-3536-4
eBook Packages: Springer Book Archive