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
Obligatoire Au choix Cours non dispensé cette année académique Cours cyclique non dispensé cette année académique Cours cyclique dispensé cette année académique Cours de 2 ans
Cliquez sur le sigle du cours pour consulter le cahier des charges détaillé (objectifs, méthodes, évaluation, etc..)
						Année
						1	2
L'étudiant sélectionne 30 crédits parmi
Cours obligatoires en ingénierie logicielle et systèmes de programmation25 crédits parmi
LSINF2224	Programming methods	Charles Pecheur	30h + 15h	5 crédits	2q	x	x
LINGI2252	Software engineering : measures and maintenance	Kim Mens	30h + 15h	5 crédits	1q	x	x
LINGI2339	Abstract interpretation	Baudouin Le Charlier	30h + 15h	5 crédits	1q	x	x
LSINF2345	Languages and algorithms for distributed applications	Peter Van Roy	30h + 15h	5 crédits	2q	x	x
LINGI2355	Software requirements and architecture	Axel Van Lamsweerde	30h + 15h	5 crédits	2q	x	x
Cours à option en ingénierie logicielle et systèmes de programmation L'étudiant sélectionne 1 cours parmi
LSINF2172	Database design	N.	30h + 30h	5 crédits	2q	x	x
LSINF2335	Programming paradigms : theory, practice and applications	Kim Mens	30h + 15h	5 crédits	2q	x	x
LSINF2356	Human-computer interaction	Jean Vanderdonckt	30h + 15h	5 crédits	2q	x	x
LSINF2382	Computer supported collaborative work	Jean Vanderdonckt	30h + 15h	5 crédits	2q	x	x
LINGI2143	Concurrent systems : models and analysis	Charles Pecheur	30h + 15h	5 crédits	1q	x	x
LINGI2264	Automated reasoning	Charles Pecheur	30h + 15h	5 crédits	1q	x	x
LINGI2346	Distributed application design	Marc Lobelle	30h + 15h	5 crédits	1q	x	x
LINGI2365	Constraint programming	Yves Deville	30h + 15h	5 crédits	2q	x	x
LINMA2111	Mathématiques discrètes II : algorithmes et complexité	Vincent Blondel	30h + 22.5h	5 crédits	2q	x	x
LINGI2144	Secured systems engineering	Gildas Avoine	30h + 15h	5 crédits	1q	x	x