Nov 23, 2024  
2012-2013 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  Archived Catalogs
  Catalog User Guide
  Academic Calendar for 2012-2013
  About the University
  Admission to the University
  Academic Policies and Procedures
  General Education Requirements
  Undergraduate Majors, Minors, Concentrations, and Degrees (pdf)
  Majors, A-Z
  Minors, A-Z
  Course Descriptions
  College of Agricultural Sciences and Natural Resources
  College of Architecture and Design
  College of Arts and Sciences
  College of Business Administration
  College of Communication and Information
  College of Education, Health, and Human Sciences
  College of Engineering
  College of Nursing
  College of Social Work
  Audiology and Speech Pathology
  Chancellor’s Honors Program
  Haslam Scholars Program
  Reserve Officers Training Corps (ROTC)
  University Libraries
  University Studies
  Glossary
  My Portfolio
HELP
2012-2013 Undergraduate Catalog [ARCHIVED CATALOG]

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

COSC 440 - Formal Foundations of Software Engineering

4 Credit Hours
Principles of analysis and design of information systems. Principles of program design and verification, formal objects, formal specifications.

(RE) Prerequisite(s): 311.


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