scientific article; zbMATH DE number 1231497
From MaRDI portal
Publication:4222807
zbMATH Open0910.68139MaRDI QIDQ4222807FDOQ4222807
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?)
General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (12)
- The Edge of Graph Transformation — Graphs for Behavioural Specification
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Using programmed graph rewriting for the formal specification of a configuration management system
- Formal Methods in Software and Systems Modeling
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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?)
- Formal software specification with refinements and modules of typed graph transformation systems
Recommendations
- Graph transformation for specification and programming 👍 👎
- 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 Transformat 👍 👎
- Title not available (Why is that?) 👍 👎
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)
