Zobrazeno 1 - 10
of 66
pro vyhledávání: '"Diskin, Zinovy"'
Autor:
Diskin, Zinovy
Data constraints are fundamental for practical data modelling, and a verifiable conformance of a data instance to a safety-critical constraint (satisfaction relation) is a corner-stone of safety assurance. Diagrammatic constraints are important as bo
Externí odkaz:
http://arxiv.org/abs/2306.16284
Machine learning (ML) is finding its way into safety-critical systems (SCS). Current safety standards and practice were not designed to cope with ML techniques, and it is difficult to be confident that SCSs that contain ML components are safe. Our hy
Externí odkaz:
http://arxiv.org/abs/2111.14324
We propose considering assurance as a model management enterprise: saying that a system is safe amounts to specifying three workflows modelling how the safety engineering process is defined and executed, and checking their conformance. These workflow
Externí odkaz:
http://arxiv.org/abs/1912.09912
Autor:
Diskin, Zinovy
Publikováno v:
In: Foundations of Software Science and Computation Structures. FoSSaCS 2020. Lecture Notes in Computer Science, vol 12077. Springer, pp.177-197
Delta lenses are an established mathematical framework for modelling and designing bidirectional model transformations. Following the recent observations by Fong et al, the paper extends the delta lens framework with a a new ingredient: learning over
Externí odkaz:
http://arxiv.org/abs/1911.12904
Publikováno v:
Formal Aspects of Computing 31(5): 611-640 (2019)
Multiple (more than 2) model synchronization is ubiquitous and important for model driven engineering, but its theoretical underpinning gained much less attention than the binary case. Specifically, the latter was extensively studied by the bx commun
Externí odkaz:
http://arxiv.org/abs/1911.11302
Autor:
Diskin, Zinovy, Maibaum, Tom
Publikováno v:
EPTCS 93, 2012, pp. 1-21
There is a hidden intrigue in the title. CT is one of the most abstract mathematical disciplines, sometimes nicknamed "abstract nonsense". MDE is a recent trend in software development, industrially supported by standards, tools, and the status of a
Externí odkaz:
http://arxiv.org/abs/1209.1433
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.
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.
Autor:
Bąk, Kacper1 kbak@gsd.uwaterloo.ca, Diskin, Zinovy1 zdiskin@gsd.uwaterloo.ca, Antkiewicz, Michał1 mantkiew@gsd.uwaterloo.ca, Czarnecki, Krzysztof1 kczarnec@gsd.uwaterloo.ca, Wąsowski, Andrzej2 wasowski@itu.dk
Publikováno v:
Software & Systems Modeling. Jul2016, Vol. 15 Issue 3, p811-845. 35p.
