Master in Software and Systems

Instructions on Enrolment for the Master in Software and Systems

When you enrol, please make sure you comply with the constraints explained below. Students should carefully select the subjects that they intend to take in order to ensure that they will be able to complete the Master in Software and Systems on schedule (one year) and without having to enrol for more credits than necessary.

First, note the distribution of subjects by terms and number of enrolment credits. The lastest UPM entry and enrolment policy stipulates that a full-time student shall have to enrol for a minimum of 19 ECTS credits every term (or that for complete studies), although it is recommended by the program that students enrol for from 27 to 33 ECTS credits.

Students that, owing to their particular circumstances, need to take the master's degree on a part-time basis shall have to enrol for a minimum of 12 per term (or that for complete studies) and a maximum of 37 ECTS credits per academic year.

Second, note that you have to earn a minimum number of credits per course unit (the subjects section lists the subjects of each course unit), as illustrated in the table below:

More information:

Table listing course units and minimum number of credits to be taken for each one

Course Units Minimum Number of Credits per Course Unit
Software Engineering 8
Analysis and Verification 4
Networked Services and Distributed Systems 4
Data and Information Analysis and Processing 8
Virtual Environments and Interaction 4
Scientific Research and Advanced Topics 7 + 2 from the Scientific Method seminar

Regarding the subjetct "Scientific Research and Advanced Topics", there are two types of subjects:

The enrolment of these seminar subjects could be done in any of the two semesters, and students may attend any of the proposed seminars throughout the course, regardless of the semester of enrolment.

Third, your choice of subjects should ensure that by the end of the master's degree course you will have acquired all the competencies. The relationship between competencies and subjects is specified in the tables below (clasified by itineraries):

Software and Systems itinerary subjects:

More information:

Table listing subjects and competencies Cells marked with an 'x' indicates that students that take this subject will acquire the respective competency

Subjects SSC1 SSC2 SSC3 SSC4 SSC5 SSC6 SSC7 SSC8 SSC9
Software Engineering Experimentation x   x            
Non-classical Project Management Strategies and Software Development Methodologies     x            
21st Century Challenges for Software Engineering x   x            
Programming Paradigms       x          
Rigorous Software Development x       x        
Software Verification and Validation x     x x        
New Trends in Distributed Systems   x   x   x      
Service-Oriented Computing       x   x     x
Geographic Information Systems on the Web x x           x  
Data Mining Concepts, Practice and Research Challenges   x         x    
Image Processing and Analysis             x x  
Knowledge Discovery in Databases   x         x    
Advanced Numerical Computation   x         x x  
Intelligent Virtual Environments: Technologies, Architectures and Applications x               x
Challenges of Accessible Computing for People with Functional Diversity x               x

Software Development through Rigorous Method itinerary subjects (enrollment in these courses requires prior authorization):

More information:

Table listing subjects and competencies Cells marked with an 'x' indicates that students that take this subject will acquire the respective competency

Subjects SSC1 SSC2 SSC3 SSC4 SSC5 SSC6 SSC7 SSC8 SSC9
Foundations for Programming Languages *     x            
Abstract Interpretation * x       x        
Analysis of Concurrent Systems *       x          
Formal Methods for Concurrent and Reactive Systems * x       x        
Computer Security *   x         x x  
Reading Group on Advanced Analysis of Non-Functional Global Properties * x       x        
Reading Group on Basic Analysis of Non-Functional Global Properties* x       x        
Advanced Topics on Computer Security *   x         x x  
Directed Study with Adviser *   x         x x  
Independent Study with Adviser *           x      
Software Construction: Analysis of Requirements * x   x x          
Software Construction: Architecture and Interface Design Issues *                 x
Software Construction: Implementation Issues *       x x        
Weekly Presentation Series: Fall Term *     x x          
Weekly Presentation Series: Spring Term *   x         x x  

Software and Systems itinerary subjects:

More information:

Table listing subjects and competencies Cells marked with an 'x' indicates that students that take this subject will acquire the respective competency

Subjects GC1 GC2 GC3 GC4 GC7 GC8 GC9 GC12 GC13 GC14 GC17 GC19 GRC20 GRC23
Software Engineering Experimentation               x         x  
Non-classical Project Management Strategies and Software Development Methodologies       x x x x x x x x   x x
21st Century Challenges for Software Engineering       x x x x x x x x   x x
Programming Paradigms       x x x x x x x        
Rigorous Software Development       x   x x x x          
Software Verification and Validation       x   x x x x          
New Trends in Distributed Systems       x   x   x x x     x x
Service-Oriented Computing       x x x x x x x     x x
Sistemas de Información Geográfica en la Web x x   x   x   x            
Data Mining Concepts, Practice and Research Challenges x   x x x     x x x x x x x
Image Processing and Analysis       x x x x x x x       x
Knowledge Discovery in Databases         x x x   x       x x
Advanced Numerical Computation       x x x x x x x     x  
Intelligent Virtual Environments: Technologies, Architectures and Applications   x   x x x x x x       x x
Challenges of Accessible Computing for People with Functional Diversity   x   x       x x          

Itinerary Subjects of Software Development through Rigorous Method (the enrolment of these subjects need the previous authorization):

More information:

Table listing subjects and competencies Cells marked with an 'x' indicates that students that take this subject will acquire the respective competency

Subjects GC1 GC2 GC3 GC4 GC7 GC8 GC9 GC12 GC13 GC14 GC17 GC19 GRC20 GRC21 GRC23
Foundations for Programming Languages *         x x x x x x     x   x
Abstract Interpretation *       x x x x x x x     x   x
Analysis of Concurrent Systems *               x x x     x    
Formal Methods for Concurrent and Reactive Systems *       x x x x x x x     x   x
Computer Security * x   x x x x x x x x x x x   x
Reading Group on Advanced Analysis of Non-Functional Global Properties *       x x x x x x x     x   x
Reading Group on Basic Analysis of Non-Functional Global Properties *       x x x   x x x     x   x
Advanced Topics on Computer Security * x   x x x x x x x x x x x   x
Directed Study with Adviser * x   x x x x x x x x x x x   x
Independet Study with Adviser *       x x x x x x x     x   x
Software Construction: Analysis of Requirements *       x x x x x x x x   x   x
Software Construction: Architecture and Interface Design Issues *   x   x x x x x x       x   x
Software Construction: Implementation Issues *               x x x     x   x
Weekly Presentation Series: Fall Term *       x x x x x x x x   x   x
Weekly Presentation Series: Spring Term * x   x x x x x x x x x x x x  

* Subjects marked with an asterisk, students are required to apply for admission into the subject through the address graduate.school@software.imdea.org, to verify that all necessary requirements are met to successfully pursue it.

The compulsory seminar Science Method and the Master's final project allow get the next competencies:

More information:

Table listing subjects and competencies Cells marked with an 'x' indicates that students that take this subject will acquire the respective competency

Subjects GC2 GC3 GC4 GC5 GC6 GC8 GC9 GC10 GC11 GC13 GC14 GC15 GC16 GC18 GC19 GRC21 GRC22 GRC23 GRC24
Scientific Method Seminar x                         x x x x x x
Master's final project x x x x x x x x x x x x x         x  

Should you have any questions, please contact us at master.muss@fi.upm.es before enrolment.