Zobrazeno 1 - 10
of 74
pro vyhledávání: '"Fabian Büttner"'
Autor:
Fabian Büttner, Clara Vollmer Barbosa, Hannah Lang, Zhejia Tian, Anette Melk, Bernhard M. W. Schmidt
Publikováno v:
PLoS ONE, Vol 18, Iss 11 (2023)
Externí odkaz:
https://doaj.org/article/c92494ec2f8b4437ba899db4592ff6c3
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 135, Iss Proc. TTC 2013, Pp 32-36 (2013)
This paper presents a solution to the Flowgraphs case study for the Transformation Tool Contest 2013 (TTC 2013). Starting from Java source code, we execute a chain of model transformations to derive a simplified model of the program, its control flow
Externí odkaz:
https://doaj.org/article/14cd3b11ccce453fba1fad1b954f36ca
Autor:
Fabian Büttner, Martin Gogolla
Publikováno v:
Science of Computer Programming
Science of Computer Programming, Elsevier, 2014, 92 (B), pp.162-178. ⟨10.1016/j.scico.2013.10.003⟩
Science of Computer Programming, 2014, 92 (B), pp.162-178. ⟨10.1016/j.scico.2013.10.003⟩
Science of Computer Programming, Elsevier, 2014, 92 (B), pp.162-178. ⟨10.1016/j.scico.2013.10.003⟩
Science of Computer Programming, 2014, 92 (B), pp.162-178. ⟨10.1016/j.scico.2013.10.003⟩
14th Brazilian Symposium on Formal Methods (SBMF), Sao Paulo, BRAZIL, SEP 26-30, 2011; International audience; The Object Constraint Language (OCL) is a well-accepted ingredient in model-driven engineering and accompanying modeling languages such as
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7e1265bdd9ff6ebfbe2c6ce8777e3d69
https://doi.org/10.1016/j.scico.2013.10.003
https://doi.org/10.1016/j.scico.2013.10.003
Autor:
Fabian Büttner, Jordi Cabot
Publikováno v:
Software and Systems Modeling
Software and Systems Modeling, 2013, ⟨10.1007/s10270-013-0332-x⟩
Software and Systems Modeling, 2013, ⟨10.1007/s10270-013-0332-x⟩
International audience; Models play a key role in assuring software quality in the model-driven approach. Precise models usually require the definition of well-formedness rules to specify constraints that cannot be expressed graphically. The Object C
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d1c8dc31ce593f33d1be7cbbca86d5ac
https://doi.org/10.1007/s10270-013-0332-x
https://doi.org/10.1007/s10270-013-0332-x
Publikováno v:
Software & Systems Modeling. 11:165-182
Since several years, the Object Constraint Language (OCL) is a central component in modeling and transformation languages like the Unified Modeling Language, the Meta Object Facility, and Query View Transformation. Consequently, approaches MDE (Model
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bdbeb9d543bdd9f7fdf74fa496dee09e
https://doi.org/10.1007/s10270-010-0174-8
https://doi.org/10.1007/s10270-010-0174-8
Autor:
Frank Gerlach, Özlem Türeci, Christian Cordes, Beat Alessandri, Oliver Kempski, Fabian Büttner, Thorsten Burmester, Axel Heimann, Ulrich Luxemburger, Thomas Hankeln
Publikováno v:
Brain Research. 1252:1-14
To identify genes that are involved in ischemia response of the brain, we have evaluated changes of gene expression in rat cerebrum after 15 min complete global ischemia, followed by reperfusion for 1 h, 6 h or 24 h. The expression profiles of approx
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::65990bbc806d366b3dda49bdce0ff3b6
https://doi.org/10.1016/j.brainres.2008.10.045
https://doi.org/10.1016/j.brainres.2008.10.045
Autor:
Fabian Büttner, Martin Gogolla
Publikováno v:
Electronic Notes in Theoretical Computer Science. 109:31-42
In this paper, we work out equivalence transformations on the UML metamodel as concrete graph transformations implemented in the AGG tool. We consider two examples for manipulating the static structure of a UML model, namely the transformation of an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c6a4b04bc093ce5b8da8721a044ef901
https://doi.org/10.1016/j.entcs.2004.02.054
https://doi.org/10.1016/j.entcs.2004.02.054
Autor:
Marina Egea, Fabian Büttner
Publikováno v:
Engineering Secure Future Internet Services and Systems ISBN: 9783319074511
Engineering Secure Future Internet Services and Systems
Engineering Secure Future Internet Services and Systems
Delegation is widely used in large organizations where access to systems needs to be controlled and often depends on the role of a user within the organization. Delegation allows to grant access rights under certain, often temporal conditions. Usuall
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bc9523cd5aff9a30c459f43d07678ea2
https://doi.org/10.1007/978-3-319-07452-8_12
https://doi.org/10.1007/978-3-319-07452-8_12
Publikováno v:
Transformation Tool Contest
Transformation Tool Contest, Jun 2013, Budapest, Hungary
TTC
Electronic Proceedings in Theoretical Computer Science, Vol 135, Iss Proc. TTC 2013, Pp 32-36 (2013)
Transformation Tool Contest, Jun 2013, Budapest, Hungary
TTC
Electronic Proceedings in Theoretical Computer Science, Vol 135, Iss Proc. TTC 2013, Pp 32-36 (2013)
This paper presents a solution to the Flowgraphs case study for the Transformation Tool Contest 2013 (TTC 2013). Starting from Java source code, we execute a chain of model transformations to derive a simplified model of the program, its control flow
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6dd7017ad3efa3488f3d078427b87c57
http://arxiv.org/abs/1312.0343
http://arxiv.org/abs/1312.0343