Publication:2728879
From MaRDI portal
zbMath0971.68642MaRDI QIDQ2728879
Publication date: 1 November 2001
graph rewriting; visual programming languages; specification; graph transformations; process modeling; rapid prototyping; graph manipulation software; PROGRES
68R10: Graph theory (including graph drawing) in computer science
68N15: Theory of programming languages
68U99: Computing methodologies and applications
68Q42: Grammars and rewriting systems
Related Items
Structured Modeling with GRACE, Parameterized Transformation Units, An Abstract Module Concept for Graph Transformation Systems, A Graph Transformation View on the Specification of Applications using Mobile Code* *Research partially supported by project ForMOS (Métodos Formais para Código Móvelem Sistemas Abertos) - grant CNPq 520269/98-5, by the Research Training Network GET-GRATS (General Theory of Graph Transformation Systems), and by the MURST project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA)., Formal software specification with refinements and modules of typed graph transformation systems, Graph Transformation Units – An Overview
Uses Software