49 citations · 50 across the 4 of their papers we have counts for
Showing 2017 · cs.SEShow all
2 papers · 2 filters
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
Initial steps towards assessing the usability of a verification tool
Mansur Khazeev, Victor Rivera, Manuel Mazzara +1
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 activity and we clas…