Converting Informal Meta-data to VDM-SL: A Reverse Calculation Approach (1999)
by
F. L. Neves
,
J. C. Silva
,
J. N. Oliveira
| Venue: | In VDM in Practice! A Workshop co-located with FM’99: The World Congress on Formal Methods |
| Citations: | 3 - 2 self |
BibTeX
@INPROCEEDINGS{Neves99convertinginformal,
author = {F. L. Neves and J. C. Silva and J. N. Oliveira},
title = {Converting Informal Meta-data to VDM-SL: A Reverse Calculation Approach},
booktitle = {In VDM in Practice! A Workshop co-located with FM’99: The World Congress on Formal Methods},
year = {1999},
pages = {99--107}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Enterprise competitiveness in the information age is very much dependent on the quality of the underlying information systems. These provide crucial support to as important tasks as strategic business planning and decision support. Information system quality is, in turn, highly dependent upon consistency and reliability of stored data. However,
