Zobrazeno 1 - 10
of 85
pro vyhledávání: '"KARDAŞ, GEYLANİ"'
We present Tarski, a tool for specifying configurable trace semantics to facilitate automated reasoning about traces. Software development projects require that various types of traces be modeled between and within development artifacts. For any give
Externí odkaz:
http://arxiv.org/abs/2403.06012
Autor:
Erata, Ferhat, Gardent, Claire, Gyawali, Bikash, Shimorina, Anastasia, Lussaud, Yvan, Tekinerdogan, Bedir, Kardas, Geylani, Monceaux, Anne
The ModelWriter platform provides a generic framework for automated traceability analysis. In this paper, we demonstrate how this framework can be used to trace the consistency and completeness of technical documents that consist of a set of System I
Externí odkaz:
http://arxiv.org/abs/2403.01359
Intermittent computing requires custom programming models to ensure the correct execution of applications despite power failures. However, existing programming models lead to programs that are hardware-dependent and not reusable. This paper aims at v
Externí odkaz:
http://arxiv.org/abs/2111.14249
This technical report presents a Systematic Literature Review (SLR) study that focuses on identifying and classifying the recent research practices pertaining to CPS development through MDE approaches. The study evaluates 140 research papers publishe
Externí odkaz:
http://arxiv.org/abs/2103.08644
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.
Publikováno v:
In Journal of Computer Languages August 2021 65
Autor:
Alaca, Omer Faruk, Tezel, Baris Tekin, Challenger, Moharram, Goulão, Miguel, Amaral, Vasco, Kardas, Geylani
Publikováno v:
In Computer Standards & Interfaces June 2021 76
Publikováno v:
In Journal of Computer Languages February 2021 62
Publikováno v:
In Journal of Computer Languages August 2020 59