Nov 25, 2024  
2017-2018 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  Archived Catalogs
  Catalog User Guide
  Academic Calendar for 2017-2018
  About the University
  Administration and Governance
  Admission to the University
  Academic Policies and Procedures
  General Education Requirements
  Undergraduate Majors, Minors, Concentrations and Degrees
  Majors, A-Z
  Minors, A-Z
  Course Descriptions
  Exploratory Students
  College of Agricultural Sciences and Natural Resources
  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
  Center for International Education
  Audiology and Speech Pathology
  Honors and Scholars Programs
  Howard H. Baker Jr. Center for Public Policy
  Reserve Officers Training Corps (ROTC)
  University Libraries
  University Studies
  Glossary
  Sustainability Major, BA
  My Portfolio
HELP
2017-2018 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)