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

Show all


Diskin, Zinovy; Maibaum, Tom; Wassyng, Alan; Wynn-Williams, Stephen; Lawford, Mark

Assurance via model transformations and their hierarchical refinement Inproceedings

In: Proceedings of the 21st International Conference on Models Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, pp. 426 - 436, ACM, 2018.

Links | BibTeX | Tags: assurance case, block diagram, decomposition, model transformation, safety assurance, substitution


Mohammad Gholizadeh, Hamid

A Query Structured Model Transformation Approach PhD Thesis

McMaster University, 2017.

Abstract | Links | BibTeX | Tags: Diagrammatic Queries, formal methods, Model Synchronization Taxonomy, model transformation


Bender, Marc; Laurin, Karen; Lawford, Mark; Pantelic, Vera; Korobkine, Alexandre; Ong, Jeff; Mackenzie, Bennett; Bialy, Monika; Postma, Steven

Signature required: Making Simulink data flow and interfaces explicit Journal Article

In: Science of Computer Programming, vol. 113, no. Part 1, pp. 29–50, 2015.

BibTeX | Tags: data flow, interfaces, model transformation, Simulink, software engineering