Entry Gamble:1995:IFS 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{Gamble:1995:IFS,
  author =       "R. F. Gamble",
  title =        "Integrating a formal specification course with a
                 software projects course via an editing tool",
  journal =      j-SIGCSE,
  volume =       "27",
  number =       "1",
  pages =        "312--316",
  month =        mar,
  year =         "1995",
  CODEN =        "SIGSD3",
  DOI =          "https://doi.org/10.1145/199691.199836",
  ISSN =         "0097-8418 (print), 2331-3927 (electronic)",
  ISSN-L =       "0097-8418",
  bibdate =      "Sat Nov 17 18:57:28 MST 2012",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
  abstract =     "This paper reports on a two-course sequence for
                 undergraduate students that provides them with an
                 intensive course in formal specification methods and a
                 traditional software design course. The specification
                 course provides an appreciation for the use of rigorous
                 specification methods within the software lifecycle.
                 The manual nature of developing a formal specification
                 provides the appropriate justification for the projects
                 in the software design course in which the students
                 create useful tools to aid the development of a formal
                 specification. Within the project course, the students
                 developed the first prototype of a graphical editor for
                 building Z specifications. We discuss the building of
                 the editing tool and its integration into the software
                 engineering curriculum.",
  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