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) Graph theory (including graph drawing) in computer science (68R10) Computing methodologies and applications (68U99)

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)

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

Describes a project that uses

Uses Software

• GXL
• GraphXML
• PROGRES
• GraphML

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)