Entry Tremblay:1998:UCF 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{Tremblay:1998:UCF,
  author =       "Guy Tremblay",
  title =        "An undergraduate course in formal methods:
                 ``description is our business''",
  journal =      j-SIGCSE,
  volume =       "30",
  number =       "1",
  pages =        "166--170",
  month =        mar,
  year =         "1998",
  CODEN =        "SIGSD3",
  DOI =          "https://doi.org/10.1145/274790.273184",
  ISSN =         "0097-8418 (print), 2331-3927 (electronic)",
  ISSN-L =       "0097-8418",
  bibdate =      "Sat Nov 17 16:56:29 MST 2012",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
  abstract =     "We present a new undergraduate course in formal
                 methods which emphasizes software specification and
                 description instead of formal program correctness or
                 program derivation. This course is motivated by the
                 idea that specifications play a key role in the
                 software development process and that precise and clear
                 descriptions of software systems and artifacts are
                 important. It wants to show students that some simple
                 notions from logic and mathematics (predicates and
                 quantifiers, set theory, maps), together with
                 appropriate constructs for defining software components
                 and systems, can be useful for this purpose. The course
                 is taught using the Spec notation [1] and we first
                 discuss why we did not choose the ubiquitous Z
                 notation. The content of the course is then presented,
                 followed with a brief description of an on-line WWW
                 system that was developed to help the students do the
                 exercises presented in the course notes.",
  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