PROGRES

swMATH2905MaRDI QIDQ15443

No author found.

Related Items (50)

Models and tools for managing development processes. ⋮ Graph-based tools for re-engineering ⋮ Concurrency and loose semantics of open graph transformation systems ⋮ Graph Transformations ⋮ Unnamed Item ⋮ Relating functional requirements and software architecture: separation and consistency of concerns ⋮ Efficient graph rewriting and its implementation ⋮ Preserving consistency in geometric modeling with graph transformations ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Amalgamation of domain specific languages with behaviour ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Attributed graph transformation with node type inheritance ⋮ Rewriting Strategies and Strategic Rewrite Programs ⋮ Unnamed Item ⋮ A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation ⋮ Temporal Graph Queries to Support Software Evolution ⋮ GrGen: A Fast SPO-Based Graph Rewriting Tool ⋮ The model transformation language of the VIATRA2 framework ⋮ Towards Verifying Model Transformations ⋮ The York Abstract Machine ⋮ Programmed graph transformations and graph transformation units in GRACE ⋮ A Strategy Language for Graph Rewriting ⋮ Parameterized Transformation Units ⋮ An Abstract Module Concept for Graph Transformation Systems ⋮ Unnamed Item ⋮ A visual environment for visual languages ⋮ Designing the automatic transformation of visual languages ⋮ GXL: a graph-based standard exchange format for reengineering ⋮ Adaptive star grammars and their languages ⋮ Graph Transformation by Computational Category Theory ⋮ Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation ⋮ Lessons Learned from Building a Graph Transformation System ⋮ A calculus of concurrent graph-rewriting processes ⋮ Graph transformation for specification and programming ⋮ Journal on Data Semantics IV ⋮ Labelled port graph -- a formal structure for models and computations ⋮ Modeling Pointer Redirection as Cyclic Term-graph Rewriting ⋮ Graph transformations in computer science. International Workshop, Dagstuhl Castle, Germany, January 4--8, 1993. Proceedings ⋮ Formal software specification with refinements and modules of typed graph transformation systems ⋮ Hierarchical graph transformation

This page was built for software: PROGRES