ASSO is a formal methodology for developing database applications. The ASSO methodology, now under evolution, is based on B. Formal relationship which links ASSO to B can be usefully exploited to construct ASSO tools based on the B-Tools and how the evolution of ASSO favours the development of the ASSO tools.
On the relationship between ASSO and B
Locuratolo E;
1999
Abstract
ASSO is a formal methodology for developing database applications. The ASSO methodology, now under evolution, is based on B. Formal relationship which links ASSO to B can be usefully exploited to construct ASSO tools based on the B-Tools and how the evolution of ASSO favours the development of the ASSO tools.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_407754-doc_142950.pdf
solo utenti autorizzati
Descrizione: On the relationship between ASSO and B
Tipologia:
Versione Editoriale (PDF)
Dimensione
1.01 MB
Formato
Adobe PDF
|
1.01 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.