Monografie
Automatic verification of behavior preservation at the transformation level for relational model transformation
- Sprache
-
Englisch
- Identifier
-
1218866810
- Reihe
-
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam; 112
Thema
Modellgetriebene Entwicklung ; Modelltransformation ; Korrektheit ; Verifikation
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:52 MEZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (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
MDE settings in SAP : a descriptive field study
Toward bridging the gap between formal semantics and implementation of triple graph grammars
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
MDE settings in SAP : a descriptive field study
Toward bridging the gap between formal semantics and implementation of triple graph grammars
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
MDE settings in SAP : a descriptive field study
Toward bridging the gap between formal semantics and implementation of triple graph grammars
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