May 02, 2024  
2012-2013 Undergraduate Academic Catalog 
    
Catalog Navigation
  Catalog Home
  President’s Welcome
  Academic Calendar
  University Overview
  Enrollment Management Department
  Academic Regulations and Policies
  Student Accounts, Fees and Financial Aid
  Other Academic Resources
  Academic Departments, Degree Programs, Minors and Certificates
  Degree Programs, Minors and Certificates
  Two-degree Programs
  Graduate Studies Programs
  Reserve Officer Training Corps (ROTC)
  Course Descriptions
  Board of Regents, Academic Administration, Faculty and Advisory Committees
  Campus Map
  My Portfolio
HELP
2012-2013 Undergraduate Academic Catalog [ARCHIVED CATALOG]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)

SE 3811 - Formal Methods

2 lecture hours 2 lab hours 3 credits
This course introduces the use of formal mathematical notation and reasoning in the software development process. These methods have applications in requirements specification, design and verification. Course topics include mathematical foundations, predicates, preconditions and postconditions, alternative notations, types of formal models, and the strengths and limitations of formal methods. (prereq: MA 2310  or SE 2811 )


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)