UPM / IMDEA Software Institute Specialization Track in Software Development through Rigorous Methods (2017-2018)
Table of Contents
Students not affiliated to the IMDEA Software Institute need to get an approval to take courses in the Software Construction through Rigorous Methods track.
Weekly schedule
Please note that the weekly schedule can be subject to changes upon agreement between the students and the instructor.
Students willing to enroll in:
- Master Thesis,
- Any of the Software Construction courses.
- Directed or Independent Study
are required to get in touch with program instructors (either from IMDEA or UPM) before signing up for the course to check for the availability of slots / projects and to set up a feasible schedule for the meetings student / instructor. These projects do not have a fixed schedule or location because they are mostly individual work, one-on-one interaction with the instructor, or need a computer and a workplace. Please get in touch with your instructor to settle down these points.
The morning lectures in this track which are taught by IMDEA Software researchers are scheduled to take place at the IMDEA Software Institute, 500 meters from the CS School. Please get in touch with the coordinator for more details regarding the exact meeting place and possible schedule changes.
Afternoon and evening lectures have a different schedule; it will be linked from this page when ready.
Fall semester
| Monday | Tuesday | Wednesday | Thursday | Friday | |
|---|---|---|---|---|---|
| 9:00-11:00 | Independent Study | Software Construction: | |||
| With Adviser | Analysis of Requirements | ||||
| 11:00-12:00 | Independent Study | Basic Analysis | Computer | Foundations for | Software Construction: |
| With Adviser | of non-Functional | Security | Programming | Analysis of Requirements | |
| Properties | Languages | ||||
| 12:00-13:00 | Directed Study | Basic Analysis | Computer | Foundations for | Software Construction: |
| With Adviser | of non-Functional | Security | Programming | Architecture and Interface | |
| Properties | Languages | Design Issues | |||
| 13:00-15:00 | Directed Study | Weekly presentation | Software Construction: | ||
| With Adviser | series (fall) | Architecture and Interface | |||
| Design Issues |
Spring semester
| Monday | Tuesday | Wednesday | Thursday | Friday | |
|---|---|---|---|---|---|
| 9:00-11:00 | Advanced analysis of | Advanced topics | Formal methods for | Software Construction: | |
| non-Functional global | on computer | concurrent and | Implementation Issues | ||
| properties | security | reactive systems | |||
| 11:00-13:00 | Advanced analysis of | Advanced topics | Formal methods for | Abstract | |
| non-Functional global | on computer | concurrent and | Interpretation | ||
| properties | security | reactive systems | |||
| 13:00-15:00 | Abstract | Weekly presentation | Software Construction: | ||
| Interpretation | series (spring) | Implementation Issues |
Exams schedule
By regulation, all courses have to have a scheduled exam date, even if they can be passed with class homework, presentations, etc. The scheduled exam dates follow (note: some dates may not be final yet):
Fall term
| Jan. 19 | Jan. 20 | Jan. 21 | |
|---|---|---|---|
| 11:00-13:00 | Basic analysis of | Computer | Foundations for |
| non-functional | security | Programming | |
| global properties | Languages | ||
| 13:00-15:00 | Weekly presentation | ||
| series: fall term |
| Jan. 22 | Jan. 25 | |
|---|---|---|
| 9:00-12:00 | Software | Independent |
| construction: | study with | |
| analysis of | adviser | |
| requirements | ||
| 12:00-15:00 | Software | Directed |
| construction: | study with | |
| architecture and | adviser | |
| interface design |
Spring term
| Apr. 12 | Apr. 13 | Apr. 14 | |
|---|---|---|---|
| 9:00-11:00 | Advanced analysis | Formal methods for | |
| of non-functional | concurrent and | ||
| global properties | reactive systems | ||
| 11:00-13:00 | Advanced topics | Abstract | |
| on computer | Interpretation | ||
| security |
| June 7 | June 8 | |
|---|---|---|
| 13:00-15:00 | Weekly | Software |
| Presentations | Construction: | |
| Series: | Implementation | |
| Spring Term | Issues |
Extra exams (can be taken in case of failure in previous exams)
| Jul. 1 | Jul. 4 | Jul. 5 | Jul. 6 | |
|---|---|---|---|---|
| 9:00-11:00 | Computer | Independent study | ||
| security | with adviser | |||
| 11:00-13:00 | Basic analysis of | Advanced topics | Directed study | Foundations for |
| non-functional | in computer | with adviser | Programming | |
| global properties | security | Languages | ||
| 13:00-15:00 | Advanced analysis | |||
| of non-functional | ||||
| global properties | ||||
| 15:00-18:00 | Software construction: | |||
| analysis of | ||||
| requirements |
| Jul. 7 | Jul. 8 | Jul. 11 | Jul. 12 | |
|---|---|---|---|---|
| 9:00-11:00 | Software construction: | Formal methods | Software | |
| implementation | for concurrent and | Construction: | ||
| issues | reactive systems | Analysis of | ||
| Requirements | ||||
| 11:00-13:00 | Weekly presentation | Weekly presentation | Abstract | |
| series: spring term | series: fall term | Interpretation | ||
| 13:00-15:00 | Software construction: | |||
| architecture and | ||||
| interface | ||||
| Jul. 4 | Jul. 5 | Jul. 8 | |
|---|---|---|---|
| 9:00-11:00 | Types for | ||
| programming | |||
| languages | |||
| 11:00-13:00 | Analysis of | Weekly presentation | |
| concurrent | series: spring term | ||
| systems |
Back to the initial page
Go to the IMDEA Software Institute page
