Location of Repository

General Terms

By Joan Krone, Joseph E. Hollingsworth, Murali Sitaraman and Jason O. HallstromJoan Krone, Joseph E. Hollingsworth, Murali Sitaraman and Jason O. Hallstrom

Abstract

We identify a set of basic reasoning principles for computer science students that are essential to the development of high quality software. These principles can be integrated in various courses throughout the CS curriculum so that students understand not just how to write correct software, but to reason about why their software is correct. This paper summarizes evaluation results from our attempts to teach some of these principles. It also presents results from a survey of faculty interested in teaching reasoning concepts. The results show the importance of specific principles and their applicability to a range of courses

Topics: Design, Documentation, Human Factors, Languages, Verification. Keywords Software engineering, components, mathematical thinking, tools
Year: 2010
OAI identifier: oai:CiteSeerX.psu:10.1.1.188.5265
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.cs.clemson.edu/%7Er... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.