Entry Gerhart:1975:MTP 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{Gerhart:1975:MTP,
  author =       "Susan L. Gerhart",
  title =        "Methods for teaching program verification",
  journal =      j-SIGCSE,
  volume =       "7",
  number =       "1",
  pages =        "172--178",
  month =        feb,
  year =         "1975",
  CODEN =        "SIGSD3",
  DOI =          "https://doi.org/10.1145/953064.811154",
  ISSN =         "0097-8418 (print), 2331-3927 (electronic)",
  ISSN-L =       "0097-8418",
  bibdate =      "Sun Nov 18 08:53:50 MST 2012",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/sigcse1970.bib",
  note =         "Proceedings of the 5th SIGCSE symposium on Computer
                 science education.",
  abstract =     "``Program verification'' is generally defined as the
                 process of ascertaining and demonstrating that a
                 program is correct, i.e., that a program satisfies a
                 given set of specifications. The most common method of
                 verifying a program is by testing, the process of
                 executing a program for a set of selected inputs and
                 inferring from the results of those executions that the
                 program is correct for all possible inputs. In practice
                 today, a few programs are being proved correct but the
                 most common method of program verification is still
                 testing. Both methods are unreliable in different ways,
                 but when combined, their complementary relationship can
                 provide a high degree of assurance that programs are
                 correct. The purpose of this paper is (1) to review the
                 state of the art of these two approaches to program
                 verification and the relationship between them, and (2)
                 to suggest a number of ways in which program
                 verification can be introduced into the computer
                 science curriculum.",
  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