DbC Data Structure Library
(mos's homepage)


This project implements a Design-by-Contract based elementary data structure library for programming language Java.

A public git repository for this library can be found at http://code.ua.pt/projects/dbc-data-structure-library.

Latest version: 0.5

Static diagram of all pt.ua.base classes:


(mos at ua.pt) University of Aveiro, DETI/IEETA