Toward Product Lines of Mathematical Models for Software Model Management

被引：2

作者：

Diskin, Zinovy ^{[1
]}

Koeing, Harald ^{[2
]}

Lawford, Mark ^{[1
]}

Maibaum, Tom ^{[1
]}

机构：

[1] McMaster Univ, Hamilton, ON, Canada

[2] Univ Appl Sci FHDW Hannover, Hannover, Germany

来源：

SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS, STAF 2017 | 2018年 / 10748卷

关键词：

D O I：

10.1007/978-3-319-74730-9_19

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We present a general view on theoretical aspects of model synchronization and consistency management, and discuss technical challenges in making it sound, and cultural challenges in bringing it to practice.

引用

页码：200 / 216

页数：17

共 39 条

[1]

Anjorin A., 2016, CEUR WORKSHOP PROC, V1571

[2]

Anjorin A, 2017, CEUR WORKSHOP P, P15

[3]

[Anonymous], 2016, Proc. IEEE Energy Convers. Congr. and Expo

[4]

[Anonymous], 2016, PROC 5 INT WORKSHOP

[5]

Barbosa DMJ, 2010, ICFP 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, P193

[6] Boomerang: Resourceful Lenses for String Data [J].

Bohannon, Aaron ;

Foster, J. Nathan ;

Pierce, Benjamin C. ;

Pilkiewicz, Alexandre ;

Schmitt, Alan .

POPL'08: PROCEEDINGS OF THE 35TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2008, :407-419

[7]

Cheney J, 2017, J OBJECT TECHNOL, V16, DOI 10.5381/jot.2017.16.1.a3

[8]

Coecke B., 2017, PICTURING QUANTUM PR, DOI DOI 10.1017/9781316219317

[9]

Diskin Z., 2014, TR20140401 GSDL U WA

[10] From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case [J].

Diskin, Zinovy ;

Xiong, Yingfei ;

Czarnecki, Krzysztof .

JOURNAL OF OBJECT TECHNOLOGY, 2011, 10

← 1 2 3 4 →