skip to main content
article
Free Access

A technique for software module specification with examples

Published:01 May 1972Publication History
Skip Abstract Section

Abstract

This paper presents an approach to writing specifications for parts of software systems. The main goal is to provide specifications sufficiently precise and complete that other pieces of software can be written to interact with the piece specified without additional information. The secondary goal is to include in the specification no more information than necessary to meet the first goal. The technique is illustrated by means of a variety of examples from a tutorial system.

References

  1. 1 Buxton, J.N. and Randell, B. (Eds.), Software Engineering Methods. Report of a conference sponsored by the NATO Science Committee, Rome, Italy, 27-31 October 1969.Google ScholarGoogle Scholar
  2. 2 Parnas, D.L. Information Distribution Aspects of Design Methodology. Technical Report, Depart. of Comput. Science, Carnegie-Mellon U., Feb., 1971. Presented at the IFIP Congress, 1971, Ljubljana, Yugoslavia, and included in the proceedings.Google ScholarGoogle Scholar
  3. 3 Floyd, R.W. Treesort 3 Algorithm 245. Comm. ACM 7, 12 (Dec. 1964), 701.Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4 Hoare, C.A.R. Proof of a program, FIND. Comm. ACM 14, 1 (Jan. 1971), 39-45. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 5 Wirth, N. and H. Weber. Euler: A generalization of ALGOL and its formal definition. Comm. ACM 9, 1 (Jan. 1966), 13-23. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 6 Parnas, D.L., Sample Specification for the Man Machine Interface. Presented at the NATO Advanced Study Institute on Graphics and the Man Machine Interface, April 1971, Erlangen, West Germany (to be included in the proceedings of that institute).Google ScholarGoogle Scholar

Recommendations

Comments

Login options

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

Sign in

Full Access

  • Published in

    cover image Communications of the ACM
    Communications of the ACM  Volume 15, Issue 5
    May 1972
    105 pages
    ISSN:0001-0782
    EISSN:1557-7317
    DOI:10.1145/355602
    Issue’s Table of Contents

    Copyright © 1972 ACM

    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: 1 May 1972

    Permissions

    Request permissions about this article.

    Request Permissions

    Check for updates

    Qualifiers

    • article

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader