Nov 23, 2024  
Graduate Studies Catalog 2023-2024 
    
Catalog Navigation
  Catalog Home
  Accreditations and Licensures
  Mission Statement/Memberships of the University
  Academic Calendar
  General Information
  Admission and Registration
  Academic Regulations
  Resources
  Tuition and Fees
  Accountancy
  Business Administration
  Business Analytics
  Chemistry, Biochemistry, Clinical Chemistry
  Clinical Mental Health Counseling, Clinical Rehabilitation Counseling, School Counseling, and Applied Behavior Analysis
  Cybercrime Investigation and Cybersecurity
  Education
  Finance
  Health Administration and Human Resources
  Health Informatics
  Nursing
  Occupational Therapy
  Physical Therapy
  Software Engineering
  Speech Language Pathology
  Theology
  World Languages and Cultures
  Course Descriptions
  University Administration
  University Directory
  Downloadable Graduate Catalog 2023-2024 PDF
HELP
Graduate Studies Catalog 2023-2024 [ARCHIVED CATALOG]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)

SE 504 - Formal Methods and Models

3 cr.
(Prerequisite SE 500) This course is concerned with the application of mathematical techniques and models to the problem of software development. Of particular concern are means by which to develop provably correct programs.


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)