Výsledky vyhledávání - "Algebraic Graph Transformation"

Formale Grundlagen für informationsbewahrende Modellsynchronisationsprozesse basierend auf Tripelgraphgrammatiken

Autor: Kosiol, Jens

Zwischen verschiedenen Artefakten, die Informationen teilen, wieder Konsistenz herzustellen, nachdem eines von ihnen geändert wurde, ist ein wichtiges Problem, das in verschiedenen Bereichen der Informatik auftaucht. Mit dieser Dissertation legen wi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::44b851b31b24969f61ea78af3a9d31d9

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Dissertation/ Thesis

Qualification des générateurs de code source dans le domaine de l'avionique : le test automatisé des chaines de transformation de modèles

Autor: Richa, Elie

Dans l’industrie de l’avionique, les Générateurs Automatiques de Code (GAC) sont de plus en plus utilisés pour produire des parties du logiciel embarqué. Puisque le code généré fait partie d’un logiciel critique, les standards de sûret�

Externí odkaz: http://www.theses.fr/2015ENST0082/document

Zobrazit plný text záznamu

Translating ATL Model Transformations to Algebraic Graph Transformations

Autor: Elie Richa, Laurent Pautet, Etienne Borde

Publikováno v: Theory and Practice of Model Transformations
8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015
8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015, Jul 2015, L'Aquila, Italy. pp.183-198, ⟨10.1007/978-3-319-21155-8_14⟩
Theory and Practice of Model Transformations ISBN: 9783319211541
ICMT

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-21155-8_14; International audience; Analyzing and reasoning on model transformations has become very relevant for various applications such as ensuring the correct

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::15d546c3296510bd6bf6670ab4fa7a22
https://hal-imt.archives-ouvertes.fr/hal-01229113/document

Zobrazit plný text záznamu

Qualification of source code generators in the avionics domain : automated testing of model transformation chains

Autor: Richa, Elie

Publikováno v: Computational Engineering, Finance, and Science [cs.CE]. Télécom ParisTech, 2015. English. ⟨NNT : 2015ENST0082⟩

In the avionics industry, Automatic Code Generators (ACG) are increasingly used to produce parts of the embedded software. Since the generated code is part of critical software, safety standards require a thorough verification of the ACG called quali

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::71f5f3ec458b145d26e55d67692cfcc2
https://pastel.archives-ouvertes.fr/tel-01331877

Zobrazit plný text záznamu

Gekoppelte Transformationen von Graphstrukturen angewandt zur Modellmigration

Autor: Mantz, Florian

Die modellgetriebene Softwareentwicklung (MSE) ist ein relativ neues Paradigma in der Anwendungsentwicklung, welches zum Ziel hat die gestiegene Komplexität moderner Softwareprodukte zu meistern. Während Softwareanwendungen früher für eine bestim

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3ac7ef3117b747e88e8fddd3e00c92cf

Zobrazit plný text záznamu

Algebraic transformation of unary partial algebras II: Single-pushout approach

Autor: Miquel Monserrat, Gabriel Valiente, Peter Burmeister, Francesc Rosselló

Publikováno v: Scopus-Elsevier

The transformation of total graph structures has been studied from the algebraic point of view over more than two decades now, and it has motivated the development of the so-called double-pushout and single-pushout approaches to graph transformation.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1dfebb291176b7550db76bfe5818abb6

Zobrazit plný text záznamu

Generation and evaluation of business continuity processes using algebraic graph transformation and the mCRL2 process algebra

Autor: Brandt, C., Hermann, F., Jan Friso Groote

Publikováno v: Journal of Research and Practice in Information Technology, 43(1), 65-85. Australian Computer Society
Journal of Research & Practice in Information Technology, 43(1), 65-86. Australian Computer Society Inc (2011).
Pure TUe

Critical business processes can fail. Therefore, continuity processes are needed as back-up solutions. Today, those continuity processes are set up and maintained manually. They are mostly based on best practices that focus on specific continuity sce

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c90e157e2fe9bb60192fea2971708530
https://research.tue.nl/nl/publications/0868791d-0413-4eb6-981b-aa81a01cfa9c

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání