Entry Warford:1995:ETF 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{Warford:1995:ETF,
  author =       "J. Stanley Warford",
  title =        "An experience teaching formal methods in discrete
                 mathematics",
  journal =      j-SIGCSE,
  volume =       "27",
  number =       "3",
  pages =        "60--64",
  month =        sep,
  year =         "1995",
  CODEN =        "SIGSD3",
  DOI =          "https://doi.org/10.1145/209849.209860",
  ISSN =         "0097-8418 (print), 2331-3927 (electronic)",
  ISSN-L =       "0097-8418",
  bibdate =      "Sat Nov 17 18:57:31 MST 2012",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
  abstract =     "In spite of recent calls to incorporate formal methods
                 into the computer science curriculum, the effort is
                 still controversial and proceeding slowly. This paper
                 presents our experience in restructuring the
                 undergraduate Discrete Mathematics course to include
                 formal methods. It concludes with some philosophical
                 ruminations about the place of formal methods in the
                 computer science curriculum in general.",
  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