Skip to main content
main-content

Zeitschrift

International Journal on Software Tools for Technology Transfer

International Journal on Software Tools for Technology Transfer 3/2021

Ausgabe 3/2021

FASE 2019

Inhaltsverzeichnis ( 8 Artikel )

07.09.2020 | General | Ausgabe 3/2021 Open Access

Automated model analysis tools and techniques presented at FASE 2019

Reiner Hähnle, Wil van der Aalst

05.09.2020 | General | Ausgabe 3/2021 Open Access

Incremental execution of rule-based model transformation

Using dependency injection and standardized model changes
Artur Boronat

25.04.2021 | General | Ausgabe 3/2021 Open Access

Cooperative verifier-based testing with CoVeriTest

Dirk Beyer, Marie-Christine Jakobs

08.09.2020 | General | Ausgabe 3/2021 Open Access

Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars

Lars Fritsche, Jens Kosiol, Andy Schürr, Gabriele Taentzer

07.07.2021 | GENERAL | Ausgabe 3/2021 Open Access

A logic-based incremental approach to graph repair featuring delta preservation

Sven Schneider, Leen Lambers, Fernando Orejas

17.07.2021 | General | Ausgabe 3/2021 Open Access

Formal testing of timed graph transformation systems using metric temporal graph logic

Sven Schneider, Maria Maximova, Lucas Sakizloglou, Holger Giese

02.09.2020 | General | Ausgabe 3/2021

PolyGraph: a data flow model with frequency arithmetic

Paul Dubrulle, Nikolai Kosmatov, Christophe Gaston, Arnault Lapitre

22.12.2020 | Correction | Ausgabe 3/2021

Correction to: PolyGraph: a data flow model with frequency arithmetic

Paul Dubrulle, Nikolai Kosmatov, Christophe Gaston, Arnault Lapitre

Aktuelle Ausgaben

Premium Partner