Option en ingénierie logicielle et systèmes de programmation [30.0]

Les étudiants ayant suivi l'option "Software engineering and programming systems" devront être capables de :
- Comprendre et expliquer les problèmes rencontrés dans la conduite de gros projets logiciels, ainsi que l'impact critique du choix de solutions tout au long de leur cycle de vie  (dimensions de construction, de validation,  de documentation, de communication et de gestion de projet impliquant de grosses équipes ainsi que des coûts et délais à respecter)
- Choisir et appliquer des méthodes et outils d'ingénierie de systèmes logiciels complexes répondant à des critères stricts de qualité: fiabilité, adaptabilité, évolutivité, performance, sécurité, utilisabilité, ...
- Modéliser les produits et processus nécessaires à l'obtention de tels systèmes et analyser ces modèles
- Concevoir et réaliser des programmes d'analyse, de conversion et d'optimisation de représentations informatiques
- Utiliser à bon escient différents paradigmes et langages de programmation, en particulier en ce qui concerne la programmation fonctionnelle, orientée-objet et concurrente. 
- Comprendre les enjeux des différents modèles de programmation concurrente et répartie et utiliser le modèle approprié.
- Définir un nouveau langage (syntaxe et sémantique) approprié à un contexte spécifique
Légende
ObligatoireAu choix
Cours non dispensé cette année académiqueCours cyclique non dispensé cette année académique
Cours cyclique dispensé cette année académiqueCours de 2 ans

Cliquez sur le sigle du cours pour consulter le cahier des charges détaillé (objectifs, méthodes, évaluation, etc..)
Année
12

L'étudiant sélectionne 30 crédits parmi
Au choix INGI2252

Software engineering : measures and maintenanceKim Mens30h + 15h 5 crédits 2q xx
Au choix INGI2339

Abstract interpretationBaudouin Le Charlier (coord.), Peter Van Roy30h + 15h 5 crédits 1q xx
Au choix INGI2355

Software requirements and architectureAxel Van Lamsweerde30h + 15h 5 crédits 2q xx
Au choix SINF2224

Méthode de programmation : preuves et schémasCharles Pecheur30h + 15h 5 crédits 2q xx
Au choix SINF2335

Programming paradigms : theory, practice and applicationsKim Mens30h + 15h 5 crédits 1q xx
Au choix SINF2345

Languages and algorithms for distributed applicationsMarc Lobelle, Peter Van Roy (coord.)30h + 15h 5 crédits 1q xx
Au choix SINF2172

Conception de bases de donnéesAlain Pirotte30h + 30h 5 crédits 2q xx
 
Autre master proposant cette option
 
| 29/01/2009 |