scientific article
From MaRDI portal
Publication:2728879
zbMath0971.68642MaRDI QIDQ2728879
Publication date: 1 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
graph rewritingvisual programming languagesspecificationgraph transformationsprocess modelingrapid prototypinggraph manipulation softwarePROGRES
Graph theory (including graph drawing) in computer science (68R10) Theory of programming languages (68N15) Computing methodologies and applications (68U99) Grammars and rewriting systems (68Q42)
Related Items (6)
Graph Transformation Units – An Overview ⋮ 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). ⋮ Structured Modeling with GRACE ⋮ Parameterized Transformation Units ⋮ An Abstract Module Concept for Graph Transformation Systems ⋮ Formal software specification with refinements and modules of typed graph transformation systems
Uses Software
This page was built for publication: