scientific article; zbMATH DE number 1231497

zbMATH Open0910.68139MaRDI QIDQ4222807FDOQ4222807

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (19)

• The Edge of Graph Transformation — Graphs for Behavioural Specification
• Towards ``mouldable code via nested code graph transformation
• Title not available (Why is that?)
• A graph transformation view on the specification of applications using mobile code
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Graph Transformations
• Using programmed graph rewriting for the formal specification of a configuration management system
• A framework for operational specification languages. Language-realisation and execution using graph transformations
• Graph Transformation with Dependencies for the Specification of Interactive Systems
• Formal Methods in Software and Systems Modeling
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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 Transformation Systems).
• Title not available (Why is that?)
• A living monograph for graph transformation
• Formal software specification with refinements and modules of typed graph transformation systems

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)