Click on a search word OR use the drop-down choices to search for a paper.

Show all


Diskin, Zinovy; Stunkel, Patrick

Sketches, Queries, and Views: From Term-Graphs to Diagrammatic Term-Sketches Technical Report


Links | BibTeX | Tags: diagrammatic operations, formal verification, Kleisli, model management, software engineering, term-graphs


Zolotas, Athanasios; Rodriguez, Horacio Hoyos; Hutchesson, Stuart; Pina, Beatriz Sanchez; Grigg, Alan; Li, Mole; Kolovos, Dimitrios S; Paige, Richard F

Bridging proprietary modelling and open-source model management tools: the case of PTC integrity modeller and epsilon Journal Article

In: Software and Systems Modeling, vol. 19, no. 1, pp. 17–38, 2020.

Abstract | Links | BibTeX | Tags: model management, Model-driven engineering, Open-source