Entry Palmer:1995:ATT 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{Palmer:1995:ATT,
  author =       "Thomas V. Palmer and James C. Pleasant",
  title =        "Attitudes toward the teaching of formal methods of
                 software development in the undergraduate computer
                 science curriculum: a survey",
  journal =      j-SIGCSE,
  volume =       "27",
  number =       "3",
  pages =        "53--59",
  month =        sep,
  year =         "1995",
  CODEN =        "SIGSD3",
  DOI =          "https://doi.org/10.1145/209849.209859",
  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 =     "This paper reports on a survey related to current
                 views concerning the feasibility and importance of
                 teaching formal methods of software development at the
                 undergraduate level. Principle areas of interest
                 considered include formal logic, formal specification,
                 and formal proofs of correctness of programs. After
                 alluding to several points of contact with current
                 literature on this topic, the paper reports on a
                 questionnaire designed by the authors that was mailed
                 to computer science departments of selected colleges
                 and universities in the United States and Canada. The
                 principle goal of the survey is to determine attitudes
                 of computer science faculty concerning the teaching of
                 formal methods at the undergraduate level.",
  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