Hochschulschrift
Behavioral congruences and verification of graph transformation systems with applications to model refactoring
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Berlin, Techn. Univ., Diss., 2008
- Creator
-
Rangel, Guilherme
- URN
-
urn:nbn:de:kobv:83-opus-20807
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:46 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Rangel, Guilherme
Other Objects (12)
Verification of Well-Structured Graph Transformation Systems
Verification of graph transformation systems with k-inductive invariants
Verification of infinite-state graph transformation systems via abstraction
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Refactoring GrPPI: Generic Refactoring for Generic Parallelism in C++
Generic Quality-Aware Refactoring and Co-Refactoring in Heterogeneous Model Environments
A tale of refactoring
Graph grammar verification through abstraction
Clean Code: Benefits Code Refactoring
Refactoring databases : evolutionary database design
Verification of Well-Structured Graph Transformation Systems
Verification of graph transformation systems with k-inductive invariants
Verification of infinite-state graph transformation systems via abstraction
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Refactoring GrPPI: Generic Refactoring for Generic Parallelism in C++
Generic Quality-Aware Refactoring and Co-Refactoring in Heterogeneous Model Environments
A tale of refactoring
Graph grammar verification through abstraction
Clean Code: Benefits Code Refactoring
Refactoring databases : evolutionary database design
Verification of Well-Structured Graph Transformation Systems
Verification of graph transformation systems with k-inductive invariants
Verification of infinite-state graph transformation systems via abstraction
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Refactoring GrPPI: Generic Refactoring for Generic Parallelism in C++
Generic Quality-Aware Refactoring and Co-Refactoring in Heterogeneous Model Environments
A tale of refactoring
Graph grammar verification through abstraction
Clean Code: Benefits Code Refactoring