Abstract
Recent research in the field of programming environments has resulted in integrated systems which demonstrate their use in the development of small programs. It is argued here that such systems are not suitable for non-trivial software development, as they support programming-in-the-small only. This paper introduces a new concept of a typed fragment called fragtype, which makes the notion of a software building block concrete. With the help of the underlying fragtype driven structured editor, and a fragment library, such building blocks can be used to construct a well-formed large software edifice.
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.
Download to read the full chapter text
Chapter PDF
5. References
Alford, M.W.: SDS: Experience with the Software Development System. In Software Engineering Environments, (ed) Hünke, H., North Holland Pub. Co., Amsterdam, 1981.
Archer, J.E., Conway, Jr and R.: COPE: A Cooperative Programming Environment. Technical Report 81–459, Cornell University, June 1981.
Balzer, R.: Transformational Implementation: An Example. IEEE Trans. Soft. Eng., Vol. SE-7, Jan. 1981, pp. 3–14.
Brotsky, D.C.: Program understanding through cliché recognition. M.S. thesis proposal, MIT, Cambridge, MA., 1981.
Donzeau-Gouge, V., Houet, G., Kahn, G., Lang, B.: Programming Environments Based on Structured Editors: The MENTOR Experience. In Interactive Programming Environments (eds.) Barstow,D.R., et al., McGraw-Hill, 1984.
Delisle, N.M., Menicosy, D.E., Schwartz, M.D.: Viewing a Programming Environment as a Single Tool. Proc. ACM SIGSOFT/SIGPLAN Soft. Eng. Symposium on Practical Software Development Environments, ACM Sigplan Notices, Vol. 19, No. 5, May 1984, pp. 49–56.
Fischer, C.N., et al.: The Poe Language-Based Editor Project Proc. ACM SIGSOFT/SIGPLAN Soft. Eng. Symposium on Practical Software Development Environments, ACM Sigplan Notices, Vol. 19, No. 5, May 1984, pp. 21–29.
Ivie, E.L.: The Programmer's Workbench — A machine for Software Development. Comm. ACM, Vol. 20, No. 10, Oct. 1977, pp. 746–753.
Madhavji, N.H.: Visibility Aspects of Programmed Dynamic Data Structures. Comm. ACM, Vol. 27, No. 8, Aug. 1984, pp. 764–776.
Madhavji, N.H., Vouliouris, D. and Leoutsarakos, N.: The Importance of Context in an Integrated Programming Environment. To appear in the Proc. 18th Annual Hawaii Int. Conf. on System Sciences, Hawaii, Jan. 1985.
Madhavji, N.H., and Wilson, I.R.: Dynamically Structured Data. Software-Practice and Experience, Vol. 11, No. 12, Dec. 1981, pp. 1235–1260.
Medina-Mora, R., Notkin, D.S.: ALOE users' and implementors' guide. Tech. Rep. CMU-CS-81-145, Dept. of Comp. Science, Carnegie-Mellon Univ., Pittsburgh, Pa., Nov. 1981.
Reiss, S.P.: Graphical Program Development with PECAN Program Development Systems. Proc. ACM SIGSOFT/SIGPLAN Soft. Eng. Symposium on Practical Software Development Environments, ACM Sigplan Notices, Vol. 19, No. 5, May 1984, pp. 30–41.
Snowdon, R. A.: CADES and Software System Development. In Software Engineering Environments, (ed) Hünke, H., North Holland Pub. Co., Amsterdam, 1981.
Teitelbaum, T., Reps, T.: The Cornell Program Synthesizer: A syntax directed programming environment. Comm. ACM, Vol. 24, No. 9, Sept. 1981, pp. 563–573.
Waters, R. C.: The Programmer's Apprentice: Knowledge Based Program Editing. IEEE Trans. Soft. Eng., Vol. SE-8, No. 1, Jan. 1982, pp. 1–12.
Wilander, J.: An Interactive Programming System for Pascal. In Interactive Programming Environments, (eds.) Barstow, D.R., et al., McGraw-Hill, 1984.
Wirth, N.: Programming in Modula-2. Springer Verlag, 1982.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Madhavji, N.H., Leoutsarakos, N., Vouliouris, D. (1985). Software construction using typed fragments. In: Ehrig, H., Floyd, C., Nivat, M., Thatcher, J. (eds) Formal Methods and Software Development. TAPSOFT 1985. Lecture Notes in Computer Science, vol 186. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15199-0_11
Download citation
DOI: https://doi.org/10.1007/3-540-15199-0_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15199-9
Online ISBN: 978-3-540-39307-8
eBook Packages: Springer Book Archive