Work

A Formal Approach to the Teaching of Abstract Data Types

Year: 2002

Type: conference-paper

Abstract: 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.

Source: Informing Science and IT Education Conference

DOI: 10.28945/2477

Authors: Laura Felice, Liliana Martinez, Claudia Pereira

Institution: Universidad Nacional del Centro de la Provincia de Buenos Aires

Language: English

Topic: Teaching and Learning Programming

Subfield: Computer Science Applications

Field: Computer Science

Domain: Physical Sciences

SDG: Quality education

Open Access status: bronze

OpenAlex ID: W2186605474