Follow
Mansur Khazeev
Title
Cited by
Cited by
Year
Teaching programming and design-by-contract
D Carvalho, R Hussain, A Khan, M Khazeev, JY Lee, S Masiagin, ...
International Conference on Interactive Collaborative Learning, 68-76, 2018
122018
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
72019
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
52016
Towards a broader acceptance of formal verification tools
M Khazeev, M Mazzara, H Aslam, D Carvalho
International Conference on Interactive Collaborative Learning, 188-200, 2019
32019
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
22019
Reflections on teaching formal methods for software development in higher education
M Khazeev, H Aslam, D Carvalho, M Mazzara, JM Bruel, JA Brown
International Workshop on Frontiers in Software Engineering Education, 28-41, 2019
12019
Usability of AutoProof: a case study of software verification
K Mansur, R Victor, M Manuel, T Alexander
Труды Института системного программирования РАН 28 (2), 111-126, 2016
12016
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
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
2020
A Machine to Machine framework for the charging of Electric Autonomous Vehicles
Z Elbanna, I Afanasyev, LJP 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 Carvalho, M Khazeev, M Mazzara
International Workshop on Frontiers in Software Engineering Education, 88-105, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–11