UPM / IMDEA Software Institute Specialization Track in Software Development through Rigorous Methods (2013-2014)
Table of Contents
Enrollment for students wishing to obtain a masters degree
The enrollment is a two-step process: a preliminary application is performed first. After it, accepted students will receive information on how to to finish the enrollment and to sign up for the courses. The restrictions which apply to the enrollment in the MUSS Masters program are common to all tracks within it and are as follows:
- A minimum number of credits have to be taken.
- Courses are classified into areas. There is a minimum number of credits per area to be taken.
- Each course provides one or more competencies, named MSC1 to MSC9. The courses selected for the masters have to provide all the competencies.
Students wishing to take any of the courses from the IMDEA Software track (i.e., those listed below) must write in advance to graduate.school|at|software.imdea.org with the list of courses they intend to sign up for in order to check whether they meet the necessary requirements. Students with grants from the IMDEA Software Institute who wish to take courses from the regular track in the program must get in touch with their adviser at IMDEA Software in order to check for the appropriateness of the course(s).
Full time students aiming at obtaining a Masters degree have to pass a minimum of 60 credits, of which:
- 15 have to correspond to an MsC thesis.
- Two have to come from the Seminar on Scientific Research (which is mandatory in order to pass the Master).
- Seven have to be fulfilled with the seminars offered within the program which change every year and are often taught by visiting scholars.
Additionally, students have to be enrolled in a minimum of 27 and a maximum of 33 ECTS credits in each semester.
This is a partial list of requirements. A full list is available at the web site of the program.
Courses are structured into areas. In order to obtain the Masters degree, a minimum of ECTS credits per area have to be passed. The areas and the mininim number of credits per area are:
| Area Code | Area Name | Min. Credits |
|---|---|---|
| SE | Software Engineering | 8 |
| AV | Analysis and Verification | 4 |
| NSDS | Networked Services and Distributed Systems | 4 |
| DIAP | Data and Information Analysis and Processing | 8 |
| VEI | Virtual Environments and Interaction | 4 |
| SRS | Seminar on Scientific Research | 2 |
| Seminars on Advanced Topics | 7 | |
| TFM | Master Thesis | 15 |
The table below lists the in the Software Development through Rigorous Methods track, together with the area they belong to, the semester on which they are given, and the number of credits they provide.
| Course | SE (8) | DIAP (8) | AV (4) | NSDS (4) | VEI (4) | TFM (15) |
|---|---|---|---|---|---|---|
| Fall semester | ||||||
| Software Construction: Analysis of Requirements | 6 | |||||
| Software Construction: Architecture and Interface Design Issues | 6 | |||||
| Directed Study with Adviser | 6 | |||||
| Independent Study with Adviser | 6 | |||||
| Weekly Presentation Series: Fall Term | 4 | |||||
| Abstract Interpretation | 4 | |||||
| Reading Group on Basic Analysis of non-Functional Global Properties | 4 | |||||
| Computer Security | 4 | |||||
| Spring semester | ||||||
| Software Construction: Implementation Issues | 6 | |||||
| Weekly Presentation Series: Spring Term | 4 | |||||
| Reading Group on Advanced Analysis of non-Functional Global Properties | 4 | |||||
| Advanced Topics on Computer Security | 4 | |||||
| Formal Methods for Concurrent and Reactive Systems | 4 | |||||
| Analysis of Concurrent Systems | 4 | |||||
| Types for Programming Languages | 4 | |||||
| Master's thesis | 15 |
The rest of the courses in the masters are listed in the comprehensive list of Master courses.
Competencies
Every course has an associated set of competencies, from MSC1 to MSC9. Students wishing to obtain a Masters degree have to make a course selection which covers, through the whole year, all the competencies. The competencies corresponding to the Software Development through Rigorous Methods track are:
| Area | Course | MSC1 | MSC2 | MSC3 | MSC4 | MSC5 | MSC6 | MSC7 | MSC8 | MSC9 |
|---|---|---|---|---|---|---|---|---|---|---|
| SE | Software Construction: Analysis of Requirements | x | x | x | ||||||
| SE | Weekly Presentation Series: Fall Term | x | x | |||||||
| SE | Types for Programming Languages | x | ||||||||
| DIAP | Computer Security | x | x | x | ||||||
| DIAP | Advanced Topics on Computer Security | x | x | x | ||||||
| DIAP | Directed Study with Adviser | x | x | x | ||||||
| DIAP | Weekly Presentation Series: Spring Term | x | x | x | ||||||
| AV | Abstract Interpretation | x | x | |||||||
| AV | Reading Group on Basic Analysis of non-Functional Global Properties | x | x | |||||||
| AV | Software Construction: Implementation Issues | x | x | |||||||
| AV | Reading Group on Advanced Analysis of non-Functional Global Properties | x | x | |||||||
| AV | Formal Methods for Concurrent and Reactive Systems | x | x | |||||||
| NSDS | Independent Study with Adviser | x | x | |||||||
| NSDS | Analysis of Concurrent Systems | x | ||||||||
| VEI | Software Construction: Architecture and Interface Design Issues | x | ||||||||
| Master's thesis | (x) | (x) | (x) | (x) | (x) | (x) | (x) | (x) | (x) |
The (x) marks mean that the Master's thesis can offer any of those competencies.
Back to the initial page
Go to the IMDEA Software Institute page
