Mark A. Ardis (Stevens Institute of Technology)
Stevens Institute of Technology
Publications by Mark A. Ardis (Stevens Institute of Technology)
-
Development of a Master of Software Assurance Reference Curriculum - 2013 IJSSE
July 31, 2013 • White Paper
Andrew J. Kornecki (Embry-Riddle Aeronautical University)James McDonald (Monmouth University)Julia H. Allen
In this paper, the authors present an overview of the Master of Software Assurance curriculum, including its history, student prerequisites, and outcomes
read -
The Development of a Graduate Curriculum for Software Assurance
July 31, 2013 • White Paper
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.
read -
Software Assurance Competency Model
March 11, 2013 • Technical Note
Thomas B. Hilburn (Embry-Riddle Aeronautical University)Mark A. Ardis (Stevens Institute of Technology)Glenn Johnson ((ISC)2)
In this report, the authors describe a model that helps create a foundation for assessing and advancing the capability of software assurance professionals.
read -
Software Assurance Curriculum Project Volume IV: Community College Education
September 01, 2011 • Technical Report
Nancy R. MeadElizabeth 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.
read -
Software Assurance Curriculum Master Bibliography and Course References
June 01, 2011 • User's Guide
Julia H. AllenNancy R. MeadMark A. Ardis (Stevens Institute of Technology)
In this report, the authors provide the master bibliography that is used with the software assurance curriculum.
read -
Software Assurance Curriculum Project Volume III: Master of Software Assurance Course Syllabi
March 01, 2011 • Technical Report
Nancy R. MeadJulia H. AllenMark A. Ardis (Stevens Institute of Technology)
In this report, the authors provide sample syllabi for the nine core courses in the Master of Software Assurance Reference Curriculum.
read -
Development of a Master of Software Assurance Reference Curriculum - 2010 IJSSE
October 01, 2010 • Article
Nancy R. MeadJulia H. AllenMark A. Ardis (Stevens Institute of Technology)
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.
read -
Software Assurance Curriculum Project Volume I: Master of Software Assurance Reference Curriculum
August 01, 2010 • Technical Report
Nancy R. MeadJulia H. AllenMark A. Ardis (Stevens Institute of Technology)
In this report, the authors present a master of software assurance curriculum that educational institutions can use to create a degree program or track.
read -
SEI Report on Graduate Software Engineering Education (1989)
June 01, 1989 • Technical Report
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.
read -
Formal Verification of Programs
December 01, 1988 • Curriculum Module
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.
read