Article

Free access

The data derivation model: a program specification technique that improves reusability

Authors:

Hee Beng Kuan Tan,

Tok Wang Ling,

Stan Jarzabek,

Yin Seong HoAuthors Info & Claims

SAC '93: Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice

Pages 95 - 102

https://doi.org/10.1145/162754.162821

Published: 01 March 1993 Publication History

PDF eReader

References

[1]

T.J. Biggcrstaff and C. Richter, 'Rcusabilty framework, assessment and directions,' in IEEE Software, Vol. 4, No. 2, Mar. 1987.

Google Scholar

[2]

M. Good~ll, 'What business programs do: recurring functions in a sample of commercial applications,' in rrT Proceedings of the Workshop on Reusability in Programming, Newlx)rt, R.i., 1983.

Google Scholar

[3]

W. Gregory and W. Wojlkowski, Applications Software Programming with the Fourth-Generation Languages, Boyd & Fraser, 1990.

Digital Library

Google Scholar

[4]

Cognos Incorporated, How to Develop Business Applications with PowerHouse, and PowerHouse QUIZ, HV3~-MPE, 1984.

Google Scholar

[5]

P. P. Chcn, "The entity-relationship model - toward a unified vicw of data,' in ACM Transaction on Database Systems, Vol. 1, No. 1, 1976, pp 9-36.

Digital Library

Google Scholar

[6]

I. L. Peterson, Pclri Net Theory and the Modeling of Systems, Prentice--Hall, 1981.

Digital Library

Google Scholar

[7]

H. Sakai, 'Entity-relationship approach to logical database design,' in Proc. International Conference on Entity- Relationship Approach to Software Engine, cring, 1983, pp. 155-187.

Crossref

Google Scholar

[8]

Tom DcMarco, Structured Analysis and System Specification, New York: Yourdon, 1979.

Digital Library

Google Scholar

[9]

V.M. Markowitz, 'Representing processes in the cxtendext entity-relationship model,' in Proc. of the Conference on Data Engineering, 1990, pp. 103-110.

Digital Library

Google Scholar

[10]

R. S. Burgess, Structured Program Design Using ISP, Hutchinson & Co. Ltd, 1988.

Google Scholar

[11]

Hcwlett-Packard, HP 3000 Computer System VIEW/30~ Reference Manual, 32209-90001, 1979.

Google Scholar

[12]

W.B. Frakcs, T.J. Biggcrstaff, R. Prieio-Diaz, K. Matsumura, and W. Schaefer, "Soiwarc Reuse: Is It Delivering ?," in Proce~ings 13th International Conference on Software Engineering, pp. 52-59, IEEE, Computer Society Press, May 1991.

Digital Library

Google Scholar

[13]

James Martin, Information Engineering, Book l-HI, Prentice-Hall, 1990.

Digital Library

Google Scholar

[14]

Texas instruments, A Guide to Information Engineering Using the IEF, 1988.

Google Scholar

Index Terms

The data derivation model: a program specification technique that improves reusability

Recommendations

Meta-evaluation as a tool for program understanding
IJCAI'77: Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1

Formal program specifications are difficult to write. They are always constructed from an informal precursor. We are exploring the technology required to aid in the construction of the formal specification from the informal version.

An informal ...
An evolutionary approach to translating operational specifications into declarative specifications
Abstract
Various tools for program analysis, including run-time assertion checkers and static analyzers such as verification and test generation tools, require formal specifications of the programs being analyzed. Moreover, many of these tools ...
Highlights
- Many analysis techniques require specifications of the programs being analyzed.
Hoare's logic and VDM
Abstract
A relational framework which unifies Hoare's logic and VDM is presented. Within this framework a partial correctness version of VDM is defined. It is argued that this partial correctness version of VDM is intuitive and consistent with the original ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

SAC '93: Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice

March 1993

804 pages

ISBN:0897915674

DOI:10.1145/162754

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 1993

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

SAC93

Sponsor:

SIGAPP

SAC93: 1993 Symposium on Applied Computing

February 14 - 16, 1993

Indiana, Indianapolis, USA

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
432
Total Downloads

Downloads (Last 12 months)34
Downloads (Last 6 weeks)11

Reflects downloads up to 03 Jan 2025

Other Metrics

View Author Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Index Terms

Recommendations

Meta-evaluation as a tool for program understanding

An evolutionary approach to translating operational specifications into declarative specifications

Hoare's logic and VDM