Asso : combining database design with formal methods (Articolo in rivista)

Type
Label
  • Asso : combining database design with formal methods (Articolo in rivista) (literal)
Anno
  • 1995-01-01T00:00:00+01:00 (literal)
Alternative label
  • Castelli D., Locuratolo E. (1995)
    Asso : combining database design with formal methods
    in ERCIM news
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Castelli D., Locuratolo E. (literal)
Pagina inizio
  • 18 (literal)
Pagina fine
  • 18 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • Codice Originario IEI-B5-05 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 20 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 1 (literal)
Note
  • PuMa (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • ISTI-CNR (literal)
Titolo
  • Asso : combining database design with formal methods (literal)
Abstract
  • ASSO, a Formal Database Design Methodology which combines features of the database area with formal methods, is now being defined at IEI CNR. The methodology retains typical database models, thus permitting a flexible description of the conceptual schema and an efficient implementation, but at the same time guarantees the correctness of the design. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it