PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Locuratolo E. ASSO : evolution of a formal database design methodology. In: SOST'97 - Proceedings of SOST'97 : Vigesimosextas Jornadas Argentinas de Informatica e Investigacion Operativa, 26 JAIIO (Buenos aires, 11-15 Agosto 1997). Proceedings, pp. 1 - 10. Sociedad argentina de informatica e investigacion operativa, 1997.
 
 
Abstract
(English)
The description of ASSO, a formal database design methodotogy for quality. now under evolution, is provided. ASSO guarantees ease in the specification of database applications, fiexibility in reflecting modifications occurring in real life, correctness of implementations, and efficiency in accessing and storing Information. The ASSO evolution enhances quality making it possible to describe large specifications in terms of small specifications and to perform large proofs in terms of small proofs.
Subject Formal methods
Sofware quality
Database design
Information modelling


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