Roswitha Bardohl, Leila Ribeiro Korff  Home/Search
Context Related
| tfs.cs.tuberlin.de/...BR98_WMF98.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: tfs.cs.tuberlin.d...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper discusses the use of a generic graphical editor (GenGED) to construct an editor for a kind of graph grammars that can be used to specify reactive systems. The main aim is to provide (the ideas of) a formal specification of graph grammars that can be used as input for the generation of this editor. 1 Introduction Together with the increasing use of networks of computers, the use of reactive systems became more and more common in practice. Such systems are usually characterized by ... (Update)
Context of citations to this paper: More
...editor for this language. This tool can be used to provide graphical editors for many speci cation methods, for example, graph grammars [BK98]. Moreover the PROSOFT software engineering environment was also further developed to include cooperation issues, like concurrency...
Cited by: More
GRAPHIT - Graphical Support and Integration of Formal.. - Ehrig, Bardohl.. (1999) (Correct)
Similar documents (at the sentence level):
11.6%: A Generic Graphical Editor for Visual Languages based on.. - Bardohl (Correct)
Active bibliography (related documents): More All
0.2: Loose Semantics and Constraints for Graph.. - Heckel, Ehrig, Wolter, .. (1997) (Correct)
0.2: Double-Pullback Transitions and Coalgebraic Loose.. - Heckel, Ehrig.. (1997) (Correct)
0.2: G R A P H I T Graphical Support and Integration of Formal .. - October Objectives The (Correct)
Similar documents based on text: More All
0.5: Towards a Compositional Approach to Define Graphical.. - Bardohl, Ribeiro (Correct)
0.4: G R A P H I T II Graphical Support and Integration of.. - Germany Technische.. (Correct)
0.3: Visual Language Parsing in GenGEd - Bardohl, Schultzke, Taentzer (2001) (Correct)
BibTeX entry: (Update)
R. Bardohl and L. Ribeiro Kor . Specifying a Graph Grammar Editor for Reactive Systems. In Proceedings I. Workshop Brasileiro de Metodos Formais, pages 90-93, October, 19.-21. 1998. http://citeseer.ist.psu.edu/bardohl98specifying.html More
@misc{ bardohl98specifying,
author = "R. Bardohl and L. Kor",
title = "Specifying a Graph Grammar Editor for Reactive Systems",
text = "R. Bardohl and L. Ribeiro Kor . Specifying a Graph Grammar Editor for Reactive
Systems. In Proceedings I. Workshop Brasileiro de Metodos Formais, pages
90-93, October, 19.-21. 1998.",
year = "1998",
url = "citeseer.ist.psu.edu/bardohl98specifying.html" }
Citations (may not include all citations):116 Introduction to the algebraic theory of graph grammars (context) - Ehrig - 1979
18 GenGEd - A generic graphical editor for visual languages bas.. (context) - Bardohl - 1998
10 Defining visual languages by algebraic specification techniq.. - Bardohl, Taentzer - 1997
10 The handbook of graph grammars (context) - Rozenberg - 1997
4 A telephone system's specification using graph grammars (context) - Ribeiro - 1996
1 Graph grammars for the specification of concurrent systems (context) - Korff, Ribeiro - 1997
Documents on the same site (http://tfs.cs.tu-berlin.de/~rosi/papers/publications.html): More
A Modular Approach to Animation of Simulation Models - Bardohl, Ermel, Ribeiro (Correct)
A Development Environment for Visual Languages - Bardohl, Niemann, Schwarze (2000) (Correct)
Application of Graph Transformation to Visual Languages - Bardohl, Taentzer, Minas.. (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC