In this paper, the authors present an overview of the Master of Software Assurance curriculum, including its history, student prerequisites, and outcomes
In this paper, the authors describe the work of the Master of Software Assurance curriculum project, including sources, process, products, and more.
In this report, the authors describe a model that helps create a foundation for assessing and advancing the capability of software assurance professionals.
Topics: Software Assurance
In this report, the authors focus on community college courses for software assurance.
In this report, the authors provide the master bibliography that is used with the software assurance curriculum.
In this report, the authors provide sample syllabi for the nine core courses in the Master of Software Assurance Reference Curriculum.
Topics: Cybersecurity Engineering
In this article, the authors summarize the Master of Software Assurance curriculum project, including its history, outcomes, a core body of knowledge, and curriculum architecture.
In this report, the authors present a master of software assurance curriculum that educational institutions can use to create a degree program or track.
This 1989 annual report on graduate software engineering education describes recent SEI educational activities, including the 1988 SEI Curriculum Design Workshop.
Topics: Performance and Dependability
This 1988 module introduces formal verification of programs, dealing primarily with proofs of sequential programs, but also with consistency proofs for data types and deduction of particular behaviors of programs from their specifications.