Master's Degree in Software Engineering, Formal Methods and Information Systems
SepStarting Month
Programme overview
Main Subject
Engineering - General
Degree
MSc
Study Level
Masters
Study Mode
On Campus
The software development sector must provide technological support to the construction of the information society. The master¿s degree training programme will clearly contribute to increasing the technological level of Spanish society in all areas related to the information society. One of the keys to success in software and information systems development lies in the use of methods and tools to build reliable and quality software in a productive way. This master's degree addresses the following thematic lines:
- Software Engineering. The techniques used in the design and development of state-of-the-art software systems are analysed. - Multi-paradigm Software Technology. It provides in-depth knowledge of the fundamentals, operation and implementation of automatic tools for analysis, verification, certification, debugging, transformation and optimisation of software systems in different programming paradigms and multi-paradigm programming. - Information Systems. The architectural, organisational and interface peculiarities of such systems are studied in depth, including the organisation, storage, processing and retrieval of information from data in different formats.
Programme overview
Main Subject
Engineering - General
Degree
MSc
Study Level
Masters
Study Mode
On Campus
The software development sector must provide technological support to the construction of the information society. The master¿s degree training programme will clearly contribute to increasing the technological level of Spanish society in all areas related to the information society. One of the keys to success in software and information systems development lies in the use of methods and tools to build reliable and quality software in a productive way. This master's degree addresses the following thematic lines:
- Software Engineering. The techniques used in the design and development of state-of-the-art software systems are analysed. - Multi-paradigm Software Technology. It provides in-depth knowledge of the fundamentals, operation and implementation of automatic tools for analysis, verification, certification, debugging, transformation and optimisation of software systems in different programming paradigms and multi-paradigm programming. - Information Systems. The architectural, organisational and interface peculiarities of such systems are studied in depth, including the organisation, storage, processing and retrieval of information from data in different formats.
Admission Requirements
- Candidates are required to submit references or letter(s) of recommendation for acceptance
Scholarships
Selecting the right scholarship can be a daunting process. With countless options available, students often find themselves overwhelmed and confused. The decision can be especially stressful for those facing financial constraints or pursuing specific academic or career goals.
To help students navigate this challenging process, we recommend the following articles:
Get closer to your dream programme
Your consent preferences have been set.
Time to start exploring.
Your account has been removed.
You can still browse the site or sign up again once you have parental consent.
Get closer to your dream programme