Entry Mein:1977:TSP from sigcse1970.bib

Last update: Sun Apr 22 02:03:34 MDT 2018                Valid HTML 4.0!

Index sections

Top | Symbols | Numbers | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Mein:1977:TSP,
  author =       "William J. Mein",
  title =        "Toward the specification of programs",
  journal =      j-SIGCSE,
  volume =       "9",
  number =       "1",
  pages =        "139--141",
  month =        feb,
  year =         "1977",
  CODEN =        "SIGSD3",
  DOI =          "https://doi.org/10.1145/382063.803376",
  ISSN =         "0097-8418 (print), 2331-3927 (electronic)",
  ISSN-L =       "0097-8418",
  bibdate =      "Sun Nov 18 08:53:56 MST 2012",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/sigcse1970.bib",
  note =         "Special issue for the Seventh Technical Symposium on
                 Computer Science Education.",
  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.",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGCSE Bulletin (ACM Special Interest Group on
                 Computer Science Education)",
  journal-URL =  "http://portal.acm.org/browse_dl.cfm?idx=J688",
}

Related entries