article

Free access

An experimental natural-language processor for generating data type specifications

Author:

James R. ComerAuthors Info & Claims

ACM SIGPLAN Notices, Volume 18, Issue 12

Pages 25 - 33

https://doi.org/10.1145/988193.988196

Published: 01 December 1983 Publication History

PDF eReader

References

[1]

Myers, Ware, The Need for Software Engineering, COMPUTER Vol.11, no. 2 (February 1978), pp. 12--26.

Digital Library

Google Scholar

[2]

Boehm, B. W., Software Engineering, TRW SOFTWARE SERIES, TRW-SS-76-08 (October 1976).

Google Scholar

[3]

Dreyfus, J. M., and Karacsony, P. J., The Preliminary Design as A Key to Successful Software Development, TRW SOFTWARE SERIES, TRW-SS-76-09 (October 1976).

Google Scholar

[4]

Zelkowith, M. V., Perspectives on Software Engineering, COMPUTING SURVEYS vol.10, no.2 (June 1978), pp. 197--216.

Digital Library

Google Scholar

[5]

Williams, R. D., Managing the Development of Reliable Software, TRW SOFTWARE SERIES TRW-SS-75-06 (April 1975).

Google Scholar

[6]

Bell, Thomas E., Bixler, David., and Dyer, Margret E., An Extendable Approach to Computer-aided Software Requirements Engineering, TRW SOFTWARE SERIES, TRW-SS-76-05 (July 1976).

Google Scholar

[7]

Ross, Douglas T., and Schoman, Kenneth E., Structured Analysis for Requirements Definition, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol. SE-3, no. 1 January 1977), pp. 6--15.

Digital Library

Google Scholar

[8]

Brown, J. R., and Hoffman, R. H., Automating Software Development: A Survey of Techniques and Automated Tools, TRW SOFTWARE SERIES, TRW-SS-72-03 (May 1972).

Google Scholar

[9]

Lanzano, Bernadine C., Program Automated Documentation Methods, TRW SOFTWARE SERIES, TRW-SS-70-04 (November 1970).

Google Scholar

[10]

Krause, K. W., Smith, R. W., and Goodwin, M. A., Optimal Software Test Planning Through Automated Network Analysis, TRW SOFTWARE SERIES, TRW-SS-73-01 (April 1973).

Google Scholar

[11]

Howden, William E., DISSECT-a Symbolic Evaluation and Program Testing System, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol. SE-4, no. 1 (January 1978), pp. 70--73.

Digital Library

Google Scholar

[12]

Ramamoorthy, C. V., and Siu-Bun, F. Ho, Testing Large Software With Automated Software Evaluation Systems, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol. SE-1, no. 1 (March 1975), pp. 46--58.

Digital Library

Google Scholar

[13]

Boehm, B. W., Some Steps Toward Formal and Automated Aids to Software Requirements Analysis and Design, TRW SOFTWARE SERIES, TRW-SS-74-02 (August 1974).

Google Scholar

[14]

Hammer, M. M., Howe, W. G., and Wladawsky, I., An Interactive Business Definition System, SIGPLAN NOTICES, vol. 9, no. 4 (April 1974), pp. 25--33.

Digital Library

Google Scholar

[15]

Heidorn, G. E., Automatic Programming Through Natural Language Dialogue: A Survey, IBM JOURNAL OF RESEARCH AND DEVELOPMENT, vol. 20, no. 4 (July 1976), pp. 302--313.

Digital Library

Google Scholar

[16]

Rigo, Joseph T., How to Prepare Functional Specifications. DATAMATION (May 1974), pp. 78--80.

Google Scholar

[17]

Ziegler, E. W., An Introduction to the UMTA Specification Language, SIGPLAN NOTICES, vol. 9, no. 4 (April 1974), pp. 127--132.

Digital Library

Google Scholar

[18]

Robinson, Lawrence, and Roubine, Olivier, SPECIAL--A Specification and Assertion Language, Technical Report No. CSL-46, Stanford Research Institute (September 1976).

