Extending Alloy with partial instances V Montaghami, D Rayside International Conference on Abstract State Machines, Alloy, B, VDM, and Z …, 2012 | 49 | 2012 |
Bordeaux: A tool for thinking outside the box V Montaghami, D Rayside Fundamental Approaches to Software Engineering: 20th International …, 2017 | 15 | 2017 |
Staged evaluation of partial instances in a relational model finder V Montaghami, D Rayside International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014 | 15 | 2014 |
Synthesizing iterators from abstraction functions D Rayside, V Montaghami, F Leung, A Yuen, K Xu, D Jackson Proceedings of the 11th International Conference on Generative Programming …, 2012 | 10 | 2012 |
Pattern-based debugging of declarative models V Montaghami, D Rayside 2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015 | 4 | 2015 |
An evaluation method for aspectual modeling of distributed software architectures H Bagheri, V Montaghami, G Safi, SH Mirian-Hosseinabadi 2008 IEEE/ACS International Conference on Computer Systems and Applications …, 2008 | 1 | 2008 |
Debugging Relational Declarative Models with Discriminating Examples V Montaghami University of Waterloo, 2017 | | 2017 |
ECE750 Course-project: Towards Sliced Alloy V Montaghami | | 2012 |