Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Kulcsár, Géza"'
Autor:
Kulcsár, Géza
With the growing complexity and autonomy of software-intensive systems, abstract modeling to study and formally analyze those systems is gaining on importance. Graph rewriting is an established, theoretically founded formalism for the graphical model
Autor:
Kulcsár, Géza, Anjorin, Anthony
Publikováno v:
EPTCS 231, 2016, pp. 42-56
Graph Transformation (GraTra) provides a formal, declarative means of specifying model transformation. In practice, GraTra rule applications are often programmed via an additional language with which the order of rule applications can be suitably con
Externí odkaz:
http://arxiv.org/abs/1612.01640
Publikováno v:
EPTCS 206, 2016, pp. 17-31
Feature models are used to specify variability of user-configurable systems as appearing, e.g., in software product lines. Software product lines are supposed to be long-living and, therefore, have to continuously evolve over time to meet ever-changi
Externí odkaz:
http://arxiv.org/abs/1604.00347
Publikováno v:
EPTCS 181, 2015, pp. 97-112
In graph transformation, a conflict describes a situation where two alternative transformations cannot be arbitrarily serialized. When enriching graphs with attributes, existing conflict detection techniques typically report a conflict whenever at le
Externí odkaz:
http://arxiv.org/abs/1504.02614
Publikováno v:
Innovations in Systems & Software Engineering; Sep2024, Vol. 20 Issue 3, p269-285, 17p
Autor:
D'Souza, Adriana, Hetherington, David, Kulcsár, Géza, Orozco, Bryan, Przybyło, Aleksander, Ráth, István
Publikováno v:
Incose International Symposium; Jul2024, Vol. 34 Issue 1, p2236-2245, 10p
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming January 2020 110
Publikováno v:
Incose International Symposium; Jul2023, Vol. 33 Issue 1, p1586-1599, 14p
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.
K zobrazení výsledku je třeba se přihlásit.