Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Mark A. Ardis (Stevens Institute of Technology)
July 2013 - White Paper The Development of a Graduate Curriculum for Software Assurance

Topics: Cybersecurity Engineering, Software Assurance

Authors: Mark A. Ardis (Stevens Institute of Technology), Nancy R. Mead

In this paper, the authors describe the work of the Master of Software Assurance curriculum project, including sources, process, products, and more.

March 2013 - Technical Note Software Assurance Competency Model

Topics: Cybersecurity Engineering, Software Assurance

Authors: Thomas B. Hilburn (Embry-Riddle Aeronautical University), Mark A. Ardis (Stevens Institute of Technology), Glenn Johnson ((ISC)2), Andrew J. Kornecki (Embry-Riddle Aeronautical University), Nancy R. Mead

In this report, the authors describe a model that helps create a foundation for assessing and advancing the capability of software assurance professionals.

September 2011 - Technical Report Software Assurance Curriculum Project Volume IV: Community College Education

Topics: Software Assurance

Authors: Nancy R. Mead, Elizabeth K. Hawthorne (Union County College), Mark A. Ardis (Stevens Institute of Technology)

In this report, the authors focus on community college courses for software assurance.

June 1989 - Technical Report SEI Report on Graduate Software Engineering Education (1989)

Authors: Mark A. Ardis (Stevens Institute of Technology), Gary Ford

This 1989 annual report on graduate software engineering education describes recent SEI educational activities, including the 1988 SEI Curriculum Design Workshop.

December 1988 - Curriculum Module Formal Verification of Programs

Topics: Performance and Dependability

Authors: Alfs T. Berztiss (University of Pittsburgh), Mark A. Ardis (Stevens Institute of Technology)

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.