49 citations · 49 across the 1 of their papers we have counts for
2 papers
cs.SE2017★ 49 cited
Teaching Programming and Design-by-Contract
Daniel de Carvalho, Rasheed Hussain, Adil Khan +7
This paper summarizes the experience of teaching an introductory course to programming by using a correctness by construction approach at Innopolis University, Russian Federation.…
cs.SE2017
Jolie Static Type Checker: a prototype
Daniel de Carvalho, Manuel Mazzara, Bogdan Mingela +3
Static verification of a program source code correctness is an important element of software reliability. Formal verification of software programs involves proving that a program s…