Abstract
We introduce a method to specify the functional behaviour of software tools in an incremental and integrated software development environment. This specification method is based on graph grammars. It is an adequate method to specify the behaviour of all software systems using graphs as internal data structures. We show that a specification can be developed systematically by which the adaptability of the environment is increased towards modification of tools or extension by new tools. Furthermore, guidelines for the implementation can directly be derived from this specification.
Chapter PDF
Similar content being viewed by others
Key Words
References
Brandes, Th./Lewerentz, C.: GRAS: A Non-standard Data Base System within a Software Development Environment, Tech. Rep. OSM — 118, Univ. of Osnabrueck
Bunke, H.: Attributed Programmed Graph Grammars as a Tool for Image Interpretation, Purdue University, Techn. Report TR-EE-81-22
Donzeau-Gouge, M. et.al.: Programming Environments Based on Structured Editors — The MENTOR Experience, Techn. Report 26, INRIA, France
Engels, G./Gall, R./Nagl, M./Schäfer, W.: Software Specification using Graph Grammars, Computing 31, 317–346
Engels, G./ Schäfer, W.: The Design of an Adaptive and Portable Programming Support Environment, submitted for publication
Habermann, N. et.al.: The Second Compendium of GANDALF Documentation, Techn. Report, May 1982, Dept. of Computer Science, Carnegie-Mellon University, Pittsburgh
Lewerentz, C./ Nagl, M.: A Formal Specification Language for Software Systems Defined by Graph Grammars, in U. Pape (Ed.): Proceedings WG'84 on ‘Graphtheoretic Concepts in Computer Science', Linz: Trauner Verlag
Lewerentz, C./Nagl, M.: Incremental Programming in the Large: Syntax-aided Specification Editing, Integration and Maintenance, to appear Proc. 18th Hawaii International Conference on System Sciences
Nagl, M.: Graph-Grammatiken — Theorie, Anwendungen, Implementierung, Wiesbaden: Vieweg-Verlag
Nagl, M.: An Incremental Programming Support Environment, to appear in Computer Physics Communications, North-Holland
Reiss, St.: PECAN: Program Development Systems That Support Multiple Views, in Proc. of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Pittsburgh
Reps, T./ Teitelbaum, T.: Incremental Context-Dependent Analysis for Language-Based Editors, ACM TOPLAS, Vol. 5, No. 3, 449–477
Schnupp, P./ Floyd, Ch.: Software — Programmentwicklung und Projektorganisation, Berlin: Walter de Gruyter
Teitelbaum, T./Reps, T.: The Cornell Programm Synthesizer — A syntax-directed Programming Environment, CACM 24, 9, 563–573
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Engels, G., Schäfer, W. (1985). Graph grammar engineering: A method used for the development of an integrated programming support environment. 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_12
Download citation
DOI: https://doi.org/10.1007/3-540-15199-0_12
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