TALLER DE PRODUCCIÓN DE PROGRAMAS SIN FALLAS

Abstract

Computer science professionals need todevelop skills in the use of tools and techniques fromdiscrete mathematics and logic. This should be an integralpart of the teaching of programming. Type Theory facilitatesthe integration of mathematical and specific programmingcontents, since the programs can be manipulated like amathematical expression, allowing students to reason aboutthem. In this paper we present our experiences inintroducing and teaching formal methods in a computingscience curricula.

 

 

Index Terms - Teaching Formal Methods, Teaching Programming, Type Theory, Formal Verification.