Feb 09, 2025  
2021-2022 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  Archived Catalogs
  Academic Calendar for 2021-2022
  About the University
  Administration and Governance
  Admission to the University
  Academic Policies and Procedures
  General Education Requirements
  Accelerated Combined Bachelor’s/Master’s Programs
  Distance Education (DE) Programs
  Majors, A-Z
  Minors, A-Z
  Course Descriptions
  Exploratory Students
  Herbert College of Agriculture
  College of Architecture and Design
  College of Arts and Sciences
  Haslam College of Business
  College of Communication and Information
  College of Education, Health, and Human Sciences
  Tickle College of Engineering
  College of Nursing
  College of Social Work
  Intercollegiate
  Center for Global Engagement
  Honors and Scholars Programs
  Howard H. Baker Jr. Center for Public Policy
  Reserve Officers Training Corps (ROTC)
  University Libraries
  University Studies
  University Transition Program
  Glossary
  Catalog User Guide-1
  Degrees, Majors, Concentrations, Minors, Certificates 2021-2022
  My Portfolio
HELP
2021-2022 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): COSC 311  or COSC 317  with a grade of C or better.


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