Monografie
Automatic verification of behavior preservation at the transformation level for relational model transformation
- Language
-
Englisch
- Identifier
-
1218866810
- Series
-
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam; 112
Subject
Modellgetriebene Entwicklung ; Modelltransformation ; Korrektheit ; Verifikation
Contributor
- URN
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
26.01.2023, 1:52 PM CET
Object type
- Monografie
Other Objects (12)
Automatic verification of behavior preservation at the transformation level for relational model transformation
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks
On the operationalization of graph queries with generalized discrimination networks
Modeling and verifying dynamic evolving service-oriented architectures
Modeling collaborations in self-adaptive systems of systems : terms, characteristics, requirements, and scenarios
Toward bridging the gap between formal semantics and implementation of triple graph grammars
MDE settings in SAP : a descriptive field study
k-Inductive invariant checking for graph transformation systems
Model-driven engineering of adaptation engines for self-adaptive software : executable runtime megamodels
Scalable compatibility for embedded real-time components via language progressive timed automata
Probabilistic timed graph transformation systems
Inductive invariant checking with partial negative application conditions
Automatic verification of behavior preservation at the transformation level for relational model transformation
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks
On the operationalization of graph queries with generalized discrimination networks
Modeling and verifying dynamic evolving service-oriented architectures
Modeling collaborations in self-adaptive systems of systems : terms, characteristics, requirements, and scenarios
Toward bridging the gap between formal semantics and implementation of triple graph grammars
MDE settings in SAP : a descriptive field study
k-Inductive invariant checking for graph transformation systems
Model-driven engineering of adaptation engines for self-adaptive software : executable runtime megamodels
Scalable compatibility for embedded real-time components via language progressive timed automata
Probabilistic timed graph transformation systems
Inductive invariant checking with partial negative application conditions
Automatic verification of behavior preservation at the transformation level for relational model transformation
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks
On the operationalization of graph queries with generalized discrimination networks
Modeling and verifying dynamic evolving service-oriented architectures
Modeling collaborations in self-adaptive systems of systems : terms, characteristics, requirements, and scenarios
Toward bridging the gap between formal semantics and implementation of triple graph grammars
MDE settings in SAP : a descriptive field study
k-Inductive invariant checking for graph transformation systems
Model-driven engineering of adaptation engines for self-adaptive software : executable runtime megamodels
Scalable compatibility for embedded real-time components via language progressive timed automata
Probabilistic timed graph transformation systems