Entry Tremblay:1999:ETL 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:1999:ETL,
  author =       "Guy Tremblay",
  title =        "Exercises for teaching logic in a formal methods
                 course: formalizing {ERDs}",
  journal =      j-SIGCSE,
  volume =       "31",
  number =       "1",
  pages =        "100--104",
  month =        mar,
  year =         "1999",
  CODEN =        "SIGSD3",
  DOI =          "https://doi.org/10.1145/384266.299698",
  ISSN =         "0097-8418 (print), 2331-3927 (electronic)",
  ISSN-L =       "0097-8418",
  bibdate =      "Sat Nov 17 16:56:36 MST 2012",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
  abstract =     "In a first course in formal methods for software
                 engineers, the emphasis on the topic of logic should be
                 on using (first-order predicate) logic to specify and
                 formally describe properties. In this paper, we suggest
                 using ERDs (Entity-Relationship Diagrams) as support
                 for formalization exercises. Starting from graphical
                 descriptions (ERDs) and textual informal specification
                 of various constraints, students have to produce an
                 equivalent textual and formal specification. We present
                 the notation we use in our course (Spec), some
                 heuristics to obtain the formal concepts from ERDs and
                 a small example.",
  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