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


Annable, Nicholas

A Model-Based Approach to Formal Assurance Cases Masters Thesis

McMaster University, 2020.

Abstract | Links | BibTeX | Tags: safety assurance, software engineering


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

A Toolset for Simulink: Improving Software Engineering Practices in Development with Simulink Inproceedings

In: 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015), pp. 50–61, SCITEPRESS 2015.

BibTeX | Tags: data flow, Simulink, software engineering, tools, 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


Xu, Hao

Model Based System Consistency Checking Using Event-B Masters Thesis

McMaster University, 2014.

Abstract | Links | BibTeX | Tags: event-B, formal specification, insulin infusion pump, safety constraints, safety critical systems, software engineering, timing constraints


Parnas, DL; Soltys, Michael

SQRL Report No. 7 “Basic Science for Software Developers” Technical Report


Abstract | Links | BibTeX | Tags: software engineering