Apr 25, 2024  
2020-2021 Undergraduate Bulletin 
    
Catalog Navigation
  Bulletin Home
  All Programs
  All Courses

  The Henry Kendall College of Arts and Sciences
  The Collins College of Business
  The College of Engineering and Natural Sciences
  The Oxley College of Health Sciences
  The College of Law
  Undergraduate Interdisciplinary and Pre-professional Programs

  Academic Calendar
  Accreditation and Assessment
  Admission
  Undergraduate Education at The University of Tulsa
  Academic Policies
  Tuition and Fees
  Student Services
  Student Rights, Freedoms and Responsibilities
  Resident Faculty
  My Bulletin
HELP
2020-2021 Undergraduate Bulletin [ARCHIVED BULLETIN]

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

CS 4683 Software Specification and Design


(3 hours)
Formal and semi-formal methods of specification and verification are used to express and prove various functional requirements of software systems. Prerequisites: CS 2123  and MATH 3033 .


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