Catalog Navigator

UMKC Catalog

Home
Table of Contents
Introduction
Special Notices
Academic Programs
Undergraduate Admission Policy & Procedures
Undergraduate Academic Regulations and Information
Graduate Academic Regulations and Information
Division of Student Affairs
Libraries
University College
Arts and Sciences, College of
Biological Sciences, School of
Computing and Engineering, School of
Dentistry, School of
Education, School of
Graduate Studies, School of
Law, School of
Management, Henry W. Bloch School of
Medicine, School of
Music and Dance, Conservatory of
Nursing, School of
Pharmacy, School of
Pre-Medicine/Pre-Health
Faculty
Undergraduate Courses
Graduate Courses
Appendices

Table of Contents - Formal Software Specification

COMP-SCI 5552A Formal Software Specification

Formal modeling including specification and deviation of abstract data types, completeness issues in the design of data types and data structures, implementation of data structures from a formal data type specification, verification of abstract to concrete data mapping. Prerequisite(s): CS 291 and CS 303.

Faculty: School of Computing & Engineer

Department: Comp Sci & Elect Engr

Back

HOME | TEXT ONLY | DISABILITY SERVICES | CONTACT US

© Curators of the University of Missouri. DMCA and other copyright information. University of Missouri-Kansas City | Kansas City, MO 64110 | (816) 235-1000
UMKC is an equal opportunity/affirmative action institution. Email questions or comments about this website to webmaster@umkc.edu.