Google Scholar

[19]

Heidorn, George, English As A Very High Level Language For Simulation Programming, IBM Research Report RC-4536, IBM Thomas J. Watson Research Center, Yorktown Heights, N.Y. (September 1973).

Google Scholar

[20]

Heidorn, George, Simulation Programming through Natural Language Dialogue, IBM Research Report RC-4535, IBM Thomas J. Watson Research Center, Yorktown Heights, N.Y. (September 1973).

Google Scholar

[21]

Guttag, John V., Horowitz, Ellis, and Musser, David R., Abstract Data Types and Software Validation, USC/Information Sciences Institute, RR-76--48 (November 1976).

Google Scholar

[22]

Guttag, John V., Horowitz, Ellis, and Musser, David R., The Design of Data Type Specifications, USC/Information Sciences Institute, RR-76--49 (November 1976).

Google Scholar

[23]

Guttag, John V., Horowitz, Ellis, and Musser, David R., Some Extensions to Algebraic Specifications, SIGPLAN Notices, vol. 12, no. 3 (March 1977), pp. 63--67.

Digital Library

Google Scholar

[24]

Guttag, John V., The Specification and Application to Programming of Abstract Data Types, Ph.D. Thesis, University of Toronto, Department of Computer Science (1975), available as Computer Systems Research Group Report CSRG-59.

Digital Library

Google Scholar

[25]

Belford, P. C., Bond, A. F., Henderson, D. G., and Sellers, L. S., Specifications: A Key to Effective Software Development, Proceedings of the 2nd International Conference on Software Engineering (October 1976), pp. 71--79.

Digital Library

Google Scholar

Cited By

View all

Ribeiro CBerry D(2020)The prevalence and severity of persistent ambiguity in software requirements specifications: Is a special effort needed to find them?Science of Computer Programming10.1016/j.scico.2020.102472195(102472)Online publication date: Sep-2020
https://doi.org/10.1016/j.scico.2020.102472
Berry D(2008)Ambiguity in Natural Language Requirements DocumentsInnovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs10.1007/978-3-540-89778-1_1(1-7)Online publication date: 27-Nov-2008
https://dl.acm.org/doi/10.1007/978-3-540-89778-1_1

Recommendations

Type Checking Circus Specifications

Circus is a formal language that combines Z, CSP and additional constructors of Morgan's refinement calculus. It is aimed at the development by refinement of state-rich reactive systems. In this work, we define the Circus type system and describe the ...
Translating formal software specifications to natural language
LACL'05: Proceedings of the 5th international conference on Logical Aspects of Computational Linguistics

We describe a system for automatically translating formal software specifications to natural language. The system produces natural language which is acceptable to a human reader, and it supports by-hand optimization by users who are not experts of our ...
Generating interlocked instruction pipelines from specifications of instruction sets
CODES+ISSS '12: Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis

The development of application specific processors (ASIPs) for systems-on-a-chip (SoCs) became increasingly popular in recent years. To efficiently develop such processors, respective tools are crucial. This paper presents methods to generate pipelined ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 18, Issue 12

December 1983

110 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/988193

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 December 1983

Published in SIGPLAN Volume 18, Issue 12

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
142
Total Downloads

Downloads (Last 12 months)13
Downloads (Last 6 weeks)3

Reflects downloads up to 01 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ribeiro CBerry D(2020)The prevalence and severity of persistent ambiguity in software requirements specifications: Is a special effort needed to find them?Science of Computer Programming10.1016/j.scico.2020.102472195(102472)Online publication date: Sep-2020
https://doi.org/10.1016/j.scico.2020.102472
Berry D(2008)Ambiguity in Natural Language Requirements DocumentsInnovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs10.1007/978-3-540-89778-1_1(1-7)Online publication date: 27-Nov-2008
https://dl.acm.org/doi/10.1007/978-3-540-89778-1_1

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.

References

Cited By

Recommendations

Type Checking Circus Specifications

Translating formal software specifications to natural language

Generating interlocked instruction pipelines from specifications of instruction sets

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations