Abstract
The project ToolUse aims at providing means for active assistance in the design, implementation and evolution of software. This is achieved and supported by a formal development language called Deva. As Deva uses two-dimensional notations to get better structured and surveyable representations of developments, and as different Deva implementations have been used within the project, both internal and external integration play crucial rôles in the project ToolUse. The paper gives and overview of the ToolUse project, and discusses both kinds of integration.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Anlauff, M. and Weber, M., “Implementing a language for program development description”, submitted to ICSE 1990.
Gabriel, R., “The automatic generation of graphical user interfaces”, Proceedings of COMPEURO 88, Brussels, 1988.
Gabriel, R., “A formalism for the definition of graphical formulas”, Proceedings of SIGSMALL 88, Cannes, 1988.
Gabriel, R., (Ed.), “The deva support environment”, GMD Working Paper 316 (ToolUse Report).
Gabriel, R., “Structured definition of graphical layouts”, GI-Jahrestagung, Informatik-Fachberichte 222, October 1989.
Jähnichen, S., (Ed.), “The Deva book”, to appear.
Jones, C., “Systematic program development using VDM”, Prentice Hall, Series in Computer Science, 1986.
Lafontaine, C., “Formalization of the VDM reification into Deva.1”, Université Catholique de Louvain, 1989.
Nederpelt, R.P., “An approach to theorem proving on the basis of a typed lambda-calculus”, Lecture Notes in Computer Science, Vol. 87, Springer-Verlag, Berlin, 1980.
Nguyen, T., “Derivation of imperative programs”, in [Jahn90].
“PCTE — A basis for a portable common tool environment”, Functional Specification, Version 1.5, Commission of the European Communities, Brussels, November 1988.
Raynaud, B., “Formalization of Hood”, CISI.BR.IS.89, 1989.
Sintzoff, M., “Expressing program developments in a design calculus”, Université Catholique de Louvain, 1986.
Sintzoff, M., Weber, M., De Groote, Ph. and Cazin, J., “Definition 1.0 of the approximation DEVA of a development language”, ToolUse research Report RR 88-41, Ext.ref.: ToolUse.TD.deva10.DD88c, 1988.
Smith, D.R., “Top-down-synthesis of divide and conquer algorithms”, Artificial Intelligence 27, 1985.
Thomas, I., “The PCTE initiative and the PACT project”, ACM Software Engineering notes 13. 1988.
Vivares, F., “Some notions to express JSD into Deva”, CERT.M.FV88b, 1988.
Weber, M., “Functional Programming”, in [Jahn90].
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gabriel, R., Jähnichen, S. (1990). The Tooluse approach to integration. In: Long, F. (eds) Software Engineering Environments. Lecture Notes in Computer Science, vol 467. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53452-0_40
Download citation
DOI: https://doi.org/10.1007/3-540-53452-0_40
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53452-5
Online ISBN: 978-3-540-46886-8
eBook Packages: Springer Book Archive