Entry Walker:1998:MIA 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{Walker:1998:MIA,
  author =       "Henry M. Walker",
  title =        "Modules to introduce assertions and loop invariants
                 informally within {CS1}: experiences and observations",
  journal =      j-SIGCSE,
  volume =       "30",
  number =       "2",
  pages =        "31--35",
  month =        jun,
  year =         "1998",
  CODEN =        "SIGSD3",
  DOI =          "https://doi.org/10.1145/292422.292437",
  ISSN =         "0097-8418 (print), 2331-3927 (electronic)",
  ISSN-L =       "0097-8418",
  bibdate =      "Sat Nov 17 16:56:31 MST 2012",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
  abstract =     "Over the past several years, the author has written,
                 used, and refined several modules that help introduce
                 the concepts of assertions and loop invariants within
                 CS1. After discussing the motivation for this work,
                 this paper describes the development of the modules
                 themselves, including both successes and
                 disappointments. Feedback from students and the
                 observation of students within a lab setting may shed
                 light on the background and perspectives of
                 introductory computer science students. This work also
                 suggests some preliminary conclusions, which might be
                 worthy of more formal, carefully-controlled validation
                 studies in the future.",
  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