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

SWE 623 - Formal Methods and Models in Software Engineering

Credits: 3 (NR)
Formal mechanisms for specifying, validating, and verifying software systems. Program verification through Hoare’s method and Dijkstra’s weakest preconditions. Formal specification via algebraic specifications and abstract model specifications, including initial specification and refinement toward implementation. Integration of formal methods with existing programming languages, and the application of formal methods to requirements analysis, testing, safety analysis, and object-oriented approaches. Formal methods using the Object Constraint Language (OCL).

Prerequisite(s): SWE 619, or permission of instructor.

Hours of Lecture or Seminar per week: 3
Hours of Lab or Studio per week: 0