Publication Date:
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.
Iris type:
01.01 Articolo in rivista
Keywords:
Database reengineering; Formal methods; Software quality; Database design
List of contributors: