Entry Yelowitz:1978:PAS 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{Yelowitz:1978:PAS,
  author =       "Lawrence Yelowitz",
  title =        "A project approach to structure and correctness in
                 {Pitt}'s second computer science course",
  journal =      j-SIGCSE,
  volume =       "10",
  number =       "3",
  pages =        "50--54",
  month =        aug,
  year =         "1978",
  CODEN =        "SIGSD3",
  DOI =          "https://doi.org/10.1145/953028.804232",
  ISSN =         "0097-8418 (print), 2331-3927 (electronic)",
  ISSN-L =       "0097-8418",
  bibdate =      "Sun Nov 18 07:38:06 MST 2012",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/sigcse1970.bib",
  note =         "Proceedings of the 9th SIGCSE symposium on Computer
                 science education.",
  abstract =     "The introduction of software methodological issues,
                 including correctness and structure, into the
                 undergraduate curriculum is aided by the availability
                 of software projects which are not overwhelming, but
                 nonetheless, are sufficiently complex to warrant a
                 disciplined approach. A project covering a
                 ``commercial'' application is described here. The use
                 and instantiation of abstract program schemas to a
                 variety of contexts is illustrated, as is a sequence of
                 incremental additions which preserve correctness at
                 each stage. Fuller details and a more formal
                 description of this project, as well as of a project
                 implementing a propositional logic theorem prover, are
                 found in [1]. As a first step in appreciating the
                 general applicability of these software methodological
                 issues, students should realize that these
                 methodologies were used in fundamental ways in
                 developing both projects.",
  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