Tipus Abstractes de Dades i Disseny per Contracte

Abstract

Biblioteca de tipus abstractes de dades (TADs) que incorpora la tecnologia de disseny per contracte (DbC) i consta bàsicament de dues parts. La primera, l'especificació, que és el punt d'entrada a l'API, és un conjunt d'interfícies, les quals introdueixen les operacions dels TADs i en fixen el comportament, així com defineixen els drets i obligacions dels usuaris.

Biblioteca de tipos abstractos de datos (TADs) que incorpora la tecnología de diseño por contrato (DbC) y consta básicamente de dos partes. La primera, la especificación, que es el punto de entrada en el APIO, es un conjunto de interfaces, las cuales introducen las operaciones de los TADs y fijan el comportamiento, así como definen los derechos y obligaciones de los usuarios.

Data Abstraction Library that incorporates design by contract (DbC) technology and is basically made up of two parts. The first, specification, which is the entrance point in APIO, is a set of interfaces, which introduce the operations of the DALs and define their behavior, as well as defining the rights and obligations of users.