Asso : a formal database design methodology (Contributo in volume (capitolo o saggio))

Type
Label
  • Asso : a formal database design methodology (Contributo in volume (capitolo o saggio)) (literal)
Anno
  • 1995-01-01T00:00:00+01:00 (literal)
Alternative label
  • Castelli D., Locuratolo E. (1995)
    Asso : a formal database design methodology
    IOS Press, Amsterdam (Paesi Bassi) in Information Modelling and Knowledge Bases VI, 1995
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Castelli D., Locuratolo E. (literal)
Pagina inizio
  • 145 (literal)
Pagina fine
  • 158 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • Codice Puma originale: IEI-A0-03 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • Information Modelling and Knowledge Bases VI (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 14 (literal)
Note
  • PuMa (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • ISTI-CNR (literal)
Titolo
  • Asso : a formal database design methodology (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 90-5199-212-2 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume
  • H. Kangassalo, H. Jaakkola, S. Ohsuga, B, Wangler [Eds) (literal)
Abstract
  • The main aspects of ASSO, a formal database design methodology, are introduced. ASSO integrates typical database features within the B-Method, a formal method from the software engineering area. As a result, ASSO guarantees design correctness while enabling the application requirements to be specified with the flexibility of semantic data models and ensuring that the efficiency of object-oriented implementations in terms of storage structures and object management can be obtained. (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Editore di
Insieme di parole chiave di
data.CNR.it