2008-2009 Catalog 
    
    Apr 27, 2024  
HELP
2008-2009 Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

C S 638 - The Design and Modeling of Class Interfaces and Contracts

3 Credits
Past and present work related to specifying the semantics of a class using assertions are examined. The BON method is presented.Prerequisites: C S 538.


Add to Portfolio (opens a new window)
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