Go to Main Content
 

HELP | EXIT

Detailed Course Information

 

Spring 2014 Semester
Apr 19, 2014
Transparent Image
Information Select the desired Level or Schedule Type to find available classes for the course.

CS 6535 - Engineering Reliable Software
Continues the exploration of several themes from CS 5010: unit testing, random testing, and logical reasoning about software. Specifically revisits the idea of systematic design and its connection to making logical claims about the workings of programs. After an introduction to the ACL2 programming language and theorem prover, offers students an opportunity to redesign interactive games (e.g., “Space Invaders”) and work on turning them into reliable projects. Prereq. CS 5010 or permission of instructor; restricted to students in the College of Computer and Information Science.
4.000 Credit hours
4.000 Lecture hours

Levels: Graduate
Schedule Types: Lecture

Computer Science Department

Course Attributes:
GSCS Computer & Info Science

Restrictions:
Must be enrolled in one of the following Levels:     
      Graduate
Must be enrolled in one of the following Colleges:     
      Coll of Computer & Info Sci
Must be enrolled in one of the following Classifications:     
      Graduate

Prerequisites:
Graduate level CS 5010 Minimum Grade of C-

Return to Previous New Search
Transparent Image
Skip to top of page
Release: 8.5.4