Spécifications formelles pour LIBSYS
Modèle des données
Le moèle des données est decrit par le schéma suivant du cahier de charges:
Spécifications ADT
- Standard: BOOLEAN, NATURAL, CHARACTER, STRING ou voir les types de CADP dans $CADP/lib.
- Utilitaires: DATE, PAGES, EMAIL, ADDRESS, FILE, LIST
- Principales: COUNTRY, AGENCY, SOURCE, ARTICLE, ORDER, BUYER, AUTHOR