Learn More
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)
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)
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)