Publication Date:
1995
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.
Iris type:
04.01 Contributo in Atti di convegno
Keywords:
database system; quality
List of contributors: