The ideas and findings in this report should not be construed as an official DoD position. It is published in the interest of scientific and technical information exchange. Use of any trademarks in this report is not intended in any way to infringe on the rights of the trademark holder. Internal use. Permission to reproduce this document and to prepare… (More)
This report describes a growth path for the area referred to as <i>formal methods</i> within the computing education community. We define the term formal methods and situate it within our field by highlighting its role in Computing Curricula 1991, Computing Curricula 2001, and the SoftWare Engineering Body Of Knowledge (SWEBOK). The working group proposes… (More)
This paper describes a position about use of the Personal Software Process (PSP) metrics that was presented in the workshop: "Software Metrics: Views from Education, Research, and Training". The position presented here, describes how and why PSP metrics can be used in teaching and learning about software engineering.
This paper addresses a central and critical issue in the development of computer software - its quality. The main thesis of the paper is that computer science faculty, in their design and implementation of curricula, do not devote sufficient attention to teaching their students how to develop high-quality software. As in industry, the most common and… (More)
This paper presents a non-traditional approach to teaching the first course in programming for computer science majors: the use of an instructional strategy that relies on a top-down methodology to develop programming skills and problem-solving capabilities. The Ada programming language is used to implement the instructional strategy that is described. The… (More)