Istituto di Scienza e Tecnologie dell'Informazione     
Castelli D., Locuratolo E. Enhancing database system quality through formal design. In: Proceedings of 4th Software Quality Software (Dundee, Scotland, 1995). Proceedings, pp. 359 - 366. University of Abertay Dundee, 1995.
This paper shows how integrating models and design steps of conventional database methodologies with formal methods a database design methodology which favors the achievement of understandable, modifiable, efficient a-vd reliable database systems can be obtained.
Subject Database
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