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

Show all


Jaskolka, Monika; Pantelic, Vera; Wassyng, Alan; Lawford, Mark

A Comparison of Componentization Constructs for Supporting Modularity in Simulink Conference


Links | BibTeX | Tags: automotive, information hiding, model-based development, modularity, Simulink


Bialy, Monika; Lawford, Mark; Pantelic, Vera; Wassyng, Alan

A methodology for the simplification of tabular designs in model-based development Inproceedings

In: Proceedings of the Third FME Workshop on Formal Methods in Software Engineering, pp. 47–53, IEEE Press 2015.

BibTeX | Tags: model-based development, tabular design, tabular expressions


Bialy, Monika

A Methodology for the Simplification of Tabular Designs in Model-Based Development Masters Thesis

McMaster University, 2014.

Abstract | Links | BibTeX | Tags: automotive, model-based development, Simulink, tabular expressions