Enhancing database system quality through formal design (Contributo in atti di convegno)

Type
Label
  • Enhancing database system quality through formal design (Contributo in atti di convegno) (literal)
Anno
  • 1995-01-01T00:00:00+01:00 (literal)
Alternative label
  • Castelli Donatella, Locuratolo Elvira (1995)
    Enhancing database system quality through formal design
    in Proceedings of 4th Software Quality Software, Dundee, Scotland, 4-5 July 1995
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Castelli Donatella, Locuratolo Elvira (literal)
Pagina inizio
  • 259 (literal)
Pagina fine
  • 366 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 8 (literal)
Note
  • PuMa (literal)
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-IEI, Pisa (literal)
Titolo
  • Enhancing database system quality through formal design (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 1-899796-00-2 (literal)
Abstract
  • This paper shows how integrating models and design steps of conventional database methodologies with formal methods a database design methodology which favors the achievement of understandable, modifiable, efficient and reliable database systems can be obtained. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


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