Istituto di Scienza e Tecnologie dell'Informazione     
Castelli D., Locuratolo E. Asso : combining database design with formal methods. In: ERCIM news, vol. 20 pp. 18 - 18. ERCIM, 1995.
ASSO, a Formal Database Design Methodology which combines features of the database area with formal methods, is now being defined at IEI CNR. The methodology retains typical database models, thus permitting a flexible description of the conceptual schema and an efficient implementation, but at the same time guarantees the correctness of the design.
Subject ASSO
H.2 Database management

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional