GXL

swMATH16479MaRDI QIDQ28348FDOQ28348

Author name not available (Why is that?)

Described by source

• GXL: a graph-based standard exchange format for reengineering

Cited In (9)

• The Edge of Graph Transformation — Graphs for Behavioural Specification
• CScout: a refactoring browser for C
• Title not available (Why is that?)
• Title not available (Why is that?)
• Framework and authoring tool for an extension of the UIML language
• Satisfiability modulo theory (SMT) formulation for optimal scheduling of task graphs with communication delay
• A flexible and easy-to-use library for the rapid development of graph tools in Java
• Formal verification of object-oriented graph grammars specifications
• Concept management: identification and storage of concepts in the focus of formal Z specifications

This page was built for software: GXL