Incremental backward change propagation of view models by logic solvers

Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró. Incremental backward change propagation of view models by logic solvers. In Benoit Baudry, Benoît Combemale, editors, Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016. pages 306-316, ACM, 2016. [doi]

Authors

Oszkár Semeráth

This author has not been identified. Look up 'Oszkár Semeráth' in Google

Csaba Debreceni

This author has not been identified. Look up 'Csaba Debreceni' in Google

Ákos Horváth

This author has not been identified. Look up 'Ákos Horváth' in Google

Dániel Varró

This author has not been identified. It may be one of the following persons: Look up 'Dániel Varró' in Google