An approach of behavioural modelling based on the specialization concept is proposed within ASSO, a formal database design methodology which combines features from database design with formal methods. This approach preserves the semantics of the current behavioural modelling while producing benefits on the phases of the methodology.
ASSO : Behavioural specialization modelling
Locuratolo E
1996
Abstract
An approach of behavioural modelling based on the specialization concept is proposed within ASSO, a formal database design methodology which combines features from database design with formal methods. This approach preserves the semantics of the current behavioural modelling while producing benefits on the phases of the methodology.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_409114-doc_143739.pdf
solo utenti autorizzati
Descrizione: ASSO : Behavioural specialization modelling
Dimensione
2.01 MB
Formato
Adobe PDF
|
2.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.
