scientific article; zbMATH DE number 2079639

MaRDI QIDQ4471664zbMATH OpenFDO

Authors Andreas Winter, Bernt Kullbach, Volker Riediger

Publication date 30 July 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2269/22690324.htm

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of programming languages (68N15) Computing methodologies and applications (68U99) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• scientific article; zbMATH DE number 2084319
• GXL: a graph-based standard exchange format for reengineering
• scientific article; zbMATH DE number 2080086
• Towards common exchange formats for graphs and graph transformation systems
• scientific article; zbMATH DE number 2084320

Cited in

(10)

• GXL: a graph-based standard exchange format for reengineering
• scientific article; zbMATH DE number 2084319 (Why is no real title available?)
• scientific article; zbMATH DE number 2084320 (Why is no real title available?)
• Framework and authoring tool for an extension of the UIML language
• scientific article; zbMATH DE number 2080118 (Why is no real title available?)
• Satisfiability modulo theory (SMT) formulation for optimal scheduling of task graphs with communication delay
• scientific article; zbMATH DE number 2080086 (Why is no real title available?)
• Towards common exchange formats for graphs and graph transformation systems
• Formal verification of object-oriented graph grammars specifications
• Concept management: identification and storage of concepts in the focus of formal Z specifications

Describes a project that uses

Uses Software

• GXL
• GraphML
• PROGRES
• GraphXML

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4471664)