Teaching programming and design-by-contract D de Carvalho, R Hussain, A Khan, M Khazeev, JY Lee, S Masiagin, ... International Conference on Interactive Collaborative Learning, 68-76, 2018 | 9 | 2018 |
Initial steps towards assessing the usability of a verification tool M Khazeev, V Rivera, M Mazzara, L Johard International Conference in Software Engineering for Defence Applications, 31-40, 2016 | 3 | 2016 |
Reflections on teaching formal methods for software development in higher education M Khazeev, H Aslam, D de Carvalho, M Mazzara, JM Bruel, JA Brown International Workshop on Frontiers in Software Engineering Education, 28-41, 2019 | 1 | 2019 |
Towards a Broader Acceptance of Formal Verification Tools M Khazeev, M Mazzara, H Aslam, D de Carvalho International Conference on Interactive Collaborative Learning, 188-200, 2019 | 1 | 2019 |
Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education M Khazeev, M Mazzara, D De Carvalho, H Aslam arXiv preprint arXiv:1906.01430, 2019 | 1 | 2019 |
Usability of AutoProof: a case study of software verification M Khazeev, V Rivera, M Mazzara, A Tchitchigin arXiv preprint arXiv:1605.01663, 2016 | 1 | 2016 |
Code Review in the Classroom V Rivera, H Aslam, A Naumchev, D de Carvalho, M Khazeev, M Mazzara arXiv preprint arXiv:2004.08774, 2020 | | 2020 |
A Machine to Machine framework for the charging of Electric Autonomous Vehicles Z Elbanna, I Afanasyev, LJP de Araśjo, R Hussain, M Khazeev, J Lamptey, ... Workshops of the International Conference on Advanced Information Networking …, 2020 | | 2020 |
Towards Code Review Guideline in a Classroom V Rivera, H Aslam, A Naumchev, D de Carvalho, M Khazeev, M Mazzara International Workshop on Frontiers in Software Engineering Education, 88-105, 2019 | | 2019 |
Hackathons as a Part of Software Engineering Education: CASE in Tools Example A Sadovykh, M Beketova, M Khazeev International Workshop on Frontiers in Software Engineering Education, 232-245, 2019 | | 2019 |