TrustOpen Education Category · Discipline · Subject · Course

Course

CRS-0102-03-005Advanced Software Quality

advancedactive

Advanced topics in reliability engineering, formal methods, and safety-critical software quality.

Advanced Software Quality

advancedactive

Also known as: Advanced Testing and Reliability

Course nameAdvanced Software Quality
Course codeCRS-0102-03-005
Canonical IDurn:taxonomy:cip-aligned:course:0102-03-005
Leveladvanced
Statusactive
SubjectSoftware Quality (SUB-0102-03)
DisciplineSoftware Engineering (DIS-0102)
CategoryComputing and Information Sciences (CAT-01)

Advanced topics in reliability engineering, formal methods, and safety-critical software quality.

Credit hours

Min3
Max3
Typesemester

Contact hours

Lecture3
Lab0
Studio0
Clinical0
Practicum0

Learning outcomes

  • Apply reliability engineering techniques.
  • Use formal methods for critical systems.
  • Assess safety-critical quality.

Topics

reliabilityformal methodssafety-criticalstandardsfault toleranceverification

Assessments

examsprojectresearch_paper

Prerequisites

CRS-0102-03-003

Corequisites

None

Equivalent courses

None

Cross-listed courses

None

Delivery modes

in_persononline

Languages

en
👤