Entry McLoughlin:1996:TFP from sigcse1990.bib

Last update: Wed Sep 26 02:07:32 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{McLoughlin:1996:TFP,
  author =       "Henry McLoughlin and Kevin Hely",
  title =        "Teaching formal programming to first year computer
                 science students",
  journal =      j-SIGCSE,
  volume =       "28",
  number =       "1",
  pages =        "155--159",
  month =        mar,
  year =         "1996",
  CODEN =        "SIGSD3",
  DOI =          "https://doi.org/10.1145/236462.236530",
  ISSN =         "0097-8418 (print), 2331-3927 (electronic)",
  ISSN-L =       "0097-8418",
  bibdate =      "Sat Nov 17 18:57:32 MST 2012",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
  abstract =     "The integration of formal methods into the
                 undergraduate curriculum has been slow considering the
                 benefits they offer. One reason for this is that the
                 limited number of relevant textbooks, although
                 excellent, are rather terse. As a result, we have
                 developed various techniques for teaching formal
                 programming in which each step is fully justified by
                 appealing to a design rule or heuristic. Another
                 technique we have developed is 'programming by rule'
                 using generic templates to solve problems of similar
                 structure---rather like differentiation by rule. Our
                 experience to date has been encouraging. We outline
                 some of these techniques and give examples of them in
                 practice.",
  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