Objectifs par rapport aux acquis d'apprentissage du programme

• Avoir acquis des connaissances hautement spécialisées et intégrées et des compétences larges dans les diverses disciplines des sciences informatiques, qui font suite à celles relevant du niveau de bachelier en sciences informatiques
• Réaliser des travaux de développement ou d'innovation en informatique
• -Etre capable d'appliquer, de mobiliser, d'articuler et de valoriser les connaissances et les compétences acquises en vue de contribuer à la réalisation d'un travail de développement ou d'innovation
• -Pouvoir maîtriser la complexité d'un tel travail et tenir compte des objectifs et des contraintes qui le caractérisent
• Maîtriser les techniques de communication
• -Pouvoir communiquer de façon claire, structurée et argumentée, tant à l'oral qu'à l'écrit, ses conclusions, ses propositions originales ainsi que les connaissances et principes sous-jacents
• -Etre capable d'adapter sa communication à des publics divers
• -Le cas échéant, être capable de communiquer dans une langue étrangère
• Développer et intégrer un grand degré d'autonomie
• -Etre capable d'acquérir seul de nouveaux savoirs
• -Poursuivre sa formation et développer de nouvelles compétences de façon autonome
• -Développer et intégrer un fort degré d'autonome pour pouvoir évoluer dans de nouveaux contextes
• Appliquer une méthodologie scientifique
• -Avoir la capacité de mener une réflexion critique sur l'impact de l'informatique en général et, en particulier, lors de la contribution à des projets
• -Faire preuve de rigueur, d'autonomie, de créativité, d'honnêteté intellectuelle, de sens éthique et déontologique

Acquis d'apprentissage UE

Savoir mettre en pratique les méthodes formelles dans des cas concrets à l'aide d'outils logiciels, pouvoir intégrer les méthodes formelles dans un processus de développement logiciel, être capable d'aborder des travaux avancés dans le domaine.

Contenu de l'UE

Lecture et présentation de travaux avancés en vérification et synthèse de systèmes informatiques. Projet : conception d'un système à l'aide de méthodes formelles.

Compétences préalables

Notions de base d'algorithmique, programmation, complexité, logique.

Types d'évaluations Q2 pour l'UE

• Présentation et/ou travaux
• Examen oral

Commentaire sur les évaluations Q2 de l'UE

Présentations de travaux avancés sur base d'articles ou de livres (Evaluation E3). Projet (potentiellement en groupe) (Evaluation E4). <b>Note finale de l'UE. </b>Si une des évaluations est inférieure à 8, la note finale est égale à l'évaluation minimale. Sinon, la pondération suivante est appliquée : E3 (40%), E4 (60%).

Types d'évaluation Q3 pour l'UE

• Présentation et/ou travaux
• Examen oral

Commentaire sur les évaluations Q3 de l'UE

Même règles qu'au Q2. Toute évaluation en-dessous de 10 doit être repassée au Q3.