Get a Flight Credit worth up to $1,250 when you apply with code* by June 30, 2024
Software Verification Techniques
OVERVIEW
CEA CAPA Partner Institution: Universidad Carlos III de Madrid
Location: Madrid, Spain
Primary Subject Area: Computer Sciences
Instruction in: English
Course Code: 18280
Transcript Source: Partner Institution
Course Details: Level 300
Recommended Semester Credits: 3
Contact Hours: 42
Prerequisites: Programming (1st year / 1st semester)
Programming Techniques (1st year / 2nd semester)
Algorithms and Data Structures (2nd year / 2nd semester)
DESCRIPTION
1.- Fundamentals of software verification.
2.- Testing throughout the software lifecycle development models.
3.- Structured based techniques.
4.- Analytic techniques.
5.- Code and design verification techniques.
6.- Agile testing methods
2.- Testing throughout the software lifecycle development models.
3.- Structured based techniques.
4.- Analytic techniques.
5.- Code and design verification techniques.
6.- Agile testing methods
Speak with an
Admissions Advisor
Schedule an appointment to speak with a study abroad expert.
Book Appointment
LET'S CHAT