Abstract
We believe that CENTAUR offers interesting features for a software tool box, in particular its architecture, the VTP, the generalized notion of location and its graphical objects system. But the current form of persistency provided by the VTP is quite insufficient when the communication of data between different software tools is needed. Here a more general mechanism based on the notion of „dynamic“ types would be useful. Modular construction of formalisms and dynamic extendibility of structures are very important during developing phase. The graphical objects system is a first step towards integrating results of work on „building user interfaces“ with systems like CENTAUR. Here much more work is necessary in particular for expressing what we call the „logical control“ of the system.
This research is partially supported under ESPRIT, Project 348.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Bergstra, J.A., Heering, J. and Klint, P., “ASF — an algebraic specification formalism”, Report CS-R8705, Centre for Mathematics and Computer Science, Amsterdam, 1987.
Berry, G., Couronné, P. and Gonthier, G., “Synchronous Programming of reactive systems: an introduction to ESTEREL”, in Proceedings of the First France-Japan Symposium on Artificial Intelligence and Computer Science, Tokyo October 1986, North-Holland.
Chailloux, J., et al., “LeLisp v15.22:Le Manuel de Référence”, ILOG, France, 1989.
Clément, D. and Incerpi, J., “Graphical Objects: Geometry, Graphics and Behaviour”, 3rd Annual Report, Esprit Project 348, 1987.
Clément, D. and Incerpi, J., “Specifying the Behaviour of Graphical Objects Using Esterel”, Proceedings of TAPSOFT'89 Colloquium on Current Issues in Programming Languages, Barcelona, March 1989. (Also appears as INRIA Rapport de Rercherche No. 836, April 1988).
Despeyroux, T., “Executable Specification Specification of Static Semantics”, in Semantics of Data Types, Lecture Notes in Computer Science, Vol. 173, Springer-Verlag, June 1984.
Devin, M., et al., “Aida: environment de développement d'applications”, ILOG, France, 1987.
Donzeau-Gouge, V., Kahn, G., Huet, G., Lang, B. and Lévy, J-J., “Programming environments based on Structured Editors: the MENTOR experience”, in Interactive Programming Environments, Barstow, D.R., Shrobe, H.E. and Sandewall, E., (Eds.), McGraw-Hill, 1984.
Donzeau-Gouge, V., Kahn, G., Lang, B., Mélèse, B. and Morcos, E., “Outline of a tool for document manipulation”, Proceedings of IFIP Congress 1983, Paris, North-Holland.
Gettys, J., Newman, R. and Scheifler, R.S., “Xlib — C Language X Interface, Protocol Version 11”, MIT project Athena, February 1987.
Heering, J., Hendriks, P.R.H., Klint, P. and Rekers, J., “SDF Reference Manual”, Centre for Mathematics and Computer Science, Amsterdam, 1987.
Heering, J., Klint, P. and Rekers, J., “Incremental generation of parsers”, Centre for mathematics and Computer Science, Amsterdam, 1987.
Ing, B., “Masai Version 1.0 The User and Reference Manuals”, ILOG, France, 1989.
Johnson, S.C., “Yacc: Yet Another Compiler Compiler”, Unix Programmer's Manual, 7th Edition, Bell Telephone Laboratories, January 1979.
Kahn, G., “Natural Semantics”, Proceedings of STACS 1987, Lecture Notes in Computer Science, Vol. 247, Springer-Verlag, March 1987.
Kahn, G., et al., “The Centaur 0.9 Documentation”, June 1989.
Kahn, G., Lang, B. and Mélèse, B., “METAL: a formalism to specify formalisms”, Science of Computer programming, Vol. 3, pp. 151–188, North-Holland, 1983.
Lang, B., “The Virtual Tree Processor” in Generation of Interactive Programming Environments, Intermediate report, Heering, J., Sidi, J. and Verhoog, A., (Eds), CWI Report CS-R8620, Amsterdam, May 1986.
Morcos-Chounet, E. and Conchon, A., “PPML, A general formalism to specify pretty-printing”, Proceedings of IFIP Congress 1986, Dublin, North-Holland.
Naish, L., “The MU-Prolog 3.2 Reference Manual”, Technical Report 85/11, Department of Computer Science, University of Melbourne, October 1985.
Pato, J.N., Reiss, S.P. and Brown, M.H., “The Brown Workstation Environment”, Brown University CS-84-03, October 1983.
Reps, T., “Generating Language Based Environments”, Ph.D. Thesis, Tech-Report 82-514, Cornell University, Ithaca NY, August 1982.
Sun View Programmer's Guide, Sun Microsystems Inc., Mountain View, California, February 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Clément, D., Incerpi, J., Kahn, G. (1990). CENTAUR: Towards a “software tool box” for programming environments. 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_51
Download citation
DOI: https://doi.org/10.1007/3-540-53452-0_51
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