scientific article; zbMATH DE number 1231489
From MaRDI portal
Publication:4222796
zbMath0910.68154MaRDI QIDQ4222796
Publication date: 13 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume2.htm#heckel
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (18)
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation ⋮ On the Specification and Verification of Model Transformations ⋮ Attributed graph transformation with node type inheritance ⋮ Specifying graph languages with type graphs ⋮ Unnamed Item ⋮ High-Level Programs and Program Conditions ⋮ Attributed Graph Constraints ⋮ Resolution-Like Theorem Proving for High-Level Conditions ⋮ Pattern-Based Model-to-Model Transformation ⋮ Development of Correct Graph Transformation Systems ⋮ A navigational logic for reasoning about graph properties ⋮ Graph Transformations for the Specification of Access Control Policies ⋮ Visual Modeling of Distributed Object Systems by Graph Transformation ⋮ Graph-based specification of access control policies ⋮ Reasoning with graph constraints ⋮ A Logic of Graph Constraints ⋮ Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality ⋮ A Formal Model for Role-Based Access Control Using Graph Transformation
This page was built for publication: