Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Tamas Kecskes"'
Publikováno v:
Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling.
This paper presents our preliminary results developing an incremental query and transformation engine for our modeling framework. Our prior framework combined WebGME, a cloud-based collaborative modeling tool, with FORMULA, a language and tool for sp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::861f2581dddb2b9adc125810c7001700
https://doi.org/10.1145/3486603.3486779
https://doi.org/10.1145/3486603.3486779
Publikováno v:
SEsCPS@ICSE
Model-driven approaches in developing and operating Cyber-Physical Systems are increasingly complemented by data-driven methods. Examples for their use cases are the analysis of model repositories for discovering patterns and relationships in models,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::46eea666cc68f22e3de9b8e065a7a762
https://doi.org/10.1109/sescps.2019.00009
https://doi.org/10.1109/sescps.2019.00009
Autor:
Marcus Lucas, Tamas Kecskes, Taylor T. Johnson, Katie Dey, Paulo Tabuada, Patrik Meijer, Stephen A. Rees
Publikováno v:
ICCPS
The Cyber-Physical Systems Virtual Organization (CPS-VO)1 has been evolving from a shared repository of information into a destination for active collaboration, simulation, hands-on education, and demonstration. We would like to show-case advances in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f95d2ec2cf48e2b660b79ccded225e49
https://doi.org/10.1145/3302509.3313331
https://doi.org/10.1145/3302509.3313331
Publikováno v:
DESTION@CPSIoTWeek
It is often the case that analysis, simulation and verification tools from different sources share a lot of commonalities. Even though the syntax might differ, the semantics of the input models are many times the same. Theoretically this means that d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c747bc7379c63587e7a3e486df632bf8
https://doi.org/10.1145/3313151.3314057
https://doi.org/10.1145/3313151.3314057
Publikováno v:
DATE
Cyber-Physical Systems (CPS) are establishing heterogeneous engineering domains leading to engineering processes that span multiple design disciplines with separate modeling approaches, design flows and supporting tool suites. One of the challenges o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6fb7ced201e3bc697ec336752bb83caa
https://doi.org/10.23919/date.2019.8714993
https://doi.org/10.23919/date.2019.8714993
Autor:
Adrian Pop, Peter Fritzson, Arunkumar Palanisamy, Patrik Meijer, Tamas Kecskes, Janos Sztipanovits
Publikováno v:
Linköping Electronic Conference Proceedings.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::223087674e1ba547ff0f8f431457e3ff
https://doi.org/10.3384/ecp18154220
https://doi.org/10.3384/ecp18154220
Publikováno v:
ICCS
Developers of information systems have always utilized various visual formalisms during the design process, albeit in an informal manner. Architecture diagrams, finite state machines, and signal flow graphs are just a few examples. Model Integrated C
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::26f3c957fbb15dfdc11ddec093a5ff39
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications ISBN: 9783319471686
ISoLA (2)
ISoLA (2)
The ever increasing popularity of model-based system- and software engineering has resulted in more and more systems—and more and more complex systems—being modeled. Hence, the problem of managing the complexity of the models themselves has gaine
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0ac7bb654e3c3d0626e08cc9860caa7f
https://doi.org/10.1007/978-3-319-47169-3_6
https://doi.org/10.1007/978-3-319-47169-3_6
Publikováno v:
All Days.
Summary The presentation deals with the most important application of horizontal wells in Hungary, and as well - as we know - the most important application in Central- & Eastern Europe. The presented data refer to the production aspect of using hori
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3c0a0a1d1b2d14f4fc44901a8d34ddb5
https://doi.org/10.2118/50679-ms
https://doi.org/10.2118/50679-ms
Conference
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.