Abstract
The following paper demonstrates that programmed sequential graph grammars can be used in a systematic proceeding to specify the changes of high level intermediate data structures arising in a programming support environment, in which all tools work in an incremental and syntax-driven mode. In this paper we lay stress upon the way to get the specification rather than on the result of this process. Therefore, we give here some approach to specification engineering using graph grammars. This approach is influenced by the syntactical definition of the underlying programming language or module concept etc. to be supported but also by the idea of the user interface.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Burkhart, H./ Nievergelt, J.: Structure-oriented editors, Informatik-Fachberichte 30, pp. 164–184, Berlin: Springer-Verlag
Buxton, J.N.: Requirements for the ADA Programming Support Environment (“Stoneman”), United States Department of Defense
Claus, V./ Ehrig, H./ Rozenberg, G. (Eds.): Proceedings of the International Workshop on “ Graph Grammars and their Application to Computer Science and Biology”, Lecture Notes in Computer Science 73, Berlin: Springer-Verlag
Donzeau-Gouge, M. et.al.: Programming Environments Based on Structured Editors-The MENTOR Experience, Techn. Report 26, INRIA, France
Engels, G./ Schäfer, W.: Specification of a Programming Support Environment by Graph Grammars, to appear in the Proceedings of the WG '82 on “Graphtheoretic Concepts in Computer Science”, Munich: Hanser Verlag
Gall, R.: Structured Development of Modular Software Systems: The Module Graph as Central Data Structure, in Proceedings of the WG '81 on “Graphtheoretic Concepts in Computer Science”, Munich: Hanser-Verlag
Gall, R.: Dissertation, to appear
Habermann, N. et.al.: A Compendium of GANDALF Documentation, Techn. Report, May 1982, Department of Computer Science Carnegie-Mellon University, Pittsburgh
Jensen, K./ Wirth, N.: PASCAL User Manual and Report, sec. ed., New York: Springer-Verlag
Medina-Mora, R.: Syntax-directed editing — Towards Integrated Programming Environments, Techn. Report CMU-CS-82-113, Department of Computer Science, Carnegie-Mellon University, Pittsburgh
Nagl, M.: Graph-Grammatiken — Theorie, Anwendungen, Implementierung, Wiesbaden: Vieweg-Verlag
Nagl, M.: An Incremental Compiler as Component of a System for Software Development, Informatik-Fachberichte 25, pp.29–44, Berlin: Springer-Verlag
Nagl, M.: Einführung in die Programmiersprache ADA, Wiesbaden: Vieweg-Verlag
Schneider, H.J.: Syntax-oriented Description of Incremental Compilers, Lecture Notes in Computer Science 26, pp.192–201, Berlin: Springer-Verlag
Teitelbaum, T./Reps, T.: The Cornell Program Synthesizer — A syntax-directed Programming Environment, Communications of the ACM, Vol. 24, No. 9, pp. 563–573
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nagl, M., Engels, G., Gall, R., Schäfer, W. (1983). Software specification by graph grammars. In: Ehrig, H., Nagl, M., Rozenberg, G. (eds) Graph-Grammars and Their Application to Computer Science. Graph Grammars 1982. Lecture Notes in Computer Science, vol 153. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0000113
Download citation
DOI: https://doi.org/10.1007/BFb0000113
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12310-1
Online ISBN: 978-3-540-39897-4
eBook Packages: Springer Book Archive