Dec 26, 2024  
2019-2020 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  The University of Tennessee
  The Graduate School - Administration and Governance
  Academic Policies and Requirements for Graduate Students
  Index for Academic Policies and Requirements for Graduate Students
  Degrees, Majors and Certificate Programs
  Majors / Minors, A-Z
  Certificates, A-Z
  Course Descriptions
  Accelerated Combined Bachelor’s/Master’s Programs
  Distance Education (DE) Programs
  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 Law
  College of Nursing
  College of Social Work
  College of Veterinary Medicine
  Intercollegiate
  Howard H. Baker Jr. Center for Public Policy
  University Libraries
  Glossary
  Archived Catalogs
  My Portfolio
HELP
2019-2020 Graduate 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)