44 citations · 45 across the 6 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.SE2019
Assurance via workflow+ modelling and conformance
Zinovy Diskin, Nicholas Annable, Alan Wassyng +1
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 i…
cs.LO2019
Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput
Zinovy Diskin, Harald König, Mark Lawford
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 c…
cs.LO2019★ 1 cited
General supervised learning as change propagation with delta lenses
Zinovy Diskin
Delta lenses are an established mathematical framework for modelling and designing bidirectional model transformations. Following the recent observations by Fong et al, the paper e…