Go to Main Content
 

HELP | EXIT

Detailed Course Information

 

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

CS 6530 - Analysis of Software Artifacts
Addresses all kinds of software artifacts—specifications, designs, code, and so on—and covers both traditional analyses, such as verification and testing, and promising new approaches, such as model checking, abstract execution, and new type systems. Focuses on the analysis of function (for finding errors in artifacts and to support maintenance and reverse engineering), but the course also address other kinds of analysis (such as performance and security). Prereq. CS 5500.
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

Prerequisites:
Graduate level CS 5500 Minimum Grade of C- or Undergraduate level CS 5500 Minimum Grade of D-

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