Zobrazeno 1 - 10
of 71
pro vyhledávání: '"István Ráth"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 135, Iss Proc. TTC 2013, Pp 106-114 (2013)
The paper presents a solution for the Petri-Net to Statecharts case study of the Transformation Tool Contest 2013, using EMF-IncQuery and Xtend for implementing the model transformation.
Externí odkaz:
https://doaj.org/article/e49b41b0b1554d0a96a7b7a91a419467
Autor:
Benedek Horváth, Vince Molnár, Bence Graics, Ákos Hajdu, István Ráth, Ákos Horváth, Robert Karban, Gelys Trancho, Zoltán Micskei
Publikováno v:
Systems Engineering.
Publikováno v:
IEEE Software. 35:32-38
Model-based systems engineering necessitates effective collaboration between different collaborators, teams, and stakeholders. Traditional approaches used for managing concurrent code-based development don’t naturally extend to collaborative modeli
Autor:
Ákos Hajdu, István Ráth, Vince Molnár, Luigi Andolfato, Ivan Gomes, Robert Karban, Bence Graics, Zoltán Micskei, Benedek Horváth
Publikováno v:
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
MODELS Companion
MODELS Companion
Executable models can be used to support all engineering activities in Model-Based Systems Engineering. Testing and simulation of such models can provide early feedback about design choices. However, in today's complex systems, failures could arise d
Publikováno v:
Software & Systems Modeling. 18:1737-1769
Large-scale model-driven system engineering projects are carried out collaboratively. Engineering artefacts stored in model repositories are developed in either offline (checkout–modify–commit) or online (GoogleDoc-style) scenarios. Complex syste
Autor:
Tomas Vileiniskis, Gábor Bergmann, István Ráth, Ákos G. Horváth, Csaba Debreceni, Ákos Menyhért, István Papp, Ábel Hegedüs, Péter Lunk, Dániel Varró
Publikováno v:
MoDELS Companion
Large-scale cyber-physical systems are co-engineered, especially in safety-critical industries, by various specialists within an organization and, increasingly, across organizations. The collaborative aspect of the process is facilitated by hosting e
Publikováno v:
Software & Systems Modeling. 15:609-629
The current release of VIATRA provides open-source tool support for an event-driven, reactive model transformation engine built on top of highly scalable incremental graph queries for models with millions of elements and advanced features such as rul
Publikováno v:
Software and Systems Modeling
Software and systems modeling
Software and systems modeling
Streaming model transformations represent a novel class of transformations to manipulate models whose elements are continuously produced or modified in high volume and with rapid rate of change. Executing streaming transformations requires efficient
Autor:
László Balogh, Benedek Horváth, Zoltán Micskei, Zsolt Mázló, András Vörös, István Ráth, Bálint Hegyi, Ákos Horváth, Dániel Varró, Márton Búr
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319779348
NFM
NFM
We present MoDeS3, a complex research demonstrator illustrating the combined use of model-driven development, formal verification, safety engineering and IoT technologies for smart and safe cyber-physical systems. MoDeS3 represents a smart transporta
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6974467ca95610a5b0179f606059e0c5
https://doi.org/10.1007/978-3-319-77935-5_31
https://doi.org/10.1007/978-3-319-77935-5_31
Autor:
Gábor Bergmann, Ákos G. Horváth, Dániel Varró, István Ráth, Zoltán Ujhelyi, Benedek Izsó, Zoltán Szatmári, Ábel Hegedüs
Publikováno v:
Science of Computer Programming. 98:80-99
As model management platforms are gaining industrial attention, the importance of automated model querying techniques is also increasing. Several important engineering tasks supported by model-based tools - such as well-formedness constraint validati