CIS Abroad has joined forces with
CEA CAPA Education Abroad
As part of the CEA CAPA Education Abroad family, you'll find even more opportunities with our expanding global network.
Barcelona SAE has joined forces with
CEA CAPA Education Abroad
As part of the CEA CAPA Education Abroad family, you'll find even more opportunities with our expanding global network.
Software Verification Techniques
Engineering & Social Sciences Program
Madrid, Spain
Dates: 1/16/26 - 5/30/26
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