GXL

swMATH16479MaRDI QIDQ28348FDOQ28348

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?id=1143375

Described by source

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

Cited In (34)

• The Edge of Graph Transformation — Graphs for Behavioural Specification
• CScout: a refactoring browser for C
• Title not available (Why is that?)
• CatLib
• DPOdactic
• GraJ
• Podmineny
• SiTra
• VxToolbox
• VisiGraphJS
• 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
• GrGen
• Fujaba
• Graph transformation benchmarks
• AGG
• KAAPI
• VPM
• GUPRO
• Columbus
• CheckVML
• GROOVE
• GraphML
• CScout
• FAMIX
• SWILL
• Proteus
• DrAGoM
• ENFORCe
• Formal verification of object-oriented graph grammars specifications
• Concept management: identification and storage of concepts in the focus of formal Z specifications
• Grez

This page was built for software: GXL