Teaching programming and design-by-contract D de Carvalho, R Hussain, A Khan, M Khazeev, JY Lee, S Masiagin, ... The Challenges of the Digital Transformation in Education: Proceedings of …, 2020 | 14 | 2020 |
Hackathons as a part of software engineering education: Case in tools example A Sadovykh, M Beketova, M Khazeev Frontiers in Software Engineering Education: First International Workshop …, 2020 | 11 | 2020 |
Initial steps towards assessing the usability of a verification tool M Khazeev, V Rivera, M Mazzara, L Johard Proceedings of 5th International Conference in Software Engineering for …, 2018 | 7 | 2018 |
Reflections on teaching formal methods for software development in higher education M Khazeev, H Aslam, D de Carvalho, M Mazzara, JM Bruel, JA Brown Frontiers in Software Engineering Education: First International Workshop …, 2020 | 4 | 2020 |
Towards a Broader Acceptance of Formal Verification Tools: The Role of Education M Khazeev, M Mazzara, H Aslam, D de Carvalho The Impact of the 4th Industrial Revolution on Engineering Education …, 2020 | 4 | 2020 |
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 | 3 | 2019 |
A case study comparing static analysis tools for evaluating SwiftUI projects GB Imbugwa, LJP de Araújo, M Khazeev, E Enombe, H Saliu, M Mazzara Journal of Physics: Conference Series 2134 (1), 012022, 2021 | 2 | 2021 |
Code Review in the Classroom V Rivera, H Aslam, A Naumchev, D de Carvalho, M Khazeev, M Mazzara arXiv preprint arXiv:2004.08774, 2020 | 1 | 2020 |
Towards code review guideline in a classroom V Rivera, H Aslam, A Naumchev, D de Carvalho, M Khazeev, M Mazzara Frontiers in Software Engineering Education: First International Workshop …, 2020 | 1 | 2020 |
Usability of AutoProof: a case study of software verification K Mansur, R Victor, M Manuel, T Alexander Труды Института системного программирования РАН 28 (2), 111-126, 2016 | 1 | 2016 |
A case study comparing static analysis tools for evaluating SwiftUI projects E Enombe, GB Imbugwa, H Saliu, M Khazeev, M Mazzara, L Araujo University of Lincoln, 2021 | | 2021 |
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, ... Web, Artificial Intelligence and Network Applications: Proceedings of the …, 2020 | | 2020 |