Asso : a formal database design methodology. (Contributo in atti di convegno)

Type
Label
  • Asso : a formal database design methodology. (Contributo in atti di convegno) (literal)
Anno
  • 1994-01-01T00:00:00+01:00 (literal)
Alternative label
  • Castelli D., Locuratolo E. (1994)
    Asso : a formal database design methodology.
    in Fourth European-Japanese Seminar on Information Modelling and Knowledge Bases., Kista, Sweden, June 3 1994
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Castelli D., Locuratolo E. (literal)
Pagina inizio
  • 1 (literal)
Pagina fine
  • 15 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • In: Fourth European-Japanese Seminar on Information Modelling and Knowledge Bases. (Kista, Sweden, May 31 - June 3 1994). Proceedings, vol. 1 pp. 1 - 15. ?. IOS Press, 1994. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 16 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTI, Pisa (literal)
Titolo
  • Asso : a formal database design methodology. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume
  • Hannu Kangassalo, Benkt Wangler (eds.). IOS Press, 1994. (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 objectoriented 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