scientific article; zbMATH DE number 1231497

MaRDI QIDQ4222807zbMATHFDO

Authors Hans-Jörg Kreowski

Publication date 13 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume2.htm#kreowski

zbMATH Keywords

specificationprogramminggraph transformation

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Graph transformation for specification and programming
• scientific article; zbMATH DE number 2016090
• Tutorial Introduction to Graph Transformation
• GRACE as a unifying approach to graph-transformation-based specification1 1This work was partially supported by the ESPRIT Working Group Applications of Graph Transformation (APPLIGRAPH) and the EC TMR Network GETGRATS (General Theory of Graph Transformat
• scientific article; zbMATH DE number 1231487

Cited in

(19)

• A framework for operational specification languages. Language-realisation and execution using graph transformations
• Graph Transformations
• Graph Transformation with Dependencies for the Specification of Interactive Systems
• Tutorial Introduction to Graph Transformation
• scientific article; zbMATH DE number 2016090 (Why is no real title available?)
• scientific article; zbMATH DE number 2013194 (Why is no real title available?)
• scientific article; zbMATH DE number 1701353 (Why is no real title available?)
• Towards ``mouldable code via nested code graph transformation
• GRACE as a unifying approach to graph-transformation-based specification1 1This work was partially supported by the ESPRIT Working Group Applications of Graph Transformation (APPLIGRAPH) and the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems).
• scientific article; zbMATH DE number 1218793 (Why is no real title available?)
• Formal software specification with refinements and modules of typed graph transformation systems
• scientific article; zbMATH DE number 2087493 (Why is no real title available?)
• A living monograph for graph transformation
• The Edge of Graph Transformation — Graphs for Behavioural Specification
• A graph transformation view on the specification of applications using mobile code
• Formal Methods in Software and Systems Modeling
• scientific article; zbMATH DE number 1902048 (Why is no real title available?)
• scientific article; zbMATH DE number 2016065 (Why is no real title available?)
• Using programmed graph rewriting for the formal specification of a configuration management system

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 Q4222807)