2015-2016 Graduate Academic Catalogue 
    
    Apr 18, 2024  
HELP
2015-2016 Graduate Academic Catalogue [ARCHIVED CATALOG]

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

CS 773 - Software System Specification

(3.00 cr.)

Corequisite: CS 770 . Formal specification of architecture and architecture frameworks, requirements, systems modeling languages, algebraic specification languages, denotational semantics, and correctness. Emphasis is on the rigor required to design and build critical systems.


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)
Catalog Navigation
  Catalogue Home
  Locations
  Accreditation
  The University
  Academic Regulations and Policies
  Fees
  Financial Aid
  Admission
  Honors and Awards
  Loyola College of Arts and Sciences
  School of Education
  The Joseph A. Sellinger, S.J., School of Business and Management
  Programs by Degree
  Course Descriptions
  Academic Calendar
  Board of Trustees
  Directory
  Catalogue Archive
  My Portfolio