2012-2013 University Catalog 
  
  Catalog Home
  Programs of Study
  Courses
  Schedule of Classes
  About George Mason University
  Admission
  Tuition, Expenses, and Financial Aid
  Academic Policies
  Student Rights and Responsibilities
  General Policies
  University Academic Programs and Resources
  University General Education
  College of Education and Human Development
  College of Health and Human Services
  College of Humanities and Social Sciences
  College of Science
  College of Visual and Performing Arts
  Krasnow Institute for Advanced Study
  School for Conflict Analysis and Resolution
  School of Law
  School of Management
  School of Public Policy
  Volgenau School of Engineering
  Bachelor's/Accelerated Master's Programs
  Programs by Department
  Administration and Faculty
  Transcript Key
HELP
2012-2013 University Catalog

SWE 823 - Software for Critical Systems

Credits: 3 (NR)
Study of software for systems in which failure can be catastrophic. Presents techniques to construct and analyze software for critical applications and examination of inherent limitations of such techniques, and interaction between techniques used during development and behavior of software during operation. Topics include tolerance of software faults, design redundancy, data redundancy, software safety, formal methods, statistical testing, design for analyzability, and design for testability.

Prerequisite(s): SWE 620 and STAT 554.

Hours of Lecture or Seminar per week: 3
Hours of Lab or Studio per week: 0
When Offered: Fall, Spring