UP | HOME
a_software.gif
tercer_nivel_software.gif

UPM / IMDEA Track in Software Development through Rigorous Methods

Enrollment for students wishing to obtain a masters degree

Enrollment is a two-step process: a preliminary application is necessary, after which accepted students will receive information 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. A minimum number of credits per area have 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.

In addition to the above, 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 other 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).

Number of credits

Students aiming at a Masters degree have to pass a minimum of 60 credits, of which:

  • 15 correspond to an MsC thesis.
  • 2 correspond to the Seminar on Scientific Research.
  • 7 are fulfilled with the seminars offered within the program.

Credits per area

The table below lists the courses in the Software Development through Rigorous Methods track, together with the area they belong to and the number of credits they provide,



AreaFall SemesterCreditsAreaSpring SemesterCredits
SEPractical Project I4SETypes for Programming Languages4
SEPractical Project II4
AVAbstract Interpretation4AVProgram Analysis, Verification,4
and Transformation
AVReading Group on Analysis of3AVReading Group on Analysis of3
non-Functional Global Properties Inon-Functional Global Properties II
AVRigorous Software Development4
AVWeekly Theory Seminar I4
NSDSFormal Methods for Concurrent and4
Reactive Systems
NSDSWeekly Theory Seminar II4
NSDSAnalysis of Concurrent Systems4
DIAPReading Group on Computer Security I3DIAPReading Group on Computer Security II3
DIAPPersonal Work with Adviser II6DIAPComputer Security4
DIAPPractical Project III4
VEIPersonal Work with Adviser I6


Every course belongs to an area. The minimum number of credits to be taken from each of these areas are:



CodeAreaMin. Credits
SESoftware Engineering8
AVAnalysis and Verification4
NSDSNetworked Services and Distributed Systems4
DIAPData and Information Analysis and Processing8
VEIVirtual Environments and Interaction4
SRSSeminar on Scientific Research and2
Seminars on Advanced Topics7

Note that the Seminar on Scientific Research is mandatory and it appears in the other track of the program. The Seminars on Advanced Topics are proposed every year and are often taught by visiting scholars.

Competencies

Every course has an associated set of competencies, from MSC1 to MSC9. Students wishing to obtain a masters have to make a course selection so that all competencies are covered by this selection. The competencies corresponding to every course appear in the table below, together with the area they belong to.


AreaCoursesMSC1MSC2MSC3MSC4MSC5MSC6MSC7MSC8MSC9
SETypes for Programming Languagesx
SEPractical Project Ix
SEPractical Project IIx
AVRigorous Software Developmentxx
AVProgram Analysis,x
Verification and Transformation
AVAbstract Interpretationx
Reading Group onx
AVAnalysis of Global
non-Functional Properties I
Reading Group onx
AVAnalysis of Global
non-Functional Properties II
AVWeekly Theory Seminar Ix
NSDSWeekly Theory Seminar IIx
NSDSAnalysis of Concurrent Systemsx
NSDSFormal Methods forx
Concurrent and Reactive Systems
DIAPPractical Project IIIx
DIAPPersonal Work with Adviser IIx
DIAPComputer Securityx
DIAPReading Group on Computer Security Ix
DIAPReading Group on Computer Security IIx
VEIPersonal Work with Adviser Ix




Back to the initial page
Go to the IMDEA Software Institute page

Fractals are used with permission from their author Cory Ench | © 2006-2007. IMDEA Software.
All rights reserved | Legal Notice | Privacy Policy