Formal Methods in Software and Systems Modeling
From MaRDI portal
Publication:5710414
DOI10.1007/b106390zbMath1075.68623MaRDI QIDQ5710414
Karl-Heinz Pennemann, Annegret Habel
Publication date: 2 December 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106390
90B06: Transportation, logistics and supply chain management
68Q42: Grammars and rewriting systems
68Q99: Theory of computing
Related Items
Conditional Bigraphs, A Logic of Graph Constraints, Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs, A formal approach to the specification and transformation of constraints in MDE, On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems, Specifying graph languages with type graphs, Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations, Attributed Graph Constraints, Resolution-Like Theorem Proving for High-Level Conditions, Development of Correct Graph Transformation Systems