PUMA
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.
 
 
Abstract
(English)
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