A Formal Approach to the Teaching of Abstract Data Types
InSITE 2002 • Volume 2 • 2002
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.
algorithm design techniques; formal specifications; programming teaching
607 total downloads