Dependable Software Systems
Tuition
Duration
Admissions Deadline
Location
Profile
This Masters program on “Dependable Software Systems” (DESEM) is an Erasmus Mundus Master program which consists of courses of the Master in Computer Science of Université de Lorraine on Software Engineering and Formal Methods, displayed in English and opened to international students.The main objective of the Master program is to offer an advanced program on “Dependable Software Systems” (DESEM), mixing courses on foundations and key concepts and courses on methods, techniques, and applications, with some specialized courses depending on the interests and the professional project of the students. To ensure the adaptability required of future graduates to the constant evolution of the discipline, the program’s purpose is mastering the basic and key concepts of the software engineering discipline, such as algorithmics and programming, advanced software engineering, modelling systems, formal methods, logic and proofs, semantics, model-checking and verification, security of information systems, protocol and system verification techniques, with an emphasis on formal methods and their applications.
Map
Sorry, no records were found. Please adjust your search criteria and try again.
Sorry, unable to load the Maps API.
Related Programs
Program Information
Nancy
France
54100
France
- 2 years
Additional Information
Considerations