skip to main content
article
Free Access

Toward the specification of programs

Published:01 February 1977Publication History
Skip Abstract Section

Abstract

Much has been written lately on program design using a top down approach, decomposition and stepwise refinement. Most of these methodologies have been grouped under the general rubric of structured programming, see for example Computing Surveys, Vol. 6, Number 4, December 1974. Structured programming does not, however, give many insights into the general area of program specifications.

As a result of lack of specifications and having a definite need to write the specifications for a system containing some forty to fifty programs, we developed a set of specifications. This set will be elaborated on more fully in section three, but first I want to elucidate some minor points.

Index Terms

  1. Toward the specification of programs

    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 ACM SIGCSE Bulletin
      ACM SIGCSE Bulletin  Volume 9, Issue 1
      Special issue seventh technical symposium on computer science education
      Feb 1977
      187 pages
      ISSN:0097-8418
      DOI:10.1145/382063
      Issue’s Table of Contents
      • cover image ACM Conferences
        SIGCSE '77: Proceedings of the seventh SIGCSE technical symposium on Computer science education
        February 1977
        187 pages
        ISBN:9781450374071
        DOI:10.1145/800104

      Copyright © 1977 ACM

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 1 February 1977

      Check for updates

      Qualifiers

      • article
    • Article Metrics

      • Downloads (Last 12 months)11
      • Downloads (Last 6 weeks)2

      Other Metrics

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader
    About Cookies On This Site

    We use cookies to ensure that we give you the best experience on our website.

    Learn more

    Got it!