Development of Correct Graph Transformation Systems
From MaRDI portal
Publication:3540429
DOI10.1007/978-3-540-87405-8_48zbMath1175.68230MaRDI QIDQ3540429
Publication date: 20 November 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: http://oops.uni-oldenburg.de/884/1/pendev09.pdf
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q42: Grammars and rewriting systems
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Initial Conflicts for Transformation Rules with Nested Application Conditions, Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations, The Edge of Graph Transformation — Graphs for Behavioural Specification
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Graph-based specification of access control policies
- Satisfiability of High-Level Conditions
- Weakest Preconditions for High-Level Programs
- Correctness of high-level transformation systems relative to nested conditions
- Graph Transformations
- An Algorithm for Approximating the Satisfiability Problem of High-level Conditions
- Formal Methods in Software and Systems Modeling