An informal approach to formal specifications-Reference-Cited by-同舟云学术

An informal approach to formal specifications

Published:1983-04 Issue:3 Volume:13 Page:32-41
ISSN:0163-5808
Container-title:ACM SIGMOD Record
language:en
Short-container-title:SIGMOD Rec.

Author:

Furtado A. L.¹

Affiliation:

1. Pontifícia Universidade Catolica do R. J., Brasil

Abstract

An attempt is made to help bridging the gap between theoretical research and the real practice of data base specification. Some fundamental problems that must be addressed are described and a number of formalisms that propose to attack them are overviewed. The case pro and against the use of formal specifications is presented.

Publisher

Association for Computing Machinery (ACM)

Subject

Information Systems,Software

Link

https://dl.acm.org/doi/pdf/10.1145/984532.984535

Reference71 articles.

1. {As} M. M. Astrahan et al - "A history and evaluation of System R" - Research report RJ2843(36129) IBM S. Jose (1980). {As} M. M. Astrahan et al - "A history and evaluation of System R" - Research report RJ2843(36129) IBM S. Jose (1980).

2. The role of time in information processing

3. {BGW} R. M. Balzer N. M. Goldman and D. S. Wile - "Operational specification for rapid prototyping" - Technical Report Information Sciences Institute USC (1981). {BGW} R. M. Balzer N. M. Goldman and D. S. Wile - "Operational specification for rapid prototyping" - Technical Report Information Sciences Institute USC (1981).

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Using logic programming for formal specification and validation of data models;Information & Management;1990-09

2. Enterprise modeling for database specification and design;Data & Knowledge Engineering;1987-03

3. Different perspectives on information systems: problems and solutions;ACM Computing Surveys;1987-03

4. Specification of data restructuring software based on the attribute method;International Journal of Computer & Information Sciences;1984-12