A reengineering formal method which ensures both a "reliable" and "high level" documentation of database code developed with obsolete technologies and its reusability is now being defined in collaboration at two CNR institutes in Pisa: CNUCE and IEI.

Reengineering for quality

Castelli D;Locuratolo E;Loffredo M;Signore O
1995

Abstract

A reengineering formal method which ensures both a "reliable" and "high level" documentation of database code developed with obsolete technologies and its reusability is now being defined in collaboration at two CNR institutes in Pisa: CNUCE and IEI.
1995
Istituto di informatica e telematica - IIT
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Database reengineering
Formal methods
Software quality
Database design
File in questo prodotto:
File Dimensione Formato  
prod_240195-doc_139808.pdf

solo utenti autorizzati

Descrizione: Reengineering for quality
Tipologia: Versione Editoriale (PDF)
Dimensione 411.82 kB
Formato Adobe PDF
411.82 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/17987
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact