Nothing Special   »   [go: up one dir, main page]

skip to main content
article
Free access

Program design by informal English descriptions

Published: 01 November 1983 Publication History
First page of PDF

References

[1]
Abbott, R. J. An Integrated Approach to Software Development. Addison-Wesley, (in preparation).
[2]
Booch, G. Software Engineering with Ada. Benjamin Cummings, 1983.
[3]
Dijkstra, E. The humble programmer. Comm. ACM. 15, 10 (Oct. 1972).
[4]
U.S. Department of Defense. Reference Manual for the Ada Programming Language. MIL-STD 1815, 1980.
[5]
Guttag, J. V., Horowitz, E., and Musser, D. R. Abstract data types and software validation. Comm. ACM. 21, 12 (Dec. 1978) 1048-1062.
[6]
Hoare, C. A. R. An axiomatic approach to computer programming. Comm. ACM 12, 10 (Oct. 1969) 576-580.
[7]
Liskov, B. H. and Zilles, S. Specification Techniques for Data Abstractions. IEEE Trans. Software Engineering. SE-1, 1, (March 1975) 7-19.
[8]
Parnas, D. L. On the criteria to be used in decomposing systems into modules. Comm. ACM. 15, 12 (Dec. 1972) 1053-1058.
[9]
Quine, W. V. Word and Object. MIT Press, Cambridge, MA 1960.
[10]
Wirth, N. Systematic Programming: An Introduction. Prentice-Hall International, Englewood Cliffs, NJ, 1973.

Cited By

View all
  • (2024)iCAT+: An Interactive Customizable Anonymization Tool Using Automated Translation Through Deep LearningIEEE Transactions on Dependable and Secure Computing10.1109/TDSC.2023.331780621:4(2799-2817)Online publication date: 1-Jul-2024
  • (2024)Modelling guidance in software engineering: a systematic literature reviewSoftware and Systems Modeling (SoSyM)10.1007/s10270-023-01117-123:1(249-265)Online publication date: 1-Feb-2024
  • (2023)The Automatic Definition of the Intuitive Linguistic Heuristics Set to Recognize the Elements of UML Analysis and Design Models in EnglishIEEE Access10.1109/ACCESS.2023.331039411(93381-93392)Online publication date: 2023
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Communications of the ACM
Communications of the ACM  Volume 26, Issue 11
Nov. 1983
203 pages
ISSN:0001-0782
EISSN:1557-7317
DOI:10.1145/182
Issue’s Table of Contents
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 November 1983
Published in CACM Volume 26, Issue 11

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)591
  • Downloads (Last 6 weeks)54
Reflects downloads up to 10 Nov 2024

Other Metrics

Citations

Cited By

View all
  • (2024)iCAT+: An Interactive Customizable Anonymization Tool Using Automated Translation Through Deep LearningIEEE Transactions on Dependable and Secure Computing10.1109/TDSC.2023.331780621:4(2799-2817)Online publication date: 1-Jul-2024
  • (2024)Modelling guidance in software engineering: a systematic literature reviewSoftware and Systems Modeling (SoSyM)10.1007/s10270-023-01117-123:1(249-265)Online publication date: 1-Feb-2024
  • (2023)The Automatic Definition of the Intuitive Linguistic Heuristics Set to Recognize the Elements of UML Analysis and Design Models in EnglishIEEE Access10.1109/ACCESS.2023.331039411(93381-93392)Online publication date: 2023
  • (2022)MDRE: Systems Engineering and RequirementsRequirements Engineering: Laying a Firm Foundation10.1007/978-3-030-91077-8_6(85-97)Online publication date: 3-Jan-2022
  • (2021)AGR4BS: A Generic Multi-Agent Organizational Model for Blockchain SystemsBig Data and Cognitive Computing10.3390/bdcc60100016:1(1)Online publication date: 21-Dec-2021
  • (2021)Empirical Findings on BDD Story Parsing to Support Consistency Assurance between Requirements and ArtifactsProceedings of the 25th International Conference on Evaluation and Assessment in Software Engineering10.1145/3463274.3463807(266-271)Online publication date: 21-Jun-2021
  • (2021)Generating Sequence Diagram from Natural Language Requirements2021 IEEE 29th International Requirements Engineering Conference Workshops (REW)10.1109/REW53955.2021.00012(39-48)Online publication date: Sep-2021
  • (2020)Effort Estimation Approach through Extracting Use Cases via Informal Requirement SpecificationsApplied Sciences10.3390/app1009304410:9(3044)Online publication date: 27-Apr-2020
  • (2020)Künstliche Intelligenz in der SoftwareentwicklungWirtschaftsinformatik & Management10.1365/s35764-020-00235-5Online publication date: 10-Feb-2020
  • (2020)Dualism for CAD-system creation based on natural- intellectual representationIOP Conference Series: Materials Science and Engineering10.1088/1757-899X/709/4/044053709(044053)Online publication date: 3-Jan-2020
  • Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Full Access

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media