Apr 25, 2024  
2019-2020 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  Message from the President
  Non-Discrimination Policy and Annual Security Report
  Academic Calendar
  Chapman University at a Glance
  General Information
  Undergraduate Admission
  Expenses and Financial Aid
  Campus Life
  Academic Policies and Procedures
  Undergraduate Degree Requirements
  The George L. Argyros School of Business and Economics
  Donna Ford Attallah College of Educational Studies
  Crean College of Health and Behavioral Sciences
  Lawrence and Kristina Dodge College of Film and Media Arts: Sodaro-Pankey Undergraduate School of Media Arts
  Dale E. and Sarah Ann Fowler School of Engineering
  Schmid College of Science and Technology
  Wilkinson College of Arts, Humanities, and Social Sciences
  School of Communication
  College of Performing Arts
  School of Pharmacy
  University Programs
  Undergraduate Degrees by School
  Undergraduate Degree Programs
  Graduate Degree Programs by School
  Course Offerings
  University Leadership and Faculty Listing
HELP
2019-2020 Undergraduate Catalog [ARCHIVED CATALOG]

SE 420 - Formal Methods in Software Engineering

Prerequisite, SE 410 . A survey in formal methods in software engineering, including topics such as verification techniques, software mining, and specification languages. (Offered as needed.) 3 credits