Go to Main Content

SCT WWW Information System

 

HELP | EXIT

Detailed Course Information

 

Fall 2017 Semester
Sep 26, 2017
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. Students who do not meet course prerequisites may seek permission of instructor.
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.7.2