Search Results - "Khazeev, Mansur"

Usability of AutoProof: a case study of software verification by Khazeev, Mansur, Rivera, Victor, Mazzara, Manuel, Tchitchigin, Alexander

“…Verification tools are often the result of several years of research effort. The development happens as a distributed effort inside academic institutes relying…”
Get full text

Teaching Programming and Design-by-Contract by de Carvalho, Daniel, Hussain, Rasheed, Khan, Adil, Khazeev, Mansur, Lee, JooYong, Masiagin, Sergey, Mazzara, Manuel, Mustafin, Ruslan, Naumchev, Alexandr, Rivera, Victor

“…The Challenges of the Digital Transformation in Education, 2019 This paper summarizes the experience of teaching an introductory course to programming by using…”
Get full text

Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education by Khazeev, Mansur, Mazzara, Manuel, De Carvalho, Daniel, Aslam, Hamna

“…Formal methods yet advantageous, face challenges towards wide acceptance and adoption in software development practices. The major reason being presumed…”
Get full text

Code Review in the Classroom by Rivera, Victor, Aslam, Hamna, Naumchev, Alexandr, de Carvalho, Daniel, Khazeev, Mansur, Mazzara, Manuel

“…This paper presents a case study to examine the affinity of the code review process among young developers in an academic setting. Code review is indispensable…”
Get full text

Initial steps towards assessing the usability of a verification tool by Khazeev, Mansur, Rivera, Victor, Mazzara, Manuel, Johard, Leonard

“…In this paper we report the experience of using AutoProof to statically verify a small object oriented program. We identified the problems that emerged by this…”
Get full text

Usability of AutoProof: a case study of software verification by Khazeev, Mansur, Rivera, Victor, Mazzara, Manuel, Tchitchigin, Alexander

“…Many verification tools come out of academic projects, whose natural constraints do not typically lead to a strong focus on usability. For widespread use,…”
Get full text

A Machine to Machine framework for the charging of Electric Autonomous Vehicles by Elbanna, Ziyad, Afanasyev, Ilya, Araujo, Luiz J. P, Hussain, Rasheed, Khazeev, Mansur, Lamptey, Joseph, Mazzara, Manuel, Megha, Swati, Moolchandani, Diksha, Strugar, Dragos

“…Electric Autonomous Vehicles (EAVs) have gained increasing attention of industry, governments and scientific communities concerned about issues related to…”
Get full text