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.
ASSO : evolution of a formal database design methodology
Locuratolo E
1997
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_409465-doc_143963.pdf
solo utenti autorizzati
Descrizione: ASSO : evolution of a formal database design methodology
Tipologia:
Versione Editoriale (PDF)
Dimensione
588.87 kB
Formato
Adobe PDF
|
588.87 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
