E-LIB Suche - Ergebnisse für: Diskin, Zinovy

1

General Supervised Learning as Change Propagation with Delt..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Diskin, Zinovy - p. 177-197 , 2020

Link: https://doi.org/10.1007/..

2

A query-retyping approach to model transformation co-evolut..:

Rutle, Adrian ; Iovino, Ludovico ; König, Harald.
Software and Systems Modeling. 19 (2020) 5 - p. 1107-1138 , 2020

Link: https://doi.org/10.1007/..

3

Correction to: Multiple model synchronizationwith multiary ..:

Diskin, Zinovy ; König, Harald ; Lawford, Mark
Formal Aspects of Computing. 32 (2020) 1 - p. 153-153 , 2020

Link: https://doi.org/10.1007/..

4

Benchmarking bidirectional transformations: theory, impleme..:

Anjorin, Anthony ; Buchmann, Thomas ; Westfechtel, Bernhard...
Software and Systems Modeling. 19 (2019) 3 - p. 647-691 , 2019

Link: https://doi.org/10.1007/..

5

SL2SF: Refactoring Simulink to Stateflow:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Wynn-Williams, Stephen ; Diskin, Zinovy ; Pantelic, Vera... - p. 264-281 , 2019

Link: https://doi.org/10.1007/..

6

Multiple model synchronization with multiary delta lenses w..:

Diskin, Zinovy ; König, Harald ; Lawford, Mark
Formal Aspects of Computing. 31 (2019) 5 - p. 611-640 , 2019

Link: https://doi.org/10.1007/..

7

A theoretical framework for cardinality-based feature model..:

Safilian, Aliakbar ; Maibaum, Tom ; Diskin, Zinovy
Journal of Logical and Algebraic Methods in Programming. 97 (2018) - p. 30-54 , 2018

Link: https://doi.org/10.1016/..

8

Multiple Model Synchronization with Multiary Delta Lenses:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Diskin, Zinovy ; König, Harald ; Lawford, Mark - p. 21-37 , 2018

Link: https://doi.org/10.1007/..

9

Assurance via model transformations and their hierarchical ..:

, In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems,

Diskin, Zinovy ; Maibaum, Tom ; Wassyng, Alan.. - p. 426-436 , 2018

Link: https://dl.acm.org/doi/1..

10

A three-dimensional taxonomy for bidirectional model synchr..:

Diskin, Zinovy ; Gholizadeh, Hamid ; Wider, Arif.
Journal of Systems and Software. 111 (2016) - p. 298-322 , 2016

Link: https://doi.org/10.1016/..

11

Clafer: unifying class and feature modeling:

Bąk, Kacper ; Diskin, Zinovy ; Antkiewicz, Michał..
Software & Systems Modeling. 15 (2014) 3 - p. 811-845 , 2014

Link: https://doi.org/10.1007/..

12

Model synchronization based on triple graph grammars: corre..:

Hermann, Frank ; Ehrig, Hartmut ; Orejas, Fernando...
Software & Systems Modeling. 14 (2013) 1 - p. 241-269 , 2013

Link: https://doi.org/10.1007/..

13

Example-driven modeling: model = abstractions + examples:

, In: Proceedings of the 2013 International Conference on Software Engineering,

Bąk, Kacper ; Zayan, Dina ; Czarnecki, Krzysztof... - p. 1273-1276 , 2013

Link: https://dl.acm.org/doi/1..

14

From state- to delta-based bidirectional model transformati..:

, In: Proceedings of the 14th international conference on Model driven engineering languages and systems,

Diskin, Zinovy ; Xiong, Yingfei ; Czarnecki, Krzysztof... - p. 304-318 , 2011

Link: https://dl.acm.org/doi/1..

15

Correctness of Model Synchronization Based on Triple Graph ..:

, In: Model Driven Engineering Languages and Systems; Lecture Notes in Computer Science,

Hermann, Frank ; Ehrig, Hartmut ; Orejas, Fernando... - p. 668-682 , 2011

Link: https://doi.org/10.1007/..