UPM / IMDEA Software Institute Specialization Track in Software Development through Rigorous Methods (2017-2018)
Table of Contents
Note: this course is taught at the the IMDEA Software Institute (in the Montegancedo Campus, 500 m. from the CS School). Please get in touch with the coordinator or one of the instructors for more details regarding the exact meeting place and possible schedule changes.
This course requires constant interaction with a researcher from the IMDEA Software Institute, who will be your adviser and who will monitor your progress. If you are not a student affiliated to the IMDEA Software Institute, please follow these instructions. If you do not follow them, you may be asked to register in some other course.
Software construction: implementation issues
Coordinator(s)
Instructor(s)
All the participating faculty members from the IMDEA Software Institute
Length
6 credits (ECTS)
Prerequisites
Previous contact with an adviser who provides a practical topic and the acceptance of the adviser. Excellent programming skills and knowledge of several programming languages and programming styles.
Course web page (if any)
Not yet available.
Summary and objectives
The student will be asked to perform the final development phase develop a software prototype to solve a non-trivial problem in close collaboration with an adviser. The requirements and design of the software will have been clarified previously with the adviser. The implementation language will have to be agreed upon, and may depend on the interaction needs of the software to be developed.
Among the possible kinds of software that can be developed we may cite:
- Analyzers for programming languages.
- Model checkers.
- Plugins for IDE tools.
- General interfaces between languages.
- Interfaces between programming-related tools (compilers, libraries, theorem provers).
- Extensions to compilers or interpreters.
- Implementations of simple compilers / interpreters.
This is of course an incomplete list.
This is a very demanding subject which requires considerable time and a deep understanding of the problem at hand. Therefore it will need very frequent contact between instructor and student (typically 3 to 4 hours per week). Students aiming at getting a MsC degree should consider the load that this brings about, especially taking into account that it is in the second semester which is planned to be partially devoted to the writing of the masters thesis.
Topics
Will depend on the topic jointly chosen by the student and the adviser.
Evaluation
Based on the performance and advances of the student.
