In this paper we present a methodology for the teaching of programming applied to an elementary course of the System Engineering career at the Universidad Nacional del Centro de la Provincia de Buenos Aires. This methodology starts with the formal specifications of abstract data types and concludes with an implementation of an efficient algorithm in C++ language. We describe the methodology, and a case of study showing the proposed methodology.