Journal Article10.1007/BF02251236
Software specification using graph grammars
24
TL;DR: It is demonstrated 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.
read more
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 language for Programming in the Small, the module concept etc. to be supported on one side but also by the idea of the user interface.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Graph Transformation in a Nutshell.
Reiko Heckel
- 01 Jan 2004
TL;DR: A non-technical introduction to the basic concepts of typed graph transformation systems, completed by a survey of more advanced concepts, and explain some of its history and motivations is given in this paper.
160
On Integration Mechanisms within a Graph-based Software Development Environment
Claus Lewerentz,Manfred Nagl,Bernhard Westfechtel +2 more
- 01 Jul 1987
TL;DR: An integrated software development environment (abbr. SDE) is a comprehensive set of tools which support the activities for developing and maintaining any kind of software document in a software life cycle.
37
A Specification Environment for Graph Grammars
Manfred Nagl,Andy Schürr +1 more
- 05 Mar 1990
TL;DR: Graph Grammars as an operational specification method have been successfully used for this purpose for many years for the purpose of formally specifying the structure and the operations of these internal data structures in modelling environments.
36
A Software Development Environment based on Graph Technology
Manfred Nagl
- 02 Dec 1986
TL;DR: This graph technology consists of a careful design of internal representations for software documents as graphs, of a specification of the operations on these graphs induced by activations of environment tools, and of the application of certain integration mechanisms on graphs.
28
Incremental dynamic semantics for language-based programming environments
TL;DR: Action equations are presented, an extension of attribute grammars suitable for specifying the static and the dynamic semantics of programming languages that can be used to generate language-based programming environments that incrementally derive static and dynamic properties as the user modifies and debugs the program.
References
•Book
Pascal user manual and report
Kathleen Jensen,Niklaus Wirth,P. Brinch Hansen,D. Gries,C. Moler,G. Seegmüller,N. Wirth,G. Goos,J. Hartmanis +8 more
- 01 Jan 1975
TL;DR: This manual is directed to those who have previously acquired some programming skill and is based on The Programming Language Pascal (Revised Report)--the basic definition of Pascal and concise reference manual for the experienced Pascal programmer.
731
Graph-Grammars and Their Application to Computer Science and Biology
Volker Claus,Hartmut Ehrig,Grzegorz Rozenberg +2 more
- 01 Jan 1979
TL;DR: This chapter discusses Criminal Network Dynamics, which focuses on the design of the Criminal Network, and the challenges faced in designing and implementing such a network.
248
Programming Environments Based on Structured Editors: The MENTOR Experience,
Véronique Donzeau-Gouge,Gérard Huet,Gilles Kahn,Bernard Lang +3 more
- 01 Jul 1980
TL;DR: This note discusses the MENTOR program manipulation system, from the following points of view: the main design decisions made in MENTor; the authors' experience with building and using a PASCAL programming environment based on MENTSOR; and the authors's vision of a complete programming environment.
213
Syntax-directed editing: towards integrated programming environments
Raul I. Medina-Mora
- 01 Jan 1982
TL;DR: This work states that programming languages lack support for the dynamic aspects of the development and maintenance of large software systems: system developers must deal with different versions and compositions of the different pieces of a system, as well as with the interaction of several programmers in the development of a systems.
76
Related Papers (5)
Fernando Luís Dotti,Leila Ribeiro +1 more
- 01 Sep 2000
R. Freund,B. Haberstroh,C. Stary +2 more
- 28 May 1992