Learn More
Universities throughout the world have established undergraduate programs in software engineering, which complement existing programs in computer science and computer engineering. To provide guidance in designing an effective curriculum, the IEEE Computer Society and the ACM have developed the Software Engineering 2004 (SE2004) set of recommendations. The(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)
The question that this panel will explore is the feasibility of specialization within software engineering degree programs, particularly at the undergraduate level. Over the years of software engineering curriculum development, we have seen good success in implementation of both undergraduate and graduate degree programs. We have also seen that some(More)
In this paper, we address issues that are pertinent to the improvement of software engineering curricula. We submit that a key impediment to the development of new courses and curricula and the advancement of software engineering education is the lack of guidance and support for such development. In this paper we propose the creation of a set of "Guidelines(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)