Jan 28, 2025  
2008-2009 Catalog 
    
Catalog Navigation
  Catalog Home
  How To Use Your UCCS Bulletin
  From the Chancellor
  General Information
  Administration and Faculty
  The Graduate School
  College of Business and Administration
  College of Education
  College of Engineering and Applied Science
  College of Letters, Arts, and Sciences
  Beth-El College of Nursing and Health Sciences
  School of Public Affairs
  Programs
  Courses
  My Portfolio
HELP
2008-2009 Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

C S 533 - Formal Methods of Software Systems Engineering

3 Credits
Elements of discrete mathematics. Formal mechanisms for specifying and verifying the correctness, reliability, and efficiency of software systems. State transition, regular expression, context free, and applicative models. Assertions, Hoare axioms, and weakest preconditions. State machine, algebraic, and operational specification techniques.Prerequisites: C S 145 or equivalent, knowledge of a modern programming language, and discrete structures.


Add to Portfolio (opens a new window)