Vous êtes sur la page 1sur 145

GUIDE des ÉTUDES

2023 - 2024

INFORMATIQUE
LICENCE 3e année

MASTER
Parcours Informatique Avancée
et Applications (I2A)
Parcours Développement et Validation
du Logiciel (DVL)
Parcours Ingénierie du Test et de la Validation
Logiciels et systèmes (ITVL)
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

SOMMAIRE
1 Mot de bienvenue 7
2 Candidature 8

2.1 Conditions d’accès 8


2.2 Étudiants relevant de « études en France » 8

2.2.1 Candidater en 1ère année d'une formation de niveau licence 9


2.2.2 Candidater en 2ème ou 3ème année de Licence ou en Master 9
3 Inscriptions 11

3.1 Stagiaires Formation Continue ou Formation tout au long de la vie 11

3.1.1 Personnes dont le coût de la formation est pris en charge 11


3.1.2 Personnes bénéficiant d'un maintien de rémunération durant la formation sans prise en charge 11
3.2 Étudiants boursiers 12
3.3 Aménagement des conditions d'études 12

3.3.1 Demandes de régime spécial d’études pour tout étudiant (hors sportifs de haut niveau) 12
3.3.2 Demandes de régime spécial d’études des sportifs de haut niveau 12
3.4 Carte étudiant 13
3.5 Les validations : VA / VAPP / VES / VAE 13

3.5.1 La Validation des Acquis (VA, Validation des Acquis Professionnels et Personnels - VAPP) 13
3.5.2 La Validation des Acquis de l’Expérience (VAE) et la Validation des Études Supérieures (VES) 14
3.6 Auditeurs (libres) 15
3.7 Transfert universitaire 16
3.8 Annulation inscription 16

3.8.1 Droits d’inscriptions acquittés par les usagers qui préparent des diplômes nationaux 16
3.8.2 Étudiants boursiers ayant acquitté les droits d’inscription 16
3.8.3 Étudiants exonérés sur demande et sur situation personnelle 16
4 Organisation des examens 17

4.1 Examens à Besançon 17


4.2 Examens dans un centre à l’étranger ou en France d’outre-mer 17
4.3 Examens en Campus connecté 18
4.4 Télé-examens 19

4
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

5 Règles générales des M3C 20

5.1 Organisation des cursus 20


5.2 Notation 20
5.3 Deuxième session 21
5.4 Capitalisation des UE et ECUE 21
5.5 Mode de validation du diplôme 22
5.6 Règles de compensation 22
5.7 Poursuite d’études avec un semestre de retard 22
5.8 Règles de redoublement 23
5.9 Absence à une épreuve 23
5.10 Mention 24
5.11 Poursuite des études 24
6 Mise en situation professionnelle - stage 25
7 Certifications 26

7.1 PIX 26

7.1.1 Généralités 26
7.1.2 Objectifs principaux 26
7.2 TOEIC 27
8 Communication et plateformes 28

8.1 Accès aux ressources électroniques 28

8.1.1 Activation compte universitaire SESAME 28


8.1.2 Accès aux cours 28
8.2 Production des étudiants 29

8.2.1 Les productions des étudiants 29


8.2.2 Plagiat 29
8.2.3 Citations et reproductions d’œuvres 29
8.3 Communication avec la scolarité 29
8.4 Plateforme moodle 30
8.5 Les bibliothèques universitaires 31
8.6 En pratique 31
9 Calendrier général 32
10 Contacts 33

5
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

11 Présentation de la formation 34

11.1 Organisation globale de la formation 34


11.2 Sessions de regroupement 35
11.3 Matériel 35
11.4 Enseignement 37
11.5 Plate-forme d’enseignement 37
12 Coût de la formation 38
13 M3C et évaluations des connaissances 40
14 Planning spécifique 2023-2024 41

14.1 Planning global de la filière informatique (hors MonMaster) 41


14.2 Planning des regroupements spécifiques au Master 2 ITVL 41
15 Modules pour les alternants du master ISL 43
16 Structure licence informatique 3e année 44
17 Description licence informatique 3e année 46
18 Structure master I2A 1e année 57
19 Description master I2A 1e année 59
20 Structure master I2A 2e année 70
21 Description master I2A 2e année 72
22 Structure master DVL 1e année 92
23 Description master DVL 1e année 94
24 Structure master DVL 2e année 105
25 Description master DVL 2e année 107
26 Structure master ITVL 2e année 117
27 Description master ITVL 2e année 119
28 Calendrier des examens 128

28.1 Licence Informatique 3e année CTU 128


28.2 Master Informatique parcours I2A 1re année CTU 130
28.3 Master Informatique parcours I2A 2e année CTU 132
28.4 Master Informatique parcours DVL 1re année CTU 134
28.5 Master Informatique parcours DVL 2e année CTU 136
28.6 Master Informatique parcours ITVL 2e année SUP-FC 138
28.7 Master informatique parcours ISL alternant 1re année 140
28.8 Master informatique parcours ISL alternant 2e année 142
29 Glossaire 144

6
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

1 - MOT DE BIENVENUE

A Bonjour à toutes et tous,

Bienvenue au SUP-FC pour votre reprise d’études qui est un choix difficile et vous avez raison de prendre connaissance
des informations présentes dans ce guide. Nous sommes le Service Universitaire de Pédagogie pour les Formations et la
Certification (SUP-FC1) de l’Université de Franche-Comté 2. Le SUP-FC propose des formations universitaires pour obtenir
des diplômes nationaux depuis 1966 à travers le Centre de Télé-enseignement Universitaire (CTU). Fort de ce savoir-faire
de plus de 50 ans, le CTU propose aux équipes pédagogiques un accompagnement intégrant les évolutions
pédagogiques dans le but de vous offrir un cadre cohérent. Ainsi, vous pouvez évoluer dans chaque enseignement
facilement et bénéficier d’un suivi personnalisé. Nous sommes adhérents de la Fédération Interuniversitaire de
l’Enseignement à Distance (FIED3) regroupant les établissements d’enseignement à distance francophones. Notre
université, membre fondateur de la Communauté de l’Université Bourgogne Franche-Comté , forme chaque année plus de 1
500 étudiants dans cette modalité distancielle sur dix grands domaines couvrant avec 18 diplômes différents les niveaux
du baccalauréat, de licence et de master. Chaque année, plus de 300 étudiants obtiennent leur diplômes en fin de cycle
avec des taux de réussite équivalent au présentiel.

Pour mieux répondre à vos attentes de public qualifié d’« empêché », nous avons mis en place la demi-vitesse pour
l’ensemble de nos diplômes. Avant de développer ce qu’est la demi-vitesse, il est nécessaire de préciser la notion
d’ « empêché ». Elle regroupe toutes les raisons pour lesquelles vous ne pouvez pas suivre votre formation à cause de
problèmes géographiques ou horaires, et ce, pour différentes raisons : être en situation de travail , éloigné de l’université,
atteint d’une pathologie ou maladie, sportifs de haut niveau… ou toute raison vous restreignant dans vos horaires ou
mobilité. Pourquoi la demi-vitesse, tout simplement pour être cohérent avec le fait que vous êtes empêché. En effet, vous
ne pouvez pas suivre une scolarité classique parce que vous ne pouvez pas consacrer le même temps à vos études qu’un
étudiant classique. Votre temps disponible est souvent de l’ordre de la dizaine d’heures en moyenne par semaine. Pour
cette raison, le CTU vous propose de la suivre selon votre rythme. Les enseignements habituellement organisé sur un
semestre sont organisés différemment avec une temporalité adaptée des modules enseignés afin de rendre compatible
votre charge de travail académique avec vos autres activités. Ainsi, il est possible de suivre votre scolarité à vitesse
classique ou en choisissant les modules que vous souhaitez suivre. De plus, nous proposons pour chaque diplôme des
certifications qui peuvent compléter votre formation.

Ce guide est une source d’informations importantes synthétisant les éléments réglementaires, administratifs, techniques
ou en lien avec votre scolarité en un seul support . Il contient sûrement la réponse aux questions que vous vous posez. Je
vous invite à consulter son sommaire pour trouver le thème en lien avec votre interrogation et ainsi obtenir votre réponse.
Si ce n’est pas le cas, vous pouvez nous contacter à travers l’un des différents moyens (mail, téléphone, réseaux sociaux,
courrier postal…) mis à votre disposition.

La reprise d’études est un choix courageux qui nécessite un investissement intellectuel et temporel important de votre
part. Pour cette raison, nos équipes pédagogiques et administratives sont à votre disposition pour vous accompagner vers
la réussite de votre projet qu’il soit personnel ou professionnel.

B dzfezfzfzf

dLe Directeur du SUP-FC


Fabrice BOUQUET
___________________________________
1. https://sup-fc.univ-fcomte.fr
2. https://www.univ-fcomte.fr
3. https://www.fied.fr
4. https://www.ubfc.fr

7
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

2 - CANDIDATURE

2.1 Conditions d’accès


Le titre requis pour l’accès à l’enseignement supérieur, en licence, est le baccalauréat, ou un titre
admis en équivalence. Une copie de ce diplôme est demandée dans le dossier. La commission
d’admission statue, au vu du parcours antérieur de l’étudiant et de son projet, sur le bien-fondé de son
admission en licence. Pour les étudiants étrangers, il est possible qu’une demande d’admission préalable
(DAP) en amont soit à faire (renseignements dans le paragraphe étudiants relevant de « études en
France »).

Dans le cas particulier d’un accès au-delà du premier semestre, la commission compétente statue au
vu du parcours antérieur de l’étudiant et de son projet, en étudiant une validation d’acquis au regard
des titres requis.

Le titre requis pour l’accès en master première année (M1) est la licence de la mention, cette
admission peut être faite sur dossier où une attention particulière sera portée sur le parcours suivi.
L’accès en master deuxième année (M2) nécessite l’obtention du master première année de la même
mention. Toutefois, pour les personnes ayant obtenu leur diplôme le plus récent hors Union
Européenne, l’accès en Master nécessite l’obtention d’un diplôme de la même mention du même niveau,
et d’avoir suivi au moins une année d’études universitaires dans un pays francophone de l’Union
Européenne dans une mention pertinente. Enfin, sauf exception, un certificat de langue C1 est demandé
aux personnes ayant obtenu leur dernier diplôme universitaire dans un système éducatif non
francophone. Il existe aussi une procédure de validation des acquis qui permet de faire valoir une
expérience conséquente pertinente pour la formation . Attention, l’accès n’est pas de droit, il est soumis
à candidature. L’admission est prononcée après avis de la commission d’admission en M1 qui statue au
vu du dossier du candidat.

Vous voulez candidater au SUP-FC, vous pouvez poser votre candidature sur le site https://sup-fc.univ-
fcomte.fr/ctu-candidature à la rubrique « je candidate »
Sauf si vous avez ou vous préparez une licence (ou équivalent), en France ou à l’étranger, vous
reprenez des études et possédez une licence (ou équivalent), en France ou à l’étranger, vous êtes de
nationalité étrangère, ressortissant de l’Espace économique européen, d’Andorre, de Suisse ou de
Monaco, vous êtes non européen résident dans un pays ou territoire non couvert par le dispositif Études
en France, vous bénéficiez de la formation continue, dans ce cas, vous pouvez poser votre candidature
sur le site Mon Master https://www.monmaster.gouv.fr

2.2 Étudiants relevant de « études en France »


Les deux textes réglementaires suivants définissent les dispositions pour l’admission et l’inscription
des étudiants internationaux à l’université :

• décret n°71-376 du 13 mai 1971 relatif à l'inscription des étudiants dans les universités (modifié le
25 mai 2013). Dispositions codifiées : Articles D612-11 à D612-18 du code de l'Éducation ;
• arrêté du 30 mai 2013 relatif aux demandes d'admission à une première inscription en première
année de licence et aux modalités d'évaluation du niveau de compréhension de la langue
française pour les ressortissants étrangers.

La procédure "Études en France" concerne uniquement les étudiants résidant dans l’un des 65 pays
suivants : Afrique du Sud, Azerbaïdjan, Algérie, Arabie Saoudite, Argentine, Bahreïn, Bénin, Bolivie,

8
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

Brésil, Burkina Faso, Burundi, Cambodge, Cameroun, Canada, Chili, Chine, Colombie, Comores, Congo,
Corée du Sud, Côte d'Ivoire, Djibouti, Émirats arabes unis, Égypte, Equateur, États-Unis, Gabon, Géorgie,
Ghana, Guinée, Haïti, Inde, Indonésie, Iran, Japon, Jordanie, Kenya, Koweït, Laos, Liban, Madagascar,
Malaisie, Mali, Maroc, Maurice, Mauritanie, Mexique, Niger, Nigeria, Pérou, Qatar, République
démocratique du Congo, République dominicaine, Royaume-Uni, Russie, Sénégal, Singapour, Taïwan,
Tchad, Thaïlande, Togo, Tunisie, Turquie, Ukraine, Vietnam.

2.2.1 Candidater en 1ère année d'une formation de niveau licence

Les modalités de demande d’inscription en 1ère année d'une formation de niveau licence varient en
fonction de votre situation. Si vous résidez dans un pays relevant de la procédure "Études en France"
...

1. … et vous avez la nationalité du pays dans lequel vous résidez . (Par exemple, vous habitez au
Maroc et avez la nationalité marocaine).
• Si vous préparez un autre diplôme (donnant accès à l’enseignement supérieur français),
vous devrez effectuer une Demande d’Admission Préalable (DAP) et suivre la procédure
"Études en France". La DAP se fait en ligne depuis la plateforme "Études en France".
2. … et vous avez la nationalité d’un pays de l’Union Européenne , ou êtes ressortissant de
Norvège, d’Islande, du Lichtenstein, de Suisse, d’Andorre ou de Monaco. (Par exemple, vous
habitez au Sénégal mais avez la nationalité allemande), vous devez uniquement formuler vos
vœux sur la plateforme "eCandidat" .

Si vous souhaitez intégrer l'enseignement supérieur pour l'année 2023/2024, voici les dates à connaître
pour vous porter candidat:

eCandidat :

• Candidatures : à partir du 2 mai 2023 au 22 septembre 2023

DAP - Demande d’admission préalable :

• Début des inscriptions 1er octobre 2023


• Clôture des inscriptions 15 décembre 2023

Votre dossier de candidature sera examiné en même temps par les 3 universités que vous aurez
demandées.

• Réponse des universités et propositions d'acceptation : avant le 31 mars 2023.


Les universités pourront vous faire part, le cas échéant, des propositions d'exonérations dont
vous pourriez bénéficier.
• Réponse de l'étudiant : avant le 15 mai 2023.
Si vous avez reçu plusieurs propositions d'acceptations, vous devrez faire un choix. Attention, si
vous ne répondez pas avant le 15 mai, l'absence de réponse sera considérée comme un refus.

2.2.2 Candidater en 2ème ou 3ème année de Licence ou en Master

Si vous souhaitez poursuivre vos études en France à partir de la 2ème ou 3ème année de licence ou
en master, vous devez suivre la procédure "Études en France" jusqu’à l’obtention d’un visa
étudiant. Créez votre dossier électronique personnel et laissez-vous guider. Nous vous invitons à
consulter le site Campus France de votre pays de résidence pour connaitre le calendrier de candidature
aux formations hors DAP (Licence 2 à Master). Dans le cadre de l'enseignement à distance, il n'est pas
nécessaire d'obtenir un visa pour suivre vos études . Seulement dans le cas où vous souhaiteriez venir
passer vos examens à Besançon, il sera alors nécessaire d'avoir un visa.

Pour contacter Campus France dans votre pays de résidence :

9
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

https://www.campusfrance.org/fr/espaces

10
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

3 - INSCRIPTIONS

Les inscriptions se déroulent de début juillet jusqu’au 28 octobre 2023 comme indiqué dans la partie
« calendrier général ». Le montant de celles-ci dépend du diplôme dans lequel vous vous inscrivez et de
votre statut.

3.1 Stagiaires Formation Continue ou Formation tout au


long de la vie
ll existe plusieurs cas possibles selon que la formation est prise en charge ou non.

3.1.1 Personnes dont le coût de la formation est pris en charge

Les différents cas sont :

• par l’employeur ou son Opérateur de Compétences (OPCO), au titre du Plan de Développement


des Compétences, d’une reconversion ;
• par le Compte Personnel de Formation (CPF) ;
• par TRANSITIONS PRO (Projet de Transition Professionnelle ou dispositif démissionnaire).

La formation peut se dérouler Hors Temps de Travail (sur temps personnel) ou dans le cadre d'un
congé spécifique avec accord de l'employeur (congés formation, congés examens, congés sans solde...).

3.1.2 Personnes bénéficiant d'un maintien de rémunération durant la formation sans prise en
charge

Selon les raisons suivantes :

• au titre du congé de formation professionnelle (fonctionnaire) ;


• au titre de l’Allocation de Retour à l’Emploi Formation (AREF) pour les demandeurs d’emploi
indemnisés par Pôle Emploi.

Les stagiaires/salariés pris en formation continue sont tenus de rendre l’ensemble des devoirs et
d’être présents aux examens.

Pour toute inscription dans le cadre de la formation continue, de demande de devis ou


d’informations complémentaires, contactez directement le service de Formation Continue et Alternance
de l’Université de Franche-Comté :

Service de Formation Continue & Alternance (SEFOC'AL)


Maison Des Étudiants (MDE)
36 A Avenue de l’Observatoire
25030 BESANCON CEDEX
http://formation-continue.univ-fcomte.fr
Courriel : sefocal@univ-fcomte.fr
Accueil : 03 81 66 61 21

11
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

3.2 Étudiants boursiers


Conformément à la réglementation en vigueur (article D-821-1 du code de l’éducation et circulaire
2016- 88 du 06-06-2016 et principe de l'annexe 1 (2ème phrase) de la circulaire des bourses : n°26 du
27 juin 2019), il est obligatoire pour les étudiants boursiers d’être assidus aux cours, de rendre tous les
devoirs et d’être présents à toutes les épreuves des examens . Le non-respect de l’une des obligations
citées entraînera le reversement de la bourse.

Les étudiants boursiers devront s’inscrire à temps plein (60 ECTS ).

3.3 Aménagement des conditions d'études


L’Université de Franche-Comté a mis en place des mesures destinées à l’amélioration des conditions
d’études concernant les étudiants à besoins spécifiques. Ces derniers pourront disposer
d'aménagements contractualisés entre eux et la composante. Pour cet article le terme "étudiant" sera
privilégié afin de s'en tenir à la lettre du législateur et pouvoir réglementaire. Cependant, il fait référence
de manière plus large aux usagers de l'enseignement supérieur. Peuvent bénéficier d'un régime spécial
d'étude : les étudiants salariés, les femmes enceintes, les chargés de famille, les étudiants engagés dans
plusieurs cursus, les étudiants présentant un handicap ou un trouble de la santé invalidant, les étudiants
à besoin éducatifs particuliers, les étudiants en longue maladie, les étudiants entrepeneurs, les artistes
de haut niveau, les sportifs de haut niveau, les étudiants exerçant des responsabilités au sein du bureau
d'une association, les étudiants accomplissant une activité militaire dans la réserve opérationnelle, les
étudiants accomplissant des missions dans la réserve opérationnelle de la police nationale, les étudiants
réalisant une mission dans le cadre du service civique, les étudiants réalisant un volontariat militaire
prévu à l'article L.121-1 du code du service nationnal, les étudiants élus dans les conseils
des établissements et des CROUS.

3.3.1 Demandes de régime spécial d’études pour tout étudiant (hors sportifs de haut niveau)

Les demandes sont faites dans les conditions et selon les procédures définies dans le document «
Demande de régime spécial d’études pour tout étudiant (hors sportif de haut niveau) »
(http://admission.univ-fcomte.fr/regime-special-etudes.php). Ce document contient le formulaire de
demande de régime spécial (à remplir par l’étudiant et qui sera annexé à son contrat pédagogique). Le
SUP-FC ne peut accorder que des aménagements pour les examens. Le dépôt de la demande peut se
faire dès le début de l'année universitaire et au plus tard 6 semaines avant la date des examens pour les
épreuves en contrôle terminal et dès le début de l'année universitaire (au plus tard au 30 octobre) pour
les épreuves en contrôle continu.

Les conditions d’éligibilité, les procédures à suivre par type de situation (formulaire, délai, organisme
instructeur, pièces justificatives ...), la liste des aménagements des études pouvant être proposés sont
énoncées dans la charte. Le directeur du SUP-FC décide des aménagements accordés ainsi que de leur
durée. Il notifie sa décision à l’usager.

3.3.2 Demandes de régime spécial d’études des sportifs de haut niveau

Pour les étudiants sportifs de haut niveau la demande est faite dans les conditions et selon les
procédures définies dans le document « Demande de régime spécial d’études pour étudiant sportif de
haut niveau universitaire (SHNU) » ( http://admission.univ-fcomte.fr/regime-special-etudes.php). Ce
document contient le formulaire de demande de régime spécial (le contrat SHNU) ainsi que la charte
des régimes spéciaux d’études des sportifs de haut niveau. Le formulaire (ou contrat SHNU) sera
annexé au contrat pédagogique de l’étudiant). Le SUP-FC ne peut accorder que des aménagements
pour les examens. Le dépôt de la demande est à réaliser entre le début de l'année universtaire et avant
le 30 octobre.

Les conditions d’éligibilité au statut SHNU, la procédure à suivre, les délais, les obligations des

12
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

parties, sont énoncés dans la charte.

Tous les usagers bénéficiant d’un régime spécial d’études se voient appliquer les modalités
pédagogiques et les modalités de contrôle des connaissances et des compétences de la formation, à
l’exception de celles spécifiées (par UE et ou ECUE) et annexées dans la décision d’attribution du
régime spécial prise par la composante.

Pour les usagers en licence ayant conclu avec l’université un contrat pédagogique pour la réussite
étudiante, ces modalités spécifiques sont inscrites dans ce contrat.

Pour les usagers ne pouvant pas être en présentiel pendant la période d’examens pour des raisons
indépendantes de leur volonté et sous réserve de l’accord du SUP-FC, la composante de la formation
peut leur proposer des modalités pédagogiques spécifiques d’examen.

Médecine Préventive Universitaire


45 avenue de l’Observatoire
BP 1535
25009 BESANCON CEDEX
Téléphone : +33 381 666 130
Courriel : sumpps@univ-fcomte.fr ou sumpps-handicap@univ-fcomte.fr

3.4 Carte étudiant


Une carte d’étudiant attestant de leur statut est délivrée à tout étudiant inscrit au SUP-FC en diplôme
principal.

Cette carte est envoyée par courrier.

Pour les étudiants qui redoublent ou qui se réinscrivent, un sticker à coller sur la carte leur sera
transmis, il ne faut donc pas jeter cette carte en fin d’année universitaire.

En cas de perte, un montant forfaitaire de 10 € sera demandé pour la réédition.

3.5 Les validations : VA / VAPP / VES / VAE


Sources législatives L613-3 à L613-4, L613-5, L613-6 du code de l’éducation, sources réglementaires
D613- 38 à D613-50 et R613-32 à R613-37 du code de l’éducation.

Pour les étudiants n’ayant pas le titre requis pour accéder au cursus envisagé par télé-enseignement
ou qui souhaitent être dispensés de certaines unités d’enseignement, le décret du 19 août 2013 permet
de faire valoir des études, des expériences professionnelles ou des acquis personnels.

3.5.1 La Validation des Acquis (VA, Validation des Acquis Professionnels et Personnels -
VAPP)

Elle a pour objet d’autoriser à s’inscrire à un diplôme universitaire, sans avoir le titre requis, en faisant
valider une expérience professionnelle, un acquis personnel ou toute formation suivie en France dans le
privé, le public, quelles qu’en aient été les modalités et la durée. L’étude de la demande et la proposition
de la décision se font sur dossier et dépendent d’une commission pédagogique présidée par un
professeur des universités.

La décision est valable pour l’année universitaire , dans l’établissement et la formation pour laquelle

13
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

l’inscription est autorisée. La demande est incluse dans la demande d’admission à la formation auprès
de la composante. Il existe cependant des réserves à ce dispositif. (La possibilité de VA doit être prévue
dans la réglementation du diplôme ou du concours.

Pour les non titulaires du bac ou dispense, ni sportif de haut niveau : 2 ans d’interruption et 21 ans
minimum à la date de la reprise d’études. Pour les candidats ayant déjà été inscrits et ayant échoué : 3
ans d’interruption avant accès année supérieure).

3.5.2 La Validation des Acquis de l’Expérience (VAE) et la Validation des Études Supérieures
(VES)

La Validation des Acquis de l’Expérience (VAE) et la Validation des Etudes Supérieures accomplies en
France ou à l’étranger (VES) permettent l’octroi d’un ou d’une partie de diplôme national de
l’enseignement supérieur.

Dans le cas de la VES , toute formation suivie en France et à l’étranger, dans le privé, dans le public,
quelles qu’en aient été les modalités et la durée produit des acquis mobilisables pour la validation.
L’étude de la demande et la proposition de la décision sont faites par le jury du diplôme ou une
émanation présidée par un enseignant-chercheur, sur dossier et entretien avec le candidat. La validation
est définitive mais reste partielle si l’établissement n’est plus accrédité à délivrer le diplôme. La
démarche se fait auprès de la composante. Le demandeur paie les droits d’inscription au diplôme mais
la demande est gratuite. L’inscription se fait sous le régime de la formation initiale et avec un statut
d’étudiant.

Dans le cas de la VAE , une durée minimale d’activité (un an exercée de façon continue ou
discontinue) est nécessaire. Pour un même diplôme, une seule demande par année civile et par
établissement est possible. Pour des diplômes différents, seulement trois demandes par année civile
sont possibles.

Les acquis mobilisables pour la validation sont : expériences professionnelles et acquis personnels
(dont études). L’étude de la demande et la proposition de la décision est faite par le jury du diplôme ou
une émanation présidée par un enseignant-chercheur, sur dossier et entretien avec le candidat. La
validation est définitive mais reste partielle si l’établissement n’est plus accrédité à délivrer le diplôme.

La démarche est faite auprès du Service de Formation Continue & Alternance. Le demandeur paie les
droits d’inscription au diplôme ainsi que des frais de suivi de VAE par le Service de Formation Continue
& Alternance. L’inscription se fait sous le régime de la formation continue et avec un statut VAE.

Les coordonnées de ce service sont :

Service de Formation Continue & Alternance (SEFOC’AL)


Maison Des Étudiants (MDE)
36 A Avenue de l’Observatoire
25030 BESANCON CEDEX
http://formation-continue.univ-fcomte.fr
Courriel : sefocal@univ-fcomte.fr
Accueil : 03 81 66 61 21

14
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

3.6 Auditeurs (libres)


Application du 8° du IV de l’article L.712-3 et des articles L.811-1 et L.719-4 du code de l’éducation, le
statut d’auditeur à l’université de Franche-Comté est défini ainsi :

Le statut d’auditeur permet de suivre des enseignements, organisé en présentiel et à distance, et de


bénéficier des supports de cours mais pas de se présenter aux examens. Toutes les formations et toutes
les unités d’enseignement ne sont pas ouvertes aux auditeurs : les composantes de l’ UFC sont
compétentes pour décider celles qu’elles leur rendent accessibles. Pour participer aux scrutins,
l’auditeur régulièrement inscrit, doit faire une demande d’inscription sur les listes électorales.

Une seule inscription en tant qu’auditeur (libre) peut être prise par année universitaire. L’autorisation
d’inscription sous statut d’auditeur est prononcée, pour le président et par délégation, par le directeur
de la composante dans laquelle l’auditeur demande à suivre des enseignements.

L’inscription administrative ouvre droit à une inscription pédagogique (au moyen d’une fiche)
permettant de suivre au maximum 4 unités d’enseignement au sein d’une seule et même composante.
L’auditeur libre peut suivre les enseignements des cours magistraux et de certains travaux dirigés, selon
accord de la composante. Dès lors que la composante a procédé à l’inscription pédagogique de
l’auditeur, lui sont octroyés l’accès, en salle et en ligne, aux cours, supports de cours et ressources
documentaires. Un auditeur ne peut être autorisé à suivre les travaux pratiques, ainsi que les UE
composées en totalité ou en partie de projets ou stages. Il n’est pas assuré pour ces catégories
d’enseignement.

Les auditeurs ne sont pas assujettis à la contribution de vie étudiante et de campus (CVEC).

Le montant des droits d’inscription afférent à l’inscription administrative est fixé à 100 euros.

Au SUP-FC, l’auditeur s’acquitte, en plus des droits d’inscription, du montant des droits pédagogiques.

Aucune demande de remboursement des droits (y compris les droits pédagogiques au SUP-FC) n’est
autorisée pour les auditeurs (libres).

C Frais d’accès aux cours pour une inscription non diplômante :

• Version électronique : 11,80 € par crédit ECTS


• Version électronique et cours papier (seulement pour les filières le proposant) : 12,90 € par crédit
ECTS

C Frais d’envoi de documents administratifs et correspondances :

• France métropolitaine : 10 €
• Europe ou DOM-TOM : 20 €
• Reste du monde : 35 €

C Frais d’envoi des supports de cours papier :

• France métropolitaine : 15 €
• Europe + DOM-TOM : 30 €
• Reste du monde : 50 €

15
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

3.7 Transfert universitaire


Le transfert correspond à la situation d’un étudiant régulièrement inscrit dans une année de diplôme
dans un établissement qu’il désire quitter et qui demande à s’inscrire dans la même année de diplôme
dans un établissement dans lequel il désire poursuivre ses études. Le transfert peut avoir lieu tant au
premier semestre qu’à la fin de celui-ci et après (soit au second semestre). La régularité du transfert
répond aux conditions de l’article D612-8 du code de l’éducation.

L’inscription ne peut être autorisée que lorsque les deux chefs d’établissement ont donné leur accord.
Le chef de l’établissement de départ transmet le dossier (édition du dossier étudiant Apogée) de
l’intéressé au chef de l’établissement d’accueil. La scolarité déjà accomplie est prise en considération
dans les conditions déterminées par l’établissement d’accueil.

3.8 Annulation inscription


En application des articles 18 et 19 de l’arrêté du 19 avril 2019 relatif aux droits d’inscription dans les
établissements publics d’enseignement supérieur relevant du ministre chargé de l’enseignement
supérieur, les critères généraux ont été définis par le conseil d’administration de l’université de Franche-
Comté lors de la séance du 08 octobre 2019. Le remboursement des droits d’inscription administrative
s’opère selon les cas suivants :

3.8.1 Droits d’inscriptions acquittés par les usagers qui préparent des diplômes nationaux

La demande doit être formulée par écrit avec accusé de réception et parvenir à l’établissement avant
le début de l’année universitaire, c’est-à-dire au plus tard le premier jour de la formation ou de la
réunion de rentrée le cas échéant. Le remboursement est de droit. Une somme de 23 € reste acquise à
l’établissement au titre des actes de gestion nécessaires à l’inscription. Après le début de l'année
universitaire, il ne sera effectué aucun remboursement.

3.8.2 Étudiants boursiers ayant acquitté les droits d’inscription

La demande de remboursement intégral des droits d’inscription acquittés par un étudiant ayant
obtenu le statut de boursier de manière tardive est de droit. Aucun frais pour actes de gestion ne peut
être retenu sur ce remboursement.

3.8.3 Étudiants exonérés sur demande et sur situation personnelle

Le remboursement des droits d’inscription de tous les usagers ayant obtenu une exonération sur
demande et sur situation personnelle ne pourra intervenir qu’après communication de la décision prise
par le président dans le cadre d’une procédure centralisée.

16
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

4 - ORGANISATION DES EXAMENS

Pour pouvoir participer aux examens, chaque étudiant doit s’inscrire préalablement depuis l’ ENT
(http:// ent.univ-fcomte.fr) dans l’onglet CTU, rubrique Inscription aux examens.

L’inscription aux examens est ouverte environ 6 semaines avant les examens, pendant une dizaine de
jours (voir le calendrier dans la partie calendrier général). Les étudiants sont prévenus de l’ouverture de
l’inscription aux examens par courriel sur leur boîte universitaire.

En cas d’absence à une épreuve, vous devez transmettre un justificatif dans les trois jours ouvrés (de
lundi à vendredi) suivant le déroulement de l’épreuve. Sinon, vous serez considéré comme « défaillant ».

La modalité officielle pour les examens est le présentiel sur le site de Besançon. Dans la mesure du
possible, nous proposons de passer les examens dans un centre à l'étranger ou en France d'outre-mer,
dans un campus connecté ou en télé-examens.

4.1 Examens à Besançon


• Les examens ont lieu à Besançon. Tous les renseignements utiles (instructions, listes
d’hébergement, plans, formulaires, . . . ) sont accessibles sur le site internet du SUP-FC.
• Les convocations sont envoyées en temps utile à l’adresse courriel fournie par l’université.

Les étudiants domiciliés en France ou dans les pays proches, devront obligatoirement se présenter à
Besançon pour les examens.

4.2 Examens dans un centre à l’étranger ou en France


d’outre-mer
Sous certaines conditions, il peut être envisagé d’ouvrir un centre d’examen à l’étranger (sauf pays
indiqués dans la note aux étudiants résidant à l’étranger) pour les étudiants se trouvant dans
l’impossibilité absolue de venir en France.

Une liste des centres avec lesquels le SUP-FC a déjà travaillé est indiquée sur le site internet :
https://sup-fc.univ-fcomte.fr

En cas de doute sur un pays, il est nécessaire de contacter la scolarité du SUP-FC. Des contraintes
très strictes s’appliquent cependant à cette opération qui doit se faire sous la responsabilité de la
représentation française dans le pays où se trouve le centre d’examen : l’étudiant doit, avant sa
demande d’inscription, vérifier les centres ouverts sur le site web du SUP-FC. En l’absence de centre, il
doit ensuite se mettre en rapport avec la scolarité du SUP-FC et ensuite devra contacter la
représentation (ambassade, consulat, institut français...) pour solliciter son accord. Nous rappelons que
le centre s’engage sur l’application stricte des conditions d’examens (durée, documents autorisés,
surveillance, etc), avec communication des nom et qualité de la personne chargée de la supervision des
épreuves et engagement de surveillance des candidats composant localement. Cet accord vaut
engagement de respect des conditions de déroulement des épreuves. La simultanéité parfaite avec
l’heure de Besançon pour le début et la fin des épreuves impose que le décalage horaire soit pris en
compte, car il est impossible de faire composer un étudiant à une heure qui permettrait de quitter la
salle d’examen avant que les étudiants aient commencé à composer à Besançon (ou inversement), et il
est exclu de proposer des sujets spécifiques. De plus, le centre s’engage à expédier par colis express
(transporteur international missionné par nos services) les copies au SUP-FC, une fois la session

17
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

d’examens terminée . Il est obligatoire de joindre la demande d’ouverture du centre d’écrit, hors France
métropolitaine, au dossier d’inscription pour validation. L’inscription ne pourra s’effectuer sans l’accord
explicite du SUP-FC, et à la condition que l’étudiant réside toute l’année à l’étranger.

Un montant forfaitaire, non remboursable, de 95€ sera réclamé pour chaque période d’examen aux
étudiants souhaitant composer à l’étranger ; ce montant devra être joint au moment de l’inscription. Le
paiement conditionne l’envoi des sujets à l’institution ayant accepté d’organiser l’examen. À défaut, le
SUP-FC n’adressera aucun sujet ou matériel d’examen au centre d’examens. Le SUP-FC notifiera
l’organisme à chaque session, avec rappel des modalités (copie à l’étudiant concerné) en janvier, mai et
août (en fonction du diplôme). L’envoi est fait par courrier express international au centre d’examens
des sujets et du matériel d’examen.

Les frais occasionnés localement pour l’organisation des épreuves seront totalement à la charge de
l’étudiant (frais pouvant concerner les locaux, les surveillances, etc.).

L’étudiant qui ne s’inscrit pas aux examens ou qui ne se présente pas aux épreuves doit avertir au
préalable le service de scolarité du SUP-FC et le centre d’examen concerné. Dans le cas contraire, il ne
pourra plus se représenter dans ce centre d’examens aux autres sessions et devra venir composer à
Besançon.

Important : la possibilité de composer à l’étranger ne sera pas systématiquement proposée comme


pour les pays frontaliers : la Belgique, les Pays-Bas, le Luxembourg, le nord de l’Espagne, le nord de
l’Italie, l’ouest de l’Allemagne, la Suisse…

D’une façon générale, il ne sera pas ouvert plusieurs centres d’examens dans un même pays.

4.3 Examens en Campus connecté


Sous certaines conditions, il peut être envisagé d’ouvrir un centre d’examen en campus connecté
pour les étudiants se trouvant dans l’impossibilité absolue de venir à Besançon.

Une liste des centres avec lesquels le SUP-FC a déjà travaillé est indiquée sur le site internet :
https://sup-fc.univ-fcomte.fr

Un montant forfaitaire, non remboursable, de 95€ sera réclamé pour chaque période d’examen aux
étudiants souhaitant composer en campus connecté ; ce montant devra être joint au moment de
l’inscription. Ce paiement conditionne l’envoi des sujets à l’institution ayant accepté d’organiser
l’examen. À défaut, le SUP-FC n’adressera aucun sujet ou matériel d’examen au centre d’examens. Le
SUP-FC notifiera l’organisme à chaque session, avec rappel des modalités (copie à l’étudiant concerné)
en janvier, mai et août (en fonction du diplôme). L’envoi est fait par courrier express au centre
d’examens des sujets et du matériel d’examen.

L’étudiant qui ne s’inscrit pas aux examens ou qui ne se présente pas aux épreuves doit avertir au
préalable le service de scolarité du SUP-FC et le centre d’examen concerné. Dans le cas contraire, il ne
pourra plus se représenter dans ce centre d’examens aux autres sessions et devra venir composer à
Besançon.

18
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

4.4 Télé-examens
Une quatrième modalité nécessitant un équipement spécifique est proposée pour les examens. Elle
est basée sur un principe de télésurveillance et elle est assurée par une entreprise extérieure. Elle vous
permet de composer vos contrôles terminaux de chez vous. Avant toute chose, il est important
de vérifier que vous êtes éligible à cette modalité. Pour être éligible, vous devez posséder un ordinateur
équipé d'une webcam, d'un navigateur internet récent, une connexion avec un débit suffisant et pouvoir
s'isoler pendant les épreuves. Le débit minimum pour envisager cette modalité doit être de 0,5 Mo/s en
upload et 3 Mo/s en download. Pour mesurer votre débit vous pouvez utiliser les sites
https://www.speedtest.net ou https://www.testdebit.fr. Une fois ces premières vérifications effectuées,
vous pouvez informer la scolarité de votre souhait d'utiliser le télé-examen. Vous pouvez faire cela dès
votre inscription ou au plus tard 2 mois avant les examens Une information rappelant le calendrier et les
modalités, vous sera envoyée sur votre boite mail universitaire avant chaque session d'examen.

Pour chaque nouvelle année universitaire, lorsque vous passez pour la première fois dans la modalité
en télé-examen (par exemple en janvier), vous devez régler la somme de 45€. Celle-ci vous permet
d'accéder au test de prise en main avec l'application de l'entreprise managExam. En cas de réussite,
vous serez donc éligible à cette modalité. Il faut alors vous inscrire aux examens sur l'application
dédiée https://examens-sup-fc.univ-fcomte.fr. Une fois votre inscription réalisée, vous pourrez régler le
complément qui est de 50€ plus 5€ pour chacune des heures d'examens auxquelles vous vous êtes
inscrits. En cas d'échec ou de non présentation au test de prise en mail, la somme de 45€ ne sera pas
remboursée et vous devez utiliser une autre modalité pour vos examens.

Lors des sessions suivantes d'examens (par exemple en mai et/ou en août), vous réglerez à l'issue de
votre inscription aux examens la somme de 95€ plus 5€ pour chacune des heures d'examens auxquelles
vous vous êtes inscrits.

Dans tous les cas, il n'y aura pas de remboursement si vous ne vous présentez pas ou en cas de
problème technique durant les examens en télé-surveillance.

19
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

5 - RÈGLES GÉNÉRALES DES M3C

5.1 Organisation des cursus


Chaque diplôme (licence ou master) proposé se décompose en plusieurs années universitaires,
chaque année étant elle-même composée de deux semestres universitaires. Chaque semestre
universitaire représente 30 crédits ECTS (European Credit Transfer System). La licence est obtenue dès
lors que l’étudiant a capitalisé 180 ECTS (soit 6 semestres) dans un parcours validé par la commission
pédagogique de la licence en question. Le master est obtenu dès lors que l’étudiant a capitalisé 120
ECTS (soit 4 semestres) dans un parcours validé par la commission pédagogique du master en question.

Chacune des années de licence et de master peut être préparée en Demi-vitesse (sauf exception) qui
est un rythme d’étude adapté aux personnes ne pouvant pas suivre leurs études à plein temps comme
les salariés, mais cela est ouvert à tous (hors boursiers). Ce rythme permet de répartir globalement les
enseignements sur l’année universitaire en réorganisant les semestres administratifs en période. En
temps normal un étudiant suit le semestre 1 (ou 3, 5, 7 ou 9) sur la période d’octobre à janvier («
période 1 ») et le semestre 2 (ou 4, 6, 8 ou 10) sur la période de février à mai (« période 2 »), soit une
année de diplôme sur une année universitaire.

Dans le cas de la demi-vitesse, l’étudiant suit une demi-année de diplôme (soit un semestre de
diplôme) sur une année universitaire complète soit d’octobre à mai (et pas seulement sur la période
d’octobre à janvier). Il suivra le deuxième semestre l’année universitaire suivante d’octobre à mai. En
validant un semestre complet par an, l’étudiant peut bénéficier de la compensation par semestre quand
elle est possible. Si le semestre n’est pas complètement validé, l’étudiant peut s’inscrire au semestre
suivant en plus des modules non validés (sauf lors du passage de la L3 au M1, ou du M1 au M2).

Pour le régime normal d’étude (ou vitesse normale), les cours se déroulent sur 2 semestres dans
chacune des périodes (octobre à janvier et février à mai). Pour visualiser cela, il convent se reporter aux
tableaux en début de présentation de diplôme.

Les étudiants ne pourront pas modifier leur inscription en cours d'année.

Vous pouvez retrouver une présentation de la demi-vitesse sous forme d’une animation vidéo sur le
site internet du SUP-FC dans la rubrique accueil CTU à l’adresse suivante :

https://sup-fc.univ-fcomte.fr/ctu

5.2 Notation
Notes éliminatoires et notes planchers , aucune note n’est éliminatoire, sous réserve des exceptions
prévues par les textes suivants :

• en master, voir la section relative aux « règles de compensation » ;


• en licence, par les tableaux fixant les M3C du diplôme qui peuvent définir une note minimum à
partir de laquelle s’applique la compensation entre UE.

Report des notes de la première à la deuxième session :

• en deuxième session, une prise en compte partielle du contrôle continu de première session peut
être prévue comme indiqué dans la partie spécifique à chaque diplôme. Elle peut porter sur la
totalité des épreuves ou seulement sur une partie d’entre elles ;
• si un usager est défaillant à une évaluation de contrôle continu de première session, qui est prise
en compte dans la note de la deuxième session, la note reportée est égale à zéro (ou

20
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

neutralisée).

Les tableaux spécifiques à chaque diplôme mentionnent les situations de prise en compte du contrôle
continu à la deuxième session.

Lorsque la moyenne pondérée des notes obtenues à un élément constitutif d’une unité
d’enseignement non validée est égale ou supérieure à 10/20, les notes de cet élément sont reportées de
la première à la deuxième session.

Renonciation à une note ou un résultat, aucune renonciation n’est possible.

Les usagers ne doivent repasser que les épreuves non validées situées dans des éléments constitutifs
non capitalisés, des unités d’enseignement non capitalisées, des semestres ou étapes (années) non
acquis.

Conservation des notes, lorsqu’ils n’ont pas obtenu leur diplôme, les usagers peuvent conserver, pour
un an à leur demande, le bénéfice des unités d’enseignement non acquises. Dans le cas particulier du
master, la demande ne peut concerner que les notes égales ou supérieures à 8 sur 20. Cette demande
doit être faite lors de la réinscription dans le diplôme l’année suivante.

5.3 Deuxième session


Après application des règles de validation, de compensation et de report, les usagers ajournés en
première session au diplôme, à l’étape (année), au semestre, ou à l’unité d’enseignement, doivent
repasser toutes les épreuves proposées en deuxième session dans lesquelles ils n’ont pas obtenu la
moyenne.

Cette disposition s’applique aussi bien en cas de résultats insuffisants qu’en cas d’absence à tout ou
partie des épreuves de première session.

Les usagers qui ne se présentent pas aux épreuves de deuxième session se voient appliquer les règles
relatives à l’absence aux examens.

Par principe, les notes et résultats de la deuxième session annulent et remplacent ceux de la première
session. Cependant, par dérogation à ce principe, les tableaux des M3C peuvent préciser que la note et
le résultat pris en compte correspondront au meilleur résultat entre la première et la deuxième session.

5.4 Capitalisation des UE et ECUE


Les unités d’enseignement sont définitivement acquises et capitalisables dès lors que l’usager y a
obtenu la moyenne. L’acquisition de l’unité d’enseignement emporte l’acquisition des crédits européens
qui lui sont affectés.

De même, sont capitalisables, dans les licences en six semestres et en master, les éléments
constitutifs des unités d’enseignement dont la valeur en crédits européens est également fixée.

Les unités d’enseignement et éléments constitutifs dans lesquels l’usager n’a pas obtenu la moyenne
gardent un résultat négatif et ne peuvent pas être capitalisés, même si l’usager a validé son semestre ou
son année par compensation sur la base de la moyenne générale des unités d’enseignement.

En cas de redoublement ou de modification de l’offre de formation, les UE acquises au titre d’une


année universitaire antérieure et ne figurant plus au programme du diplôme font l’objet de mesures
transitoires. Les mesures transitoires préservent le nombre de crédits européens acquis par l’usager.

21
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

5.5 Mode de validation du diplôme


L'étudiant peut obtenir son diplôme (DEUG - licence – maîtrise - master), soit par acquisition de
chaque unité d’enseignement constitutive du parcours correspondant, soit par application des
modalités de compensation, soit par VAE. Le diplôme intermédiaire du DEUG correspond à la première
et à la deuxième année de la licence ; le diplôme intermédiaire de maîtrise correspond à la première
année du master.

La validation d’un diplôme confère la totalité des crédits européens prévue pour le diplôme, quel que
soit son mode d’obtention.

5.6 Règles de compensation


Pour la licence

Toutes les licences conservent la compensation semestrielle entre les UE sous réserve de notes
planchers (note minimum à partir de laquelle la compensation s’applique) dont les valeurs sont
précisées par UE dans les tableaux de M3C par diplôme. La mise en œuvre de la compensation annuelle
entre les deux semestres d’une année est possible. Elle est précisée dans le tableau par diplôme.

Pour l'étudiant dont la moyenne annuelle est supérieure ou égale à 10/20 et qui aurait une seule note
d’UE inférieure à la note minimale définie dans le tableau des M3C, le jury a la possibilité de lever cette
note éliminatoire sans modifier la valeur de ses notes (admis par jury).

Pour le master

Il existe une compensation semestrielle (entre les UE) et annuelle (entre les semestres 7 et 8, 9 et 10),
sauf lorsque la moyenne obtenue à au moins une UE est inférieure à 8/20.

La compensation par année ne s’exerce pas lorsque l’un des deux semestres est constitué
exclusivement d’unités de stages, mémoires ou projets tutorés.

Pour l'étudiant dont la moyenne annuelle est supérieure ou égale à 10/20 et qui aurait une seule note
d’UE inférieure à 8/20, le jury a la possibilité de lever cette note éliminatoire sans modifier la valeur de
ses notes (admis par jury).

Les compensations semestrielles et annuelles s’exercent dans un premier temps sur les résultats de la
première session puis sur ceux de la deuxième session lorsque celle-ci a lieu.

5.7 Poursuite d’études avec un semestre de retard


Dans le cadre du certificat de capacité en droit :

• La poursuite d'études en deuxième année avec un semestre de retard n'est pas possible.

Dans le cadre du cursus des licences en six semestres :

• la poursuite des études en L2 est laissée à l’appréciation du jury, dès lors que l’usager à qui il
manquerait un des deux semestres de la L1, a validé au minimum 12 ECTS dans le semestre
manquant ;
• la poursuite des études en L3 est laissée à l’appréciation du jury, dès lors que l’usager à qui il
manquerait un des deux semestres de la L2, a validé au minimum 12 ECTS dans le semestre
manquant ;
• la poursuite des études en L3 n’est pas autorisée pour un usager qui aurait obtenu sa L2 mais à
qui il manquerait toujours un des deux semestres de la L1.

Dans le cadre du cursus master en quatre semestres :

22
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

• la poursuite des études dans le deuxième semestre est de droit pour tout usager n’ayant pas
validé le premier semestre ;
• la poursuite des études dans le quatrième semestre est de droit pour tout usager n’ayant pas
validé le troisième semestre ;
• en revanche, le passage dans le troisième semestre du master implique l’obtention préalable des
deux premiers semestres sous réserve qu’il n’y ait pas de sélection à l’entrée du master 2ème
année.

5.8 Règles de redoublement


Le redoublement est de droit et sans limite dans les diplômes non sélectifs (licence et certificat de
capacité en droit). Le redoublement n'est pas de droit dans les formations sélectives (master). A l’issue
de la première année de diplôme de master, les usagers qui souhaitent redoubler doivent y être
autorisés par l’autorité compétente. Pour la deuxième année de master, le redoublement peut être
limité, afin de permettre l’accès effectif des étudiants ayant validé leur master première année. Les
capacités d’accueil en master deuxième année sont celles définies à l’année N-1 en master première
année.

5.9 Absence à une épreuve


Le contrôle continu consiste à évaluer l’étudiant par une ou plusieurs épreuves écrites et/ou orales
et/ ou pratiques, qui sont organisées dans le cadre des périodes d’enseignement. Le contrôle terminal
prend la forme, pour chaque session, d’une unique épreuve, commune à tous les étudiants, qui se
déroule à l’issue des enseignements de la période concernée (première session en janvier puis en mai)
et de l’année (seconde session en août).

Toutes les épreuves sont obligatoires : en cas d’absence à une épreuve de contrôle terminal ,
l’EC / UE , le semestre et l’année correspondants auront comme résultat « Défaillant ». Si l’absence est
justifiée dans les 3 jours ouvrés, l’EC ou UE concerné se voit attribuer la note 0/20 sur demande écrite
de l’étudiant, sinon il reste « Défaillant ». Si l’absence est injustifiée, l’usager est considéré comme étant
« défaillant » pour la session correspondante. Un étudiant « défaillant » dans une EC ou UE ne peut donc
pas prétendre à la validation de l’unité d’enseignement concernée par son absence. Dans ce cas, il ne
peut pas non plus valider le semestre ou le diplôme par compensation au titre de la session concernée.

Toutes les épreuves sont obligatoires : en cas d’absence à une épreuve de contrôle continu , si
l’absence est injustifiée, l’usager sera considéré soit comme étant « défaillant » à l’UE et au semestre
sauf décision plus favorable. Si l’absence est justifiée dans les 3 jours ouvrés, l'étudiant pourra se voir
appliquer la note de zéro, soit voir son épreuve neutralisée, soit se voir proposer une épreuve de
remplacement.

Coefficients, dispenses et VES : Les coefficients des UE et EC dans le calcul des résultats sont donnés
par les ECTS attachés à ces UE et EC. Toute UE et tout EC obtenus par dispense se voient attribuer le
coefficient 0 pour le calcul des résultats. Toute UE et tout EC obtenus par VES se voient attribuer la
note fictive de 10/20 pour le calcul des résultats. Cette validation d’acquis est définitive.

23
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

5.10 Mention
Chaque année de diplôme validée est sanctionnée par une mention qui dépend de la moyenne
obtenue sur l’année du diplôme considéré. La mention est établie suivant l’intervalle dans lequel est
cette note. Les bornes de l’intervalle sont définies par les valeurs min et max du tableau suivant :

Mention Min (inclus) Max (exclus)

Passable 10 12

Assez bien 12 14

Bien 14 16

Très bien 16

La mention au diplôme (licence et master) est donnée par la moyenne des deux derniers semestres
du diplôme.

5.11 Poursuite des études


Pour la licence :

• La poursuite d’étude en L2 (respectivement en L3) est de droit pour l’étudiant ayant validé la L1
(respectivement la L2) du même diplôme.
• La poursuite des études en L2 est laissée à l’appréciation du jury, dès lors que l’étudiant à qui il
manquerait un des deux semestres de la L1, et qu’il a validé au minimum 12 ECTS dans le
semestre manquant.
• La poursuite des études en L3 est laissée à l’appréciation du jury, dès lors que l’étudiant à qui il
manquerait un des deux semestres de la L2, et qu’il a validé au minimum 12 ECTS dans le
semestre manquant. La poursuite des études en L3 n’est pas autorisée pour un étudiant qui
aurait obtenu sa L2 mais à qui il manquerait toujours un des deux semestres de la L1.
• En licence, un étudiant poursuivant son cursus avec un semestre non validé veillera, dans son
choix des éléments pédagogiques auxquels il s’inscrit, à tenir compte des dates d’examen, car les
épreuves des années L1, L2 et L3 se déroulent sur la même période.

Pour le master , l’accès au M2 n’est possible que si le M1 du même diplôme est validé selon les modalités
d’admission.

24
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

6 - MISE EN SITUATION PROFESSIONNELLE - STAGE

Concernant les stages, vous devez prendre contact, le plus tôt possible, avec le responsable des
stages, pour discuter de ces différentes modalités et faire valider votre sujet. Vous trouverez dans la
partie spécifique les détails concernant le module stage lorsqu’il est présent dans votre formation.

Pour les salariés, des modalités spécifiques peuvent être appliquées afin que ces étudiants particuliers
puissent poursuivre normalement leur activité professionnelle durant la durée du stage, et ainsi
conserver pleinement leur statut de salarié. Il s’agit traditionnellement d’identifier des missions, menées
par l’étudiant dans son contexte professionnel (ou pas nécessairement) en lien avec la formation, qui
serviront comme support au travail attendu dans le cadre de cette unité d’enseignement. Le document
administratif qui formalise cela est appelé un engagement pédagogique.

Pour toute demande de renseignements complémentaires, vous pouvez contacter votre scolarité.

25
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

7 - CERTIFICATIONS

7.1 PIX
7.1.1 Généralités

PIX est un certificat que les étudiants peuvent passer de manière volontaire. Son objectif est
d’accompagner l’élévation du niveau général de connaissances et de compétences numériques et ainsi
de préparer la transformation digitale de l’ensemble de notre société et de notre économie.

Depuis 2018, PIX remplace le Brevet informatique et internet (B2i) et à la Certification informatique et
internet (C2i). PIX permet d’obtenir un profil de compétences associé à un score global sur 1 024 pix. En
conformité avec le cadre de référence européen DIGCOMP, PIX évalue les compétences numériques sur
8 niveaux et 5 grands domaines :

1. Informations et données.
2. Communication et collaboration.
3. Création de contenu.
4. Protection et sécurité.
5. Environnement numérique.

Il s’adresse en premier lieu aux étudiants, lycéens et collégiens mais l’objectif est bien de s’adresser
également aux professionnels de tous secteurs et à l’ensemble des citoyens.

7.1.2 Objectifs principaux

Développer ses compétences numériques

Les apports de PIX au développement des compétences de chacun sont doubles :

1. PIX permet d’apprendre en se testant. Une part importante des épreuves PIX sont conçues sous
la forme de défis à relever au cours desquels on développe ses compétences ;
2. en s’appuyant sur les résultats des épreuves, PIX offre également des recommandations ciblées
de formation.

Pour témoigner des progrès de manière continue et stimulante, les utilisateurs disposent d’un compte
personnel sécurisé qui leur permet de faire valoir leurs nouveaux acquis à leur rythme et tout au long de
la vie.

Obtenir le PIX pour valoriser ses compétences numériques, le PIX est, nationalement, l’évaluation et la
certification des compétences numériques. Les épreuves de préparation comme la certification
évalueront les connaissances mais également les savoir-faire et la capacité à identifier les enjeux du
numérique. Des modalités innovantes d’évaluation sont proposées, dépassant le cadre habituel des
QCM et privilégiant la mesure in vivo de compétences à partir d’activités réalisées dans leur
environnement numérique réel : interactions, manipulations de fichiers, résolutions de problèmes,
productions créatives, évaluations par les pairs, etc.

Capitalisation, votre score PIX est capitalisé et vous pourrez faire évoluer votre niveau au fur et à
mesure des années.

Épreuves , l’épreuve de certification se déroulera en mai sur le site de Besançon. Les épreuves
évalueront les connaissances mais également les savoir-faire et la capacité à identifier les enjeux du
numérique.

26
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

Site officiel du PIX : https://pix.fr/

Attention, PIX est une certification indépendante de votre diplôme qui constitue en une opportunité
qui vous est offerte par notre université. Dans chaque filière, pour vous préparer au PIX, il vous est
possible de suivre l’unité optionnelle «Préparation au PIX».

7.2 TOEIC
Ce module vous propose un parcours individualisé pour préparer et passer la certification du TOEIC.

Après un test de positionnement, vous aurez accès à un programme adapté à votre niveau. Vous
serez accompagné par un enseignant-tuteur qui vous conseillera afin de vous préparer au mieux à la
certification. A l’issue de ce module de préparation, vous pourrez choisir de passer la certification sur le
site de l’université de Franche-Comté dans un panel de différentes dates (en lien avec la période des
examens du SUP-FC) afin d’obtenir le TOEIC officiel.

27
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

8 - COMMUNICATION ET PLATEFORMES

8.1 Accès aux ressources électroniques


8.1.1 Activation compte universitaire SESAME

Pour accéder aux ressources électroniques, vous devez avoir activé votre compte universitaire
SESAME: http://acces.univ-fcomte.fr/etudiants/demActiverMail_etu.php

Etape 1 : Ecran d’authentification

• Rentrez votre INE en minuscules. Vous pouvez le retrouver sur votre contrat pédagogique.
• Rentrez votre date de naissance
• Cochez la case « J’ai pris connaissance »
• Téléchargez la charte informatique
• Recopiez le code de sécurité
• Cliquez sur « S’identifier » pour valider

Etape 2 : Ecran de saisie du mot de passe

Cet écran va vous donner votre identifiant/login. Notez-le bien car il sera utile pour vous authentifier
sur l’ensemble des sites de l’université.

• Saisissez vos questions réponses de récupération de mot de passe


• Respectez bien les contraintes de création de votre mot de passe
• Validez

Etape 3 : Ecran de fin

Notez bien votre identifiant/login ainsi que votre adresse mail universitaire , et pensez bien à
mémoriser votre mot de passe
Votre compte est maintenant initialisé et votre boite mail universitaire est maintenant opérationnelle.

A noter : veuillez patienter 24h après votre inscription pédagogique avant d'accéder à votre compte
Sésame

8.1.2 Accès aux cours

Vous pourrez accéder à vos cours et à votre boite mail universitaire, via l'Espace Numérique de Travail
(ENT) ou directement :

• pour la messagerie : https://mail-edu.univ-fcomte.fr


• pour la plateforme de cours (moodle) : https://moodle.univ-fcomte.fr

28
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

8.2 Production des étudiants


8.2.1 Les productions des étudiants

Lors de vos productions écrites et orales, nous vous rappelons que vous devez respecter la propriété
intellectuelle.

8.2.2 Plagiat

La loi française et l’université considèrent le plagiat comme une faute grave, qui est sanctionnée par
la loi. Le plagiat est le fait de copier, tout ou partie du travail d’autrui, sans en citer l’origine et les
références, afin de le faire passer pour sien.

8.2.3 Citations et reproductions d’œuvres

Il est permis de citer le texte d’un auteur, sans son autorisation, dans le cadre du « Droit de courte
citation ». Cette permission est cependant conditionnée à un certain nombre de contraintes définies
dans l’article L122-5, 3° du Code de la Propriété Intellectuelle : « Lorsque l’œuvre a été divulguée,
l’auteur ne peut interdire [...] Sous réserve que soient indiqués clairement le nom de l’auteur et la
source, les analyses et courtes citations justifiées par le caractère critique, polémique, pédagogique,
scientifique ou d’information de l’œuvre à laquelle elles sont incorporées. »

En outre, conformément à la loi du 1er août 2006, relative aux droits d’auteurs et aux droits voisins
dans la société de l’information (dite Loi DADVSI), la reproduction et la représentation d’extraits
d’œuvres sont permises à des fins exclusives d’illustration dans le cadre de l’enseignement et de la
recherche. Cette exception pédagogique s’applique sous réserve que soient indiqués clairement le nom
de l’auteur et la source de l’œuvre à laquelle ils appartiennent.

De plus, l’université ne pourra être tenue responsable de la représentation illégale de documents tiers
par l’auteur.

8.3 Communication avec la scolarité


Lorsque vous vous adressez à la scolarité ou à un de vos enseignants, vous devez le faire avec
l’adresse mail fournie par l’Université : prenom.nom@edu.univ-fcomte.fr exclusivement. Il ne sera pas
apporté de réponse aux mails envoyés à l’aide d’une adresse personnelle.

Dans l’objet du mail, vous devez faire figurer : le nom du parcours suivi ainsi que l’année (exemple :
Sciences pour l’ingénieur – L3) puis le sujet de votre demande. La courtoisie et la politesse sont de
rigueur pour tout échange. Avant de poser une question, relire le guide des études.

29
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

8.4 Plateforme moodle


Les cours sont consultables de deux façons :

• en version électronique : l’accès est possible à partir du 9 octobre 2023 (correspondant au début
des cours), sous réserve d’avoir finalisé l’ensemble de son inscription (administrative et
pédagogique) sur la plateforme moodle : https://moodle.univ-fcomte.fr ;
• en version papier : sous réserve que l’option ait été choisie et que le diplôme préparé propose
cette option.

Nous attirons votre attention sur le fait que de nombreux documents de cours ne sont accessibles
qu’en version électronique et ne sont pas diffusés en version papier. Merci de vérifier cela dans la partie
spécifique à votre diplôme dans le guide ou lors de votre inscription pédagogique.

L’envoi des cours s’effectue généralement dès la finalisation de votre inscription afin de vous
permettre de commencer à vous familiariser avec les questions au programme. Les colis étant
particulièrement volumineux, il est donc conseillé de prendre toutes les dispositions adéquates pour les
recevoir dans de bonnes conditions.

Nous vous proposons, dans la partie spécifique du guide, une brève présentation de chaque unité
d’enseignement, accompagnée dans certains cas de références bibliographiques. Il vous est vivement
conseillé de consulter certains des ouvrages proposés avant même l’envoi des cours.

Les contenus d’enseignement fournis aux étudiants dans le cadre de leur formation restent la
propriété des enseignants. Ils ne doivent, sous aucune forme, être réutilisés à des fins autres que la
formation. En particulier, la publication ou la diffusion sur Internet des documents fournis est
formellement interdite (Articles L122-4, L335-2 et suivants du Code de la propriété intellectuelle).

La plateforme Moodle sert aux échanges avec les autres étudiants et les enseignants. Chaque forum
associé aux espaces doit être utilisé à bon escient.

• L’espace CTU-GENERAL concerne les étudiants de l’ensemble des filières du SUP-FC. Dans
chacun de ces espaces, le Forum des étudiants vous permet de communiquer avec les autres
étudiants, il ne permet pas de contacter les enseignants. Le Forum des nouvelles permet à
l’administration de diffuser des informations générales.
• L'espace diplôme concerne votre filière.
• L'espace de cours qui concerne chaque module d'enseignement doit être prévilégié pour les
questions pédagogiques.

Pour tout échange d’informations concernant un cours précis , soit avec l’enseignant, soit avec les
autres étudiants, vous disposez dans l’espace-cours concerné d’un forum d’échanges . Vous pouvez
également écrire à l’enseignant à l’aide d’un message personnel mais l’utilisation de ce forum
d’échanges est préférable. Le forum annonces permet à l’enseignant de vous fournir d’éventuelles
indications.

La plateforme Moodle est l’outil qui vous permet d’accéder aux cours : l’ensemble des éléments qui
vous permettront de travailler est disponible sur Moodle, dans l’espace-cours concerné.

Veillez bien à consulter toutes les rubriques sur l’espace Moodle car le document envoyé (sur
demande) sous forme papier n’est qu’une partie des éléments disponibles : par exemple, les documents
annexes, les TD, les sujets et les corrigés sont disponibles uniquement sur Moodle.

30
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

8.5 Les bibliothèques universitaires


A distance, bénéficiez des recherches documentaires plus simples et plus rapides. Sur le campus,
vous aurez également accès aux Bibliothèques Universitaires (BU).

Ariane, l’outil de recherche des bibliothèques de l’Université de Franche-Comté, vous guide pour
effectuer une recherche dans toutes les bibliothèques du réseau, sur tous types de documents, papier
(livres, revues…), multimédia (DVD…) ou numériques (e-books, articles scientifiques, thèses…).

En quelques clics, vous pouvez accéder aux informations concernant le document que vous
recherchez : sa disponibilité, sa bibliothèque, ou le lien d’accès vers le texte intégral.

Ariane vous permettra également d’élargir vos recherches aux bibliothèques de l’Université de
Bourgogne (UB), de l’Université de Technologie de Belfort-Montbéliard (UTBM) et de l’Ecole Nationale
Supérieure de Mécanique et des Microtechniques (ENSMM), membres de la COMUE Université
Bourgogne Franche-Comté (UBFC).

Plus de renseignements : https://scd.univ-fcomte.fr/

8.6 En pratique
Vous souhaitez :

• activer votre compte universitaire sésame,


• trouver votre identifiant,
• accéder à vos cours,
• installer la suite Microsoft office 365,
• récupérer votre mot de passe,
• rediriger votre boite mail universitaire vers votre boite mail personnelle,
• numériser vos documents avec votre smartphone,
• ...

Rendez-vous sur le site internet du SUP-FC, rubrique "Je suis étudiant au SUP-FC - La scolarité ou
FAQ".

Lien : https://sup-fc.univ-fcomte.fr/ctu-reponses

31
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

9 - CALENDRIER GÉNÉRAL

Certaines années de diplôme ont une organisation pour les examens qui peut différer de celle-ci. Nous vous
invitons à consulter le calendrier détaillé des examens et les Modalités de Contrôle des Connaissances et
Compétences (M3C).

DATE
09-10-2023 au 14-01-2024 Début des cours de la première période
09-10-2023 au 02-06-2024 Cours DAEU
01-12-2023 au 11-12-2023 Inscription aux examens de la première période
22-01-2024 au 26-01-2024 Première session d’examens de la première période
29-01-2024 au 12-05-2024 Début des cours de la deuxième période
05-04-2024 au 15-04-2024 Inscription aux examens de la deuxième période
13-05-2024 au 18-05-2024 Première session d’examens de la deuxième période
10-06-2024 au 14-06-2024 Examens DAEU
21-06-2024 au 01-07-2024 Inscription aux examens de deuxième session
26-08-2024 au 30-08-2024 Deuxième session d’examens des deux périodes
31-08-2024 Fin des cours et des stages

Le DAEU et le master 2 FLE sont en session unique

32
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

10 - CONTACTS
SUP-FC / Université de Franche-Comté Contacts pour la filière
Bâtiment Bachelier Responsables Pédagogiques
Domaine de la Bouloie Laurent PHILIPPE (Responsable pédagogique (M1, M2))
25030 Besançon Cedex Isabelle JACQUES (Responsable pédagogique (L3))

03.81.66.58.70 Scolarité de la filière :


Tous les jours ouvrés de 8h30 à 12h et de 13h à Juliette Rodrigues
16h30 sauf jours fériés Mail : ctu-informatique@univ-fcomte.fr
sup-fc@univ-fcomte.fr Téléphone : 03.81.66.62.45

VOUS RENDRE AU SUP-FC


VOUS VENEZ EN BUS VOUS VENEZ EN VOITURE
Les lignes de Bus Ginko Coordonnées GPS du bâtiment :
Ligne 3 : Centre Ville - Temis / Campus Lat : 47.247156517630884
Ligne 7 : Palente - Haut de chazal Long : 5.984909534454346

VOUS VENEZ EN TRAIN Le plus rapide : Sortie 57 sur la N57, pour


rejoindre le grand parking de l'université. Nous
Vous devez descendre à la gare Besançon Viotte. somme référencés sur Google Maps à SUP-FC :
Si vous arrivez à la gare de Besançon Franche- Service Universitaire de Pédagogie pour les
Comté TGV, vous devez prendre une navette Formations et la Certification.
train SNCF entre cette nouvelle gare et la gare
du centre ville de Besançon ( Viotte ).

33
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

11 - PRÉSENTATION DE LA FORMATION

Cette filière offre la possibilité de suivre la troisième année de la Licence informatique ainsi que trois
parcours de Master mention Informatique : le Master « Informatique Avancée et Applications » (I2A), le
Master « Développement et Validation du Logiciel » (DVL), et la deuxième année du Master « Ingénierie
du Test et de la Validation Logiciels et systèmes » (ITVL), ceci afin de répondre au besoin d’une
formation diplômante à distance en informatique. Cette filière vise à permettre l’acquisition de
connaissances fondamentales et pratiques en informatique pouvant être utilisées, soit dans un objectif
de double compétence, soit dans un objectif d’accès aux métiers de l’informatique ou aux métiers de
l’enseignement et de la recherche.

Plus précisément, les objectifs pédagogiques de ces diplômes sont les suivants :

• Licence informatique : la troisième année de cette Licence généraliste en informatique vise à proposer
aux étudiants les bases théoriques et pratiques en informatique permettant au diplômé d’envisager une
poursuite d’études en Master, ou de postuler à un emploi de type technicien supérieur.
ATTENTION ! Dans le cadre de la future offre de formation de l'uFC, la licence d’informatique à distance
va disparaitre. Pour cela, nous avons mis en place le calendrier de fermeture graduelle suivant :
- Année universitaire 2023-2024, tous les étudiants peuvent s’inscrire pour effectuer la 3e année de
licence informatique à distance.
- Année universitaire 2024-2025, seuls les étudiants qui ont déjà été inscrits peuvent se réinscrire pour
finir leur 3e année de licence informatique à distance.
- Année universitaire 2025-2026, plus personne ne peut s’inscrire en 3e année de licence informatique à
distance.

• Master Informatique Avancée et Applications (I2A) : ce Master généraliste, qui propose un parcours
“Professionnel” et un parcours “Recherche”, consiste à former des professionnels du domaine de la
conception, du développement, de la validation, de la maintenance et de l’administration d’applications
logicielles. Les diplômés ont vocation à intégrer des carrières de cadres en Recherche et
Développement dans le domaine du service, de l’ingénierie et de l’édition logicielle. En suivant le
parcours “Recherche” de la formation, une poursuite en doctorat est également envisageable.

• Master Développement et Validation du Logiciel (DVL): ce Master professionnel est spécialisé dans la
formation de professionnels du développement et de la validation des logiciels, avec une expertise
particulière dans les activités du test logiciel. A ce titre, le diplômé peut prétendre à une carrière de
cadre en Recherche et Développement, dans le domaine du service, de l’ingénierie et de l’édition
logicielle, au sein d’équipes en charge de la maîtrise d’œuvre ou de la maîtrise d’ouvrage.

• Master Ingénierie du Test et de la Validation Logiciels et systèmes (ITVL) : cette deuxième année de
Master professionnel, proposée en collaboration avec lISTIA (école d’ingénieurs de l’Université
d'Angers), vise spécifiquement un public ayant une première expérience professionnelle avérée dans le
domaine de l’édition logicielle. Dans ce contexte, il propose une expertise et une spécialisation dans les
activités de management de la qualité et de la validation logicielle.

Nous présentons dans cette partie tout ce qui est commun à tous les diplômes proposés dans la
filière informatique. Le détail et les informations spécifiques à chaque diplôme seront présentés dans les
chapitres suivants de ce guide.

11.1 Organisation globale de la formation


La formation est constituée d’un enseignement à distance et en ligne conduisant à l’obtention de la
Licence Informatique ou du Master Informatique de l’Université de Franche-Comté.

34
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

Les enseignements sont organisés en unités d’enseignement (UE) proposées sur une période (12
semaines de cours) ou annuelles (24 semaines de cours).
L’année se compose ainsi de deux périodes de cours : une première période d’octobre à janvier, puis
une seconde période de février à mai. Le volume horaire théorique de chaque UE est de 30 heures de
cours et 24 heures de travaux dirigés.
La demi-vitesse est obligatoire pour tous les diplômes de la filière informatique à distance (une
dérogation peut être acceptée par l’équipe pédagogique si l’étudiant en fait la demande et satisfait
certaines conditions, elle ne concerne que la Licence et le Master 1, très exceptionnellement le Master 2).
Dans ce contexte de demi-vitesse, une année universitaire est donc étalée sur deux années civiles
appelées Année 1 SUP-FC et Année 2 SUP-FC, qui correspondent exactement au premier et second
semestre universitaire de l’année du diplôme. Une description plus détaillée de la structuration de la
formation est proposée en la partie Structure de formation dans le chapitre des M3C.

De cette façon, tout étudiant suit en principe, chaque année universitaire, les UE d’une année SUP- FC
qui correspond à un seul semestre universitaire. Lors de la première inscription, l’étudiant s’inscrit ainsi
aux UE de l’Année 1 SUP-FC . Lors d’une réinscription, il passe en Année 2 SUP-FC, et peut alors se
réinscrire aux UE de l’Année 1 SUP-FC, si elles ne sont pas validées, et naturellement à celles de l’Année
2 SUP-FC.

11.2 Sessions de regroupement


Ces sessions de regroupement ont lieu sur place à Besançon (ou à Angers dans le cadre du Master
ITVL). La participation des étudiants à ces journées de regroupement fait partie intégrante de la
formation et s’avère fondamentale à sa pleine réussite. Les objectifs majeurs de ces journées sont les
suivants :

• en début d’année : la présentation de la formation ;


• aux périodes d’examen de janvier et de mai : le bilan de la période écoulée.

Trois sessions de regroupement sont ainsi organisées chaque année (Planning global de la filière). La
première session en octobre, permet de découvrir l’organisation de la filière, et d’échanger avec les
différents personnels de la formation. Les deux autres sessions, qui ont lieu lors des examens de
première session (janvier et mai), sont l’occasion de faire un bilan sur la période suivie. Il est à souligner
que ces regroupements constituent aussi des rendez-vous privilégiés pour les étudiants de la filière afin
de faire connaissance et d’échanger d’autant plus qu’aucun compte-rendu n’est fourni en cas
d’absence.

Dans le cadre du Master ITVL, des séances de regroupement supplémentaires sont planifiées
(Planning des regroupements). Ces sessions sont obligatoires puisque faisant partie de la formation.

11.3 Matériel
La filière informatique étant entièrement en ligne, chaque étudiant doit obligatoirement posséder un
équipement informatique personnel et disposer d’une connexion fiable et permanente au réseau
Internet, et pouvoir accéder à sa messagerie électronique en temps réel. La communication avec la
scolarité de la filière, entre étudiants et avec l’équipe pédagogique, se fait exclusivement par courrier
électronique et via des forums de discussion. Le coût des communications est à la charge des étudiants.

Pour être en mesure de suivre la formation, tout étudiant doit donc disposer d’un ordinateur avec la
possibilité d’installer les logiciels proposés et/ou recommandés par les enseignants. En effet, dans le
cadre de certaines UE, les étudiants sont amenés à installer les outils fournis par les enseignants sur leur
propre ordinateur. Dans ce cas, les outils (qui peuvent être de taille importante) sont téléchargeables
depuis la plate- forme mise à disposition, ou à une adresse donnée par les enseignants. En plus du

35
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

système d’exploitation Windows (ou Mac), Linux est également fortement recommandé car certaines
technologies utilisées dans les UE peuvent n’être compatibles qu’avec ce système d’exploitation.

36
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

11.4 Enseignement
Dans chacune des UE des années SUP-FC 1 et SUP-FC 2, les modalités de la formation sont les
suivantes :

Dans la plupart des UE, les supports pédagogiques se présentent sous la forme d’un ensemble de
documents numériques (pages HTML, fichiers PDF, etc.) disponibles le premier jour de la période de
cours concernée sur le serveur de la formation. Ces supports sont accompagnés d’un parcours
pédagogique (planning) pour permettre et aider les étudiants à organiser leur rythme de travail.

Les travaux dirigés sont organisés sous forme d’exercices planifiés sur la période de cours. Les
énoncés, les guides de raisonnement et les corrigés sont transmis par l’enseignant concerné.
L’harmonisation de la charge de travail et la cohérence entre les UE sont contrôlées par les
responsables de diplôme.

Des devoirs (généralement de 1 à 3 par UE) facultatifs, qui, s’ils sont rendus, doivent impérativement
l’être dans les délais donnés par l’enseignant. Ces devoirs sont corrigés individuellement et
accompagnés d’une solution type, mais les notes n’interviennent pas dans le résultat final : il s’agit à cet
égard d’une évaluation purement formative. L’équipe pédagogique encourage vivement les étudiants à
rendre ces devoirs car ils constituent pour eux un vecteur efficace de motivation et un moyen objectif
d’évaluer leur niveau vis-à-vis des objectifs pédagogiques ciblés.

11.5 Plate-forme d’enseignement


Période d’ouverture des UE : une UE est « visible » à partir de la semaine un de la période de cours lui
correspondant (11 octobre 2023 pour les UE de la première période, et 31 janvier 2023 pour les UE de la
seconde période). Les UE sont fermées après les épreuves de la seconde session (26 août 2023).
Pendant les 12 semaines d’activité principale d’une UE, le ou les enseignant(s) anime(nt) l’UE. Passée la
période de cours, les supports pédagogiques restent disponibles ainsi que toutes les discussions du
forum, mais les enseignants ne sont plus tenus d’interagir avec les étudiants.

37
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

12 - COÛT DE LA FORMATION

Le montant de la formation se décompose en droits universitaires et droits pédagogiques :

C Droits universitaires fixés annuellement par le Ministère pour l’année 2023–2024 :

• 170 € pour une inscription principale en licence, 113 € pour une inscription complémentaire
• 243€ pour une inscription principale en master, 159 € pour une inscription complémentaire
• 100 € pour une inscription non diplômante (auditeur libre),

C Droits pédagogiques :

• Frais d’accès aux cours


- pour une inscription à titre individuel : 5,90 € par crédit ECTS pour la version électronique
seule ; 7,00 € par crédit ECTS pour la version électronique et le cours papier
- pour une inscription non diplômante :
- Version électronique : 11,80 € par crédit ECTS
- Version électronique et cours papier : 12,90 € par crédit ECTS
- pour une inscription au titre de la Formation Continue, veuillez contacter le service SeFoC’Al
à l’adresse : sefocal@univ-fcomte.fr

• Frais d’envoi de documents administratifs et correspondances


- France métropolitaine : 10 €
- Europe ou DOM-TOM : 20 €
- Reste du monde : 35 €

• Frais d’envoi des supports de cours papier


- France métropolitaine : 15 €
- Europe + DOM-TOM : 30 €
- Reste du monde : 50 €

• Frais d’ouverture de centre d’examen à l’étranger ou Campus connecté : 95 € par période


d’examen (de 1 à 3 périodes par an)

• Frais de Télé-examens : se référer au chapitre 4.4

• Frais de co-diplômation pour le master DVL (informatique) : 200€

• Frais forfaitaires incluant l'ensemble des éléments (dont l'inscription administrative) pour le
master ITVL : 3 800€

• Contribution à la vie étudiante et de campus (CVEC) : 92 € (sujet à modification).

ATTENTION ! La CVEC doit être payée avant de pouvoir être inscrit. Elle est payable sur le site :

http://cvec.etudiant.gouv.fr/

• Consultation de copies : Toute personne inscrite peut consulter sa copie pendant 1 an après la
proclamation définitive des résultats. Un scan peut être délivré à titre onéreux sur demande
écrite de l’intéressé. Le tarif est de 1,20 € par copie d’examen à régler par carte bancaire en ligne,
auquel s’ajoutent 2,20 € de frais de traitement par demande.

38
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

Les seuls titres de paiement admis sont :

• la carte bancaire ;
• le chèque bancaire ou postal ;
• le virement bancaire en indiquant impérativement SUP-FC dans le libellé du virement ainsi que le
nom de l’étudiant.

Dans le cas d’un paiement par virement, il conviendra de joindre impérativement le récépissé de
l’envoi. La carte d’étudiant ne sera transmise qu’après réception du virement.

Dans le cas d’un paiement par chèque, il conviendra d’établir deux chèques séparés, un pour les
droits universitaires et l’autre pour les droits pédagogiques, rédigés à l’ordre de l’ Agent comptable de
l’Université de Franche-Comté.

39
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

13 - M3C ET ÉVALUATIONS DES CONNAISSANCES

Ce chapitre présente la structuration du programme pédagogique de la filière informatique en précisant


pour chaque diplôme (Licence et Masters) les modalités de contrôle des connaissances.

C Évaluation des connaissances

Les UE et les EC sont évalués par un examen qui leur est propre. En revanche, une UEC ne présente aucune
forme d’évaluation : sa note est obtenue en faisant la moyenne (coefficientée en fonction du nombre de
crédits ECTS que chacun de ses EC représente) des notes obtenues aux examens des EC qui la composent.

Le contrôle des connaissances des UE et des EC est organisé soit dans un mode de contrôle continu, soit
dans un mode de contrôle terminal.

Les enseignements proposés dans les diplômes de Licence et de Master sont évalués, à quelques exceptions
près, dans un mode de contrôle terminal. Globalement, chaque UE/EC en contrôle terminal est ainsi évalué, à
chaque session, par un examen écrit d’une durée allant de 2 à 3 heures selon le nombre de crédits qu’ils
représentent.

Le système de validation est un système par UE capitalisables. Une note est attribuée à chaque UE, UEC et
EC des années-SUP-FC 1 ou 2 présentées. Ces notes sont capitalisées tout au long de la formation. À l’issue de
chaque session, un jury statue selon les modalités définies par les textes en vigueur.

Chaque UE, UEC et EC est noté sur 20 points. Rappelons que la note des UEC est calculée en faisant la
moyenne (coefficientée en fonction du nombre de crédits ECTS que chacun de ses EC représente) des notes
des EC qui la composent. Il y a compensation automatique et obligatoire entre les UE/UEC de chaque semestre
d’un diplôme (en demi-vitesse un semestre de diplôme correspond à une Année SUP-FC). Chaque EC peut
également être capitalisé, et ceci indépendamment de l’UEC à laquelle il appartient, et indépendamment des
autres EC de cette UEC.

C Tableau récapitulatif des M3C

Le tableau récapitulatif des Modalités de Contrôle des Connaissances et des Compétences (M3C) peut être
téléchargé sur le site web du SUP-FC, rubrique "Formations (CTU) - Je suis étudiant au SUP-FC - M3C".

40
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

14 - PLANNING SPÉCIFIQUE 2023-2024

14.1 Planning global de la filière informatique (hors MonMaster)

PLANNING GLOBAL - FILIÈRE INFORMATIQUE


Licence 3 Master I2A Master DVL Master ITVL
Date limite de dépôt
23/06/2023
candidature*
Commission d'admission* 30/06/2023 29/06/2023
Session de regroupement 09/10/2023
02/10/2023
de rentrée (Angers)

*Suivant les places encore disponibles, des commissions d’admission supplémentaires peuvent être organisées
jusqu’à fin septembre pour étudier les dossiers de candidature reçus après la date de dépôt officielle indiquée.

14.2 Planning des regroupements spécifiques au Master 2 ITVL


CAnnée 1

Date de début Date de fin Lieu Activités


Présentation formation +
09/10/2023 11/10/2023 Angers
module cycle de vie
Module qualité
13/11/2023 16/11/2023 Angers
et performance
22/01/2024 25/01/2024 Besançon Examen
Pratique pour le module
11/03/2024 13/03/2024 Besançon Automatisation et
infrastructure pour le test
13/05/2024 14/05/2024 Angers Test Agile
15/05/2024 16/05/2024 Angers Examen
03/07/2024 05/07/2024 - Soutenance de projet
Semaine du 26 août 2024 Besançon 2e session d'examens

41
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

CAnnée 2

Date de début Date de fin Lieu Activités


09/10/2023 10/10/2023 Angers Module Qualité logociel (partie 1)
13/11/2023 15/11/2023 Angers Module Qualité logociel (partie 2)
23/01/2024 24/01/2024 Angers Examen + Qualimétrie
Examen +
14/05/2024 16/05/2024 Angers
Management des hommes
03/07/2024 05/07/2024 - Soutenance de stage
Semaine du 26 août 2024 Besançon 2e session d'examens

42
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

15 - MODULES POUR LES ALTERNANTS DU MASTER ISL

Cette section présente la liste des modules à distance suivis par les étudiants en alternance :

C Première année du master ISL

• Au 1er semestre :
• Théorie des graphes et combinatoire (voir le descriptif)

• Au 2ème semestre :
• Cybersécurité (voir le descriptif)
• Évaluation de programmes (voir le descriptif)
• Vous avez 1 module à choisir parmi 2 :
• Informatique graphique (voir le descriptif)
• Bases de données avancée (voir le descriptif)

C Deuxième année du master ISL :

• Au 1er semestre :
• Ingénierie dirigée par les modèles et sécurité (voir le descriptif)
• Anglais (voir le descriptif)
• Vous devez choisir 2 modules parmi 4 :
• Programmation fonctionnelle avancée (voir le descriptif)
• Communication dans les systèmes distribués (voir le descriptif)
• Ingénierie des exigences (voir le descriptif)
• Méthodes et Outils pour l’IA (voir le descriptif)

• Au 2ème semestre :
• Vous devez choisir 2 modules parmi 3 :
• Algorithmique concurrente (voir le descriptif)
• Vérification à base d’automates (voir le descriptif)
• Test non fonctionnel (voir le descriptif)

43
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

16 - STRUCTURE LICENCE INFORMATIQUE 3E ANNÉE


PERIODE INTITULE CREDITS

Licence informatique semestre 5

1 VVI5EBD - BASES DE DONNÉES 6.0

1 VVI5EABP - ALGORITHMES ET BASES DE LA PROGRAMMATION 6.0

A VVI5EEN - ANGLAIS 6.0

2 VVI5EMSI - ANALYSE ET MODÉLISATION DES SYSTÈMES D'INFORMATION 6.0

2 VVI5EMF - MÉTHODES FORMELLES 6.0

44
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

Licence informatique semestre 6

2 VVI6EADO - ARCHITECTURE DES ORDINATEURS 6.0

1 VVI6ESR - SYSTÈMES ET RÉSEAUX 6.0

1 VVI6ETL - THÉORIE DES LANGAGES 3.0

2 VVI6ESPP - SPÉCIFICATION ET PREUVE DE PROGRAMME 3.0

1 VVI6ELW - LANGAGES DU WEB 6.0

2 VVI6EPAV - PROGRAMMATION AVANCÉE 6.0

Les périodes :

Enseigné en période 1 (octobre à janvier)


Enseigné en période 2 (février à mai)
Enseigné toute l'année (octobre à mai)

45
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

17 - DESCRIPTION LICENCE INFORMATIQUE 3E ANNÉE

VVI5EBD Bases de données


Crédits: 6.0
Responsable : Sylvie DAMY
Intervenant(s) : Sylvie DAMY

Enseigné à la période 1 (octobre à janvier)

DESCRIPTION
Cette UE est un cours d’introduction aux bases de données (BD) et aux
systèmes de gestion de bases de données (SGBD). Elle vise à familiariser
l’étudiant avec le fonctionnement des bases de données relationnelles à
travers la découverte du système de gestion de bases de données MySQL.

Le cours se compose des chapitres suivants :

1. Principes généraux des bases de données.


2. Études des bases de données relationnelles (théorie relationnelle).
3. Langage des bases de données SQL.
4. Formes normales et normalisation d’une base de données.

COMPÉTENCES À ACQUÉRIR
A la fin du cours l'étudiant sera capable:

• d’analyser un schéma relationnel donné, pour expliquer son fonctionnement et définir les liens
entre les relations de ce schéma ;

• D’écrire des requêtes en algèbre relationnelle et/ou en SQL pour extraire des informations d’une
base de données ;

• d’effectuer des actions de gestion des enregistrements (ajout, modification, suppression) et de la


structure de la base de données (création, modification, suppression de tables et de liens) avec
des commandes SQL ;

• de concevoir une base de données relationnelle à partir d’un ensemble d’informations, en


appliquant une décomposition en formes normales successives ;

• de programmer une application simple capable d’interroger une base de données et d’en gérer
son contenu (ajouter, modifier, supprimer des enregistrements), à l’aide d’une bibliothèque de
fonctions et de sa documentation associée.

46
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI5EABP Algorithmes et bases de la programmation


Crédits: 6.0
Responsable : Isabelle JACQUES
Intervenant(s) : Eric MERLET, Isabelle JACQUES

Enseigné à la période 1 (octobre à janvier)

DESCRIPTION
Cette UE vise les objectifs suivants :

• l’apprentissage du langage algorithmique et de la programmation structurée,


• l’apprentissage des premières notions de langage de programmation impératif (types simples,
structures de contrôle, tableaux, variables indicées, fonctions),
• l’étude d’algorithmes classiques (tri par sélection, tri par insertion, tri à bulles), l’étude du principe
de récursivité.

Le langage utilisé lors de la mise en application est le langage C.

47
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI5EEN Anglais
Crédits: 6.0
Intervenant(s) : Caroline GOSSELIN

Enseigné toute l'année

DESCRIPTION
Cette UE vous propose un contenu varié pour développer vos compétences en anglais : un parcours
thématique interactif sur Moodle et un parcours individuel sur une plateforme d’apprentissage de
l’anglais en ligne qui vous permettra de travailler, à la carte, les compétences que vous devez améliorer
pour atteindre ou consolider le niveau intermédiaire avancé (B2) requis à l’université selon le CECRL
(Cadre européen commun de référence pour les langues). Vous serez accompagnés par un enseignant
tuteur qui animera le cours et vous conseillera dans votre cheminement qui débutera par un test de
niveau sur la plateforme.

OBJECTIFS
Ce cours se déroule sur l’année complète avec un contrôle continu de 7 évaluations qui testeront les
différentes compétences orales et écrites du niveau B2 du CECRL. La note finale sera basée sur la
moyenne des 6 meilleures notes de l’année. Une seconde chance (appelée aussi session 2) sera
organisée en ligne fin juin pour cette UE. Ainsi, les notes obtenus lors de celle-ci complètent les notes de
la session 1 pour calculer votre nouvelle moyenne (voir le détail du calcul dans les modalités d'évaluation
sur votre espace de cours).

48
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI5EMSI Analyse et modélisation des systèmes d'information


Crédits: 6.0
Responsable : Isabelle JACQUES
Intervenant(s) : Isabelle JACQUES

Enseigné à la période 2 (février à mai)

DESCRIPTION
Cette UE présente une méthode d’analyse. L’analyse, au sens informatique du terme, consiste à :

• comprendre et modéliser la gestion du domaine d’activité dans une entreprise,


• concevoir la solution informatique adéquate.

L’efficacité et la validité d’une analyse reposent sur la qualité de la communication entre les
utilisateurs et les informaticiens. La qualité de la communication est obtenue en partie grâce à
l’utilisation d’une méthode d’analyse. D’où la nécessité de présenter une méthode d’analyse classique
permettant d’analyser un problème; la phase d’analyse étant la partie la plus complexe, qui est
déterminante dans la conception et la mise en place d’une application.

49
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI5EMF Méthodes formelles


Crédits: 6.0
Responsable : Alain GIORGETTI
Intervenant(s) : Alain GIORGETTI

Enseigné à la période 2 (février à mai)

DESCRIPTION
Cette UE introduit les formalismes les plus utiles en informatique. On y apprend notamment à
formaliser des énoncés, à construire et rédiger des raisonnements logiques, à modéliser des calculs et à
démontrer leur correction. L’enseignement porte sur la logique des propositions, le calcul des prédicats,
les systèmes déductifs formels, les types, le polymorphisme paramétrique, les types de données
inductifs (listes et arbres), les calculs et les démonstrations sur les types inductifs.

PREREQUIS
Algèbre de Boole, théorie des ensembles, principe de récurrence, bases de la
programmation impérative dans un langage avec types, comme C ou Java.

50
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI6EADO Architecture des ordinateurs


Crédits: 6.0
Responsable : Didier TEIFRETO
Intervenant(s) : Didier TEIFRETO

Enseigné à la période 2 (février à mai)

DESCRIPTION
Cette UE vise à enseigner les bases du fonctionnement d’un ordinateur. Dans cet objectif, nous
utilisons un microprocesseur de type RISC de la famille MIPS pour appréhender les bases du
fonctionnement d’un ordinateur. Les concepts suivants sont étudiés :

• le codage de l’information (nombres entiers non signés et signés, nombres réels au standard
IEEE754, pointeurs et caractères),
• la logique booléenne pour concevoir le chemin suivi par les données circulant dans le
microproces- seur,
• la programmation en langage assembleur et le traitement des entrées-sorties,
• l’optimisation du chemin de données en utilisant les techniques de pipeline et de hiérarchie
mémoire.

PREREQUIS
Algorithmique, langage Java ou C.

51
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI6ESR Systèmes et réseaux


Crédits: 6.0
Responsable : Bénédicte HERRMANN
Intervenant(s) : Bénédicte HERRMANN et Sékou DIAKITE

Enseigné à la période 1 (octobre à janvier)

DESCRIPTION
Cette UE présente les bases nécessaires à l’utilisation et à la compréhension d’une part des concepts
du système d’exploitation Unix et d’autre part des réseaux de communication. Les concepts sont
illustrés par de nombreux exemples pouvant être testés sur une machine virtuelle Linux fournie. Les
thèmes suivants sont notamment abordés : les systèmes de fichiers, l’environnement de travail (les
commandes et le langage de scripts), la gestion de la sécurité (utilisateurs, etc.), les processus,
l’administration système, le réseau (adressage, protocole, gestion).

52
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI6ETL Théorie des langages


Crédits: 3.0
Responsable : Olga Kouchnarenko
Intervenant(s) : Olga Kouchnarenko

Enseigné à la période 1 (octobre à janvier)

DESCRIPTION
Dans cette UE, vous apprendrez à utiliser les langages HTML (HyperText Markup Language) et CSS
(Cascading Style Sheet) pour produire des documents distribués sur le Web.

Vous découvrirez les principes de bases d’un langage de balisage comme HTML. Vous saurez
comment structurer des documents, grouper des éléments textuels, définir des liens, inclure des médias
et réaliser des formulaires de saisie de données.

Ensuite vous découvrirez comment CSS permet de mettre en forme et de mettre en page les
documents HTML. Vous apprendrez les notions principales de ce mécanisme (règles de style, héritage et
cascade), comment définir des sélecteurs permettant de cibler les éléments HTML pour en changer
l’apparence (dimension, couleur, police de caractères) et pour les positionner précisément dans la
fenêtre des navigateurs Web.
PREREQUIS
Théorie des ensembles, algorithmique, logique et mathématiques discrètes, méthodes formelles.

53
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI6ESPP Spécification et preuve de programme


Crédits: 3.0
Responsable : Alain GIORGETTI
Intervenant(s) : Alain GIORGETTI

Enseigné à la période 2 (février à mai)

DESCRIPTION
Cette UE aborde les deux thématiques suivantes :

• Spécification formelle d’algorithmes et de programmes, à l’aide de formules logiques, dans la


perspective de la preuve de leur correction.
• Présentation et utilisation de la logique de Hoare pour prouver des propriétés fonctionnelles de
programmes impératifs : description d’un langage algorithmique, rappels de logique des
prédicats du premier ordre pour exprimer des propriétés sur les algorithmes, présentation de la
logique de Hoare, description de stratégies de preuve.

PREREQUIS
Maîtriser la programmation de base en langage impératif, savoir comprendre et exprimer une
condition par des expressions en logique des prédicats du premier ordre, comprendre et utiliser
un système formel pour effectuer des preuves.

54
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI6ELW Langages du web


Crédits: 6.0
Responsable : Frederic DADEAU
Intervenant(s) : Frederic DADEAU

Enseigné à la période 1 (octobre à janvier)

DESCRIPTION
Dans cette UE, vous apprendrez à utiliser les langages HTML (HyperText Markup Language) et CSS
(Cascading Style Sheet) pour produire des documents distribués sur le Web.
Vous découvrirez les principes de bases d’un langage de balisage comme HTML. Vous saurez comment
structurer des documents, grouper des éléments textuels, définir des liens, inclure des médias et réaliser
des formulaires de saisie de données.

Ensuite vous découvrirez comment CSS permet de mettre en forme et de mettre en page les
documents HTML. Vous apprendrez les notions principales de ce mécanisme (règles de style, héritage et
cascade), comment définir des sélecteurs permettant de cibler les éléments HTML pour en changer
l’apparence (dimension, couleur, police de caractères) et pour les positionner précisément dans la
fenêtre des navigateurs Web.

55
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI6EPAV Programmation avancée


Crédits: 6.0

Responsable : Grégory BISE


Intervenant(s) : Grégory BISE

Enseigné à la période 2 (février à mai)

DESCRIPTION

Après un rappel des notions des langages impératifs, cette UE aborde des notions plus complexes visant
à la construction et l’exécution d’un programme.

Au travers des différents chapitres, sont ainsi étudiés l’intérêt de la programmation “modulaire”, la
génération de documentation, les notions fondamentales de la programmation orientée objet, et le rôle
essentiel d’un gestionnaire de version type SVN.

Les langages C et C++ servent de support à cette UE.

PREREQUIS
Bases d’algorithmique.

56
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

18 - STRUCTURE MASTER I2A 1E ANNÉE


PERIODE INTITULE CREDITS

Master informatique I2A semestre 7

1 VVI7MPHP - PHP/MYSQL 6.0

1 VVI7MPO - MODÉLISATION ET PROGRAMMATION ORIENTÉES OBJET 6.0

▾ VVI7MGL - GÉNIE LOGICIEL 6.0

1 VVI7MMPA - Méthodes et pratiques agiles 3.0

2 VVI7MAFD - Approche formelle de développement 3.0

2 VVI7MBDA - BASES DE DONNÉES AVANCÉES 6.0

2 VVI7MEP - ÉVALUATION DE PROGRAMMES 6.0

57
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

Master informatique I2A semestre 8

1 VVI8MRES - RÉSEAU 6.0

1 VVI8EMIA - MÉTHODES ET OUTILS POUR L'INTELLIGENCE ARTIFICIELLE 6.0

A VVI8EEN - ANGLAIS 6.0

2 VVI8MALO - ARCHITECTURES LOGICIELLES À OBJET 6.0

2 VVI8EIG - INFORMATIQUE GRAPHIQUE 6.0

Les périodes :

Enseigné en période 1 (octobre à janvier)


Enseigné en période 2 (février à mai)
Enseigné toute l'année (octobre à mai)

58
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

19 - DESCRIPTION MASTER I2A 1E ANNÉE

VVI7MPHP PHP/MySQL
Crédits: 6.0

Responsable : Frédéric DADEAU


Intervenant(s) : Eric MERLET, Frederic DADEAU

Enseigné à la période 1 (octobre à janvier)

DESCRIPTION
Cette UE porte sur la programmation de site Web dynamique en utilisant les outils open-source PHP
et MySQL ou MariaDB. Aujourd'hui, 99% des sites Web sont dynamiques : les informations affichées
dans les pages Web proviennent d'une base de données hébergée sur un serveur de bases de données
(architecture 3 tiers). Les informations sont manipulées et extraites avec le langage SQL, et traitées avec
des langages spécialisés, entre autres et très souvent PHP.

OBJECTIFS
Dans ce contexte, Le module aborde les thèmes suivants :

• les caractéristiques de PHP : langage de script, typage dynamique, gestion avancée des chaînes
de caractères, concept très étendu de tableaux,
• la connexion à une base de données MySQL ou MariaDB, l'envoi de requêtes SQL, le traitement
des données sélectionnées,
• la gestion des transmissions de données client vers serveur avec des URLs, des formulaires, des
téléchargements de fichiers,
• la manipulation de l'arborescence des dossiers et des fichiers sur le serveur,
• les bases de la programmation objet avec PHP,
• la manipulation d'expressions régulières avec PHP,

Toutes les notions enseignées sont illustrées par de nombreux exemples totalement interactifs :
l'étudiant peut exécuter le code, le modifier comme il veut et voir les résultats directement dans le
tutoriel accompagnant le module.

COMPÉTENCES À ACQUÉRIR
À la fin du cours, l'étudiant est capable de :

• Concevoir et développer des interfaces utilisateurs dans un environnement 3 tiers (HTML, CSS,
PHP).
• Concevoir et développer les méthodes de traitement de données dans un environnement 3 tiers
(PHP, SQL).
• Effectuer des traitements spécifiques côté serveur : transferts de fichiers, opérations sur les
fichiers et les répertoires.
• Construire et développer des applications fiables au niveau de la sécurité, tant du point de vue
fonctionnelle que du point de vue de la protection des données.

59
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI7MPO Modélisation et programmation orientées objet


Crédits: 6.0

Responsable : Sylvie DAMY


Intervenant(s) : Louis-Sébastien SIMARD, Sylvie DAMY

Enseigné à la période 1 (octobre à janvier)

DESCRIPTION
Le cours aborde les connaissances suivantes :

• Le langage UML sera présenté dans la partie modélisation (diagramme de classe, ...).
• Le langage Java et son environnement : compilation, machine virtuelle, . . .
• Développer avec Java : paquetages, fichiers jar, documentation des sources, compilation avec
Maven.

PREREQUIS
Connaissances de base en programmation orientée objet.

OBJECTIFS
Cette UE présente les outils et concepts de base en modélisation et programmation objet. Son but est
notamment d'acquérir des connaissances de bases en programmation Java en utilisant les bibliothèques
fournies par le JDK.

60
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI7MGL Génie logiciel


Crédits: 6.0
Responsable : Fabien Peureux

Est composé de :

VVI7MMPA Méthodes et pratiques agiles

VVI7MAFD Approche formelle de développement

DESCRIPTION
Cette UEC annuelle se compose des deux EC suivants :

• Méthode et pratiques agiles pour 3 crédits (enseigné en 1ère période de l’Année 1 CTU),
• Approche formelle de développement pour 3 crédits (enseigné en 2ème période de l’Année 1
CTU).

VVI7MMPA Méthodes et pratiques agiles


Crédits: 3.0
Enseigné à la période 1 (octobre à janvier)
Intervenant(s) : Fabien PEUREUX

DESCRIPTION

Ainsi, après un rapide historique et panorama des approches du Génie Logiciel et des cycles de vie du
logiciel associés, les méthodes de développement agile (spécialement SCRUM et eXtreme
Programming) et leurs pratiques associées sont détaillées.

PREREQUIS

Une première expérience de développement logiciel en équipe est souhaitable, sans être obligatoire
néanmoins.

OBJECTIFS

Cet EC vise à présenter les origines, les motivations, les objectifs et les pratiques actuelles du Génie
Logiciel. Il s’agit donc d’introduire et d’expliquer l’ensemble des activités et des tâches qui sont mises en
œuvre et organisées dans le but de spécifier, concevoir, implémenter, valider et maintenir tout produit
logiciel. Les différentes méthodes de développement logiciel sont ainsi présentées, et en particulier les
approches dites agiles, très populaires de nos jours.

VVI7MAFD Approche formelle de développement


Crédits: 3.0
Enseigné à la période 2 (février à mai)
Intervenant(s) : Fabien PEUREUX

DESCRIPTION

61
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

Après une brève introduction à la méthode B, les bases du langage B sont étudiées et mises en œuvre
afin de spécifier, sous forme de machines abstraites, les exigences fonctionnelles du logiciel à
développer. Finalement, des techniques de modélisation avancées, telles que le raffinement et la
combinaison de machines, sont présentées dans le but d'illustrer la démarche opérationnelle de
conception formelle basée sur la définition d'une architecture de spécifications complexes.

PREREQUIS

Logique propositionnelle et logique des prédicats.

OBJECTIFS

L'objectif de cette UE consiste à adopter une démarche de spécification et de développements


formels en utilisant le langage B et en appliquant la méthode de raffinement associée.

62
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI7MBDA Bases de données avancées


Crédits: 6.0
Responsable : Sylvie DAMY
Intervenant(s) : Neil TAURISSON, Sylvie DAMY

Enseigné à la période 2 (février à mai)

DESCRIPTION
Les bases de données correspondent à un type d'outil très largement utilisé dans les entreprises.
Toute entreprise a besoin de stocker et surtout d'accéder à une masse d'informations de plus en plus
importante. Face à la massification des données (BigData), les enjeux principaux deviennent (1)
d'assurer la qualité des données traitées, (2) de stocker et traiter d'énormes volumes de données.

OBJECTIFS
Nous proposons ainsi, dans ce cours de voir :

• une présentation générale des systèmes d'information et de leur qualité


• une présentation des bases de données NoSQL

63
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI7MEP Évaluation de programmes


Crédits: 6.0

Responsable : Nicolas VACELET


Intervenant(s) : Nicolas VACELET

Enseigné à la période 2 (février à mai)

DESCRIPTION
Ainsi seront présentées les machines de Turing, les notions de décidabilité et d'indécidabilité, la
notion de complexité, les classes de complexité. Les différents algorithmes de tris serviront à mettre en
avant différents calculs de complexité.

PREREQUIS
Base de l’algorithmique (boucles, conditions, ...), notions mathématiques : suites récurrentes (linéaires
ou non), limites, inégalités sur les fonctions, démonstration par récurrence.

OBJECTIFS
Cette UE est une introduction à la calculabilité et la complexité. Elle aborde aussi l'algorithmique.

64
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI8MRES Réseau
Crédits: 6.0
Responsable : Gaël COLLE
Intervenant(s) : Gaël COLLE

Enseigné à la période 1 (octobre à janvier)

DESCRIPTION
Cette UE de réseau fait partie des connaissances indispensables pour les étudiants de Master
informatique avec le développement d'Internet et des communications mobiles.

PREREQUIS
Arithmétique binaire et algorithmique.

OBJECTIFS
Le cours complète les connaissances acquises les années précédentes en réseau :

• Introduction aux réseaux (les grandes catégories de réseaux, le modèle OSI) ; Concepts de base
en communication, protocoles et ondes électromagnétiques ;
• Réseaux locaux (la norme IEEE 802, Ethernet, les éléments constitutifs d'un réseau local,
CSMA/CD, calcul du CRC) ;
• TCP/IP (UDP,TCP,IP, ICMP, ARP, RARP, DNS, IPV6, IGMP) ;
• Numérotation IP ; Routage ;
• Sécurité (cryptographie, algorithmes symétriques asymétriques, fonctions de hachage, certificats,
signature, IPSEC) ;
• Réseaux sans fil (réseaux cellulaires, 2G, 3G, 4G, 802.11, Bluetooth, réseaux had hoc, Wifi,
mobilité).

Un étudiant doit être capable de choisir le réseau qui convient tant au niveau filaire que sans fil ainsi
que les outils permettant de garantir la sécurité des utilisateurs connectés. Des informations pour
paramétrer un ordinateur et un routeur sont également données.

65
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI8EMIA Méthodes et outils pour l'intelligence artificielle


Crédits: 6.0

Responsable : Fabrice BOUQUET


Intervenant(s) : Anne BOUQUET, Fabrice BOUQUET

Enseigné à la période 1 (octobre à janvier)

DESCRIPTION
L'intelligence artificielle est une expression souvent employée en littérature ou au cinéma pour
désigner des entités informatiques capables de penser. Même si la finalité pourrait se résumer à cela, le
terme regroupe l'ensemble des moyens pour y parvenir. Dans ce cours, nous présentons un certain
nombre de modélisations de l'information et de méthodes de résolution utilisées en intelligence
artificielle. Le cours traite des deux aspects de l'inteligence artificielle la symbolique et la non
symbolique.

PREREQUIS
Logique propositionnelle et logique des prédicats.

OBJECTIFS
Cette UE s'articule en trois parties :

• historique, présentation de formalismes et algorithme de recherches dans les graphes d'états ;


• contrainte, système expert et jeu ;
• planification, apprentissage, méthodes incomplètes et linguistique.

Le langage support pour illustrer les différentes approches est Prolog.

BIBLIOGRAPHIE
• "Approche logique de l'intelligence Artificielle" - 4 Tomes de André Thayse et al. aux éditions
Dunod
• "Intelligence Artificielle" de Stuart Russel et Peter Norviq aux éditions Pearson.
• "Panorama de l'intelligence artificielle" - 3 tomes de Pierre Marquis, Odile Papini et Henri
Prade, aux éditions Cepadues.
• "Programming with constraints" de Kimbal Marriott and Peter .J. Stuckey, aux éditions MIT Press
• "Prolog Programming for Artificial Intelligence" de Yvan Bratko, aux éditions Addison & Wesley
• "Outils logique pour l'intelligence artificielle" de Jean-Paul Delahaye, aux éditions Eyrolles
• "Reasoning about knowledge" de Ronald Fagin et al., aux éditions MIT Press
• "Systèmes Experts : Méthodes et outils" de Jean-Marc Chatain et Alain Dussauchoy, aux éditions
Eyrolles
• "Artificial Intelligence and Machine Learning Fundamentals" de Zsolt Nagy aux editions
Packt Publishing (e-book disponible sur scholarvox sur le site web de la BU).
• "Intelligence artificielle : vers une domination programmée ? " de Jean-Gabriel Ganascia aux
éditions Le Cavalier Bleu Editions (e-book disponible sur scholarvox sur le site web de la BU).
• "Logique et langage : déduction naturelle" de Jean-Pierre Desclés, Brahim Djioua et Florence Le
Priol aux éditions Hermann (e-book disponible sur scholarvox sur le site web de la BU).

66
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI8EEN Anglais
Crédits: 6.0
Intervenant(s) : Dana LEON-HENRI

Enseigné toute l'année

DESCRIPTION
Cette UE vous propose un contenu varié pour développer vos compétences en anglais : un parcours
thématique interactif sur Moodle et un parcours individuel sur une plateforme d’apprentissage de
l’anglais en ligne qui vous permettra de travailler, à la carte, les compétences que vous devez améliorer
pour atteindre ou consolider le niveau intermédiaire avancé (B2) requis à l’université selon le CECRL
(Cadre européen commun de référence pour les langues). Vous serez accompagnés par un enseignant
tuteur qui animera le cours et vous conseillera dans votre cheminement qui débutera par un test de
niveau sur la plateforme.

OBJECTIFS
Ce cours se déroule sur l’année complète avec un contrôle continu de 7 évaluations qui testeront les
différentes compétences orales et écrites du niveau B2 du CECRL. La note finale sera basée sur la
moyenne des 6 meilleures notes de l’année. Une session 2 sera organisée en ligne fin juin pour cette UE.
Ainsi, les notes obtenues lors de celle-ci complètent les notes de la session 1 pour calculer votre nouvelle
moyenne (voir le détail du calcul dans les modalités d'évaluation sur votre espace de cours).

67
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI8MALO Architectures logicielles à objet


Crédits: 6.0

Responsable : Louis-Sébastien SIMARD


Intervenant(s) : Louis-Sébastien SIMARD

Enseigné à la période 2 (février à mai)

DESCRIPTION
Le but de cette UE est d'étudier la programmation en utilisant la technologie objet, de comprendre et
utiliser des bibliothèques d'objets existantes, et d'utiliser les Design Patterns pour concevoir des
applications.

OBJECTIFS
Cette UE est décomposée en trois grands chapitres :

• Rappels sur la programmation par objet : classe, objet, héritage, polymorphisme,...


• Développer avec Java : types génériques, collections...
• Développer en utilisant les Design Patterns.

68
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI8EIG Informatique graphique


Crédits: 6.0

Responsable : Didier TEIFRETO


Intervenant(s) : Didier TEIFRETO

Enseigné à la période 2 (février à mai)

DESCRIPTION
Le but de l'UE d'informatique graphique est de démontrer les bases de ce domaine et le
fonctionnement des bibliothèques graphiques. Une scène est composée d'un ensemble d'objets et de
lumières. Nous devons donc modéliser les objets puis le placer dans la scène avec les éclairages
correspondants. Ceci étant réalisé, la scène doit être projetée sur l'écran de façon rapide.

PREREQUIS
Algorithmique et programmation avec le langage C.

OBJECTIFS
Le cours est structuré en quatre parties :

• Modélisation et mathématiques associés (calcul vectoriel et matriciel, géométrie, . . .).


• Visualisation d'une scène de l'espace sur un plan et suppression des parties cachées.
• Tracés de primitives dans le plan (droite, cercle, . . .), fenêtrage et remplissage de polygones.
• Modèle d'ombrage et placage de texture.

Chaque partie contient des exercices théoriques et pratiques. OpenGL (associé au langage C) est
utilisé pour illustrer les concepts étudiés.

BIBLIOGRAPHIE
• Introduction à l'infographie - James D. Foley, Andries Van Dam, Steven K. Feiner. 2000. Vuibert
• OpenGL 1.2 : Guide officiel, (3ème édition) - Mason Woo, Jackie Neider, Tom Davis, and Dave
Shreiner. 2002. CampusPress.

69
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

20 - STRUCTURE MASTER I2A 2E ANNÉE


PERIODE INTITULE CREDITS

Master informatique I2A année 2 parcours professionnel

▾ VVI9SEM - MASTER INFORMATIQUE I2A SEMESTRE 9 30.0

1 VVI9MTGC - Théorie des graphes et combinatoire 6.0

1 VVI9MPFA - Programmation fonctionnelle avancée 6.0

VVI9MIMS - Ingénierie dirigée par les modèles et sécurité 6.0

1 VVI9MIDM - Ingénierie dirigée par les modèles 3.0

2 VVI9MCS - Cybersécurité 3.0

2 VVI9EAC - Algorithmique concurrente 6.0

2 VVI9EVA - Vérification à base d'automates 6.0

▾ VVIXPSEM - MASTER INFORMATIQUE I2A SEMESTRE 10 PROFESSIONNEL 30.0

1 VVIXECSD - Communication dans les systèmes distribués 6.0

VVIXVSVT - Spécification, vérification et test 6.0

1 VVIXETSF - Test structurel et fonctionnel 3.0

1 VVIXMSV - Spécifier et vérifier 3.0

A VVIXESTA - Stage en entreprise 18.0

70
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

Master informatique I2A année 2 parcours recherche

▾ VVI9SEM - MASTER INFORMATIQUE I2A SEMESTRE 9 30.0

1 VVI9MTGC - Théorie des graphes et combinatoire 6.0

1 VVI9MPFA - Programmation fonctionnelle avancée 6.0

VVI9MIMS - Ingénierie dirigée par les modèles et sécurité 6.0

1 VVI9MIDM - Ingénierie dirigée par les modèles 3.0

2 VVI9MCS - Cybersécurité 3.0

2 VVI9EAC - Algorithmique concurrente 6.0

2 VVI9EVA - Vérification à base d'automates 6.0

▾ VVIXRSEM - MASTER INFORMATIQUE I2A SEMESTRE 10 RECHERCHE 30.0

VVIXCCHO - Comm. dans les syst. distribués ou Spécific., vérif., test 18.0

1 VVIXECSD - Communication dans les systèmes distribués 6.0

VVIXVSVT - Spécification, vérification et test 6.0

1 VVIXETSF - Test structurel et fonctionnel 3.0

1 VVIXMSV - Spécifier et vérifier 3.0

VVIXVEDS - Étude de documents scientifiques 18.0

1 VVIXELAR - Lecture d'articles de recherche 3.0

1 VVIXEEPR - État de l'art du projet de recherche 3.0

2 VVIXEPIR - Projet d'initiation à la recherche 18.0

Les périodes :

Enseigné en période 1 (octobre à janvier)


Enseigné en période 2 (février à mai)
Enseigné toute l'année (octobre à mai)

71
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

21 - DESCRIPTION MASTER I2A 2E ANNÉE

VVI9MTGC Théorie des graphes et combinatoire


Crédits: 6.0
Responsable : Laurent PHILIPPE
Intervenant(s) : Laurent PHILIPPE

Enseigné à la période 1 (octobre à janvier)

DESCRIPTION
Cette UE a pour objectif la mise en relation des techniques avancées d'algorithmique et de la
combinatoire. Du point de vue algorithmique, après avoir découvert l'algorithmique de contrôle en
début de cursus informatique, puis l'algorithmique sur les données et les structures complexes (listes,
files, piles, tas, arbres), et enfin l'algorithmique objet, cette UE porte sur l'algorithmique liée plus
particulièrement aux graphes.

OBJECTIFS
Cette UE aborde les connaissances et méthodes suivantes :

• Éléments sur les graphes


• Algorithmique sur les graphes
• Parcours Eulériens et Hamiltoniens
• Programmation dynamique
• Programmation linéaire
• Programmation gloutonne
• Recherche de plus court chemin

BIBLIOGRAPHIE
Introduction à l'algorithmique (2ème édition) - Thomas Cormen, Charles Leiserson, Ronald Rivest,
Clifford Stein, 2002, Dunod

72
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVIXECSD Communication dans les systèmes distribués


Crédits: 6.0

Responsable : Laurent PHILIPPE


Intervenant(s) : Laurent PHILIPPE

Enseigné à la période 1 (octobre à janvier)

DESCRIPTION
Le but de cette UE est d'acquérir des compétences dans la maîtrise du développement d'applications
et de services en réseau, principalement du point de vue des problématiques de communication. Nous
abordons donc les différents aspects liés à la communication entre programmes et leur mise en œuvre
sur différents supports de communication.

PREREQUIS
Programmation C et Java, programmation des systèmes Unix, utilisation du shell.

OBJECTIFS
Les supports étudiés comprennent :

• la programmation en détail des sockets, interface d’accès à TCP/IP la plus répandue,


• les appels de procédures ou méthodes à distance, sur la base du modèle d’objets distants
Java/RMI.

73
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI9MPFA Programmation fonctionnelle avancée


Crédits: 6.0
Responsable : Jean-Michel HUFFLEN
Intervenant(s) : Jean-Michel HUFFLEN

Enseigné à la période 1 (octobre à janvier)

DESCRIPTION
Cette UE vise à acquérir des compétences approfondies en programmation fonctionnelle.

OBJECTIFS
Nous pouvons diviser le contenu de l'UE PFA en une première grande partie, suivie d'une seconde
partie de compléments.

La première présente les choix qui sont liés à la conception d'un langage fonctionnel. Ce n'est donc
pas l'apprentissage d'un langage en tant que « produit fini », mais une comparaison des diverses
méthodes de réalisation. Après un exposé de la base des langages fonctionnels (le lambda-calcul), nous
montrons en quoi la programmation est différente selon les choix opérés par les concepteurs : liaisons
dynamiques ou lexicales, gestion d'un ou plusieurs espaces de noms, gestion des définitions de
l'environnement global (définitions visibles par l'utilisateur).

En fait, l'intérêt de cette partie dépasse les dialectes Lisp, héritiers directs du lambda-calcul, car nous
montrons en quoi les caractéristiques que nous étudions se retrouvent dans d'autres langages (C++,
Java, TEX). De même, les versions modernes de langages tels que Java, C++, C# ou Python ont intégré
des constructions dérivées de la programmation fonctionnelle, nous analysons les choix qui ont été faits.

La seconde partie présente des techniques de programmation dites avancées. D'abord, les macros {\it
hygiéniques} de Scheme, qui permettent une programmation beaucoup plus aisée des structures de
contrôle par rapport à d'autres techniques. Ensuite, l'usage de continuations pour traiter en particulier
les cas d'erreur. «En particulier », car en fait, nous montrons que les continuations permettent d'accroître
sensiblement le pouvoir d'expression du langage.

Quant aux exercices pratiques de cette UE, ils utilisent tous le langage Scheme. D'autres réalisations
sont également présentées à titre d'exemples de choix alternatifs : p. ex., GNU Emacs Lisp, Common
Lisp, Standard ML, CAML.

BIBLIOGRAPHIE
[1] Daniel P. Friedman, Mitchell Wand and Christopher T. Haynes: Essentials of Programming Languages.
The MIT Press, 1992.
[2] Christian Queinnec: Les langages Lisp. InterEditions, 1994.
[3] Rainer Grimm. C++11 für Programmierer. O'Reilly, 2014.

74
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVIXVSVT Spécification, vérification et test


Crédits: 6.0
Responsable : Fabrice Bouquet

Est composé de :

VVIXETSF Test structurel et fonctionnel

VVIXMSV Spécifier et vérifier

VVIXETSF Test structurel et fonctionnel


Crédits: 3.0
Enseigné à la période 1 (octobre à janvier)
Intervenant(s) : Fabrice BOUQUET

DESCRIPTION

Cet élément constitutif a comme objectif d’apprendre les fondements des deux grandes approches de
test qui sont le test structurel et le test fonctionnel.

PREREQUIS

Connaissance d’un langage de programmation structuré.

OBJECTIFS

Après une introduction à l'usage d'une démarche de test dans le cadre de développement
d'application, nous nous intéresserons aux deux grandes approches de test.

La première, qui concerne le test structurel, permet de voir comment établir, à partir des informations
extraites du code, un niveau de confiance dans les tests mis en œuvre pour valider une application. Pour
cela, nous nous intéressons à la notion de couverture du flot de contrôle et de données.

La seconde, qui concerne le test fonctionnel, permet de voir comment établir un jeu de tests pertinent
à partir d'informations issues des spécifications ou des exigences du système. Ainsi la couverture peut
être réalisée sur la base de ces éléments ou d'une représentation formalisée comme un modèle.

VVIXMSV Spécifier et vérifier


Crédits: 3.0
Enseigné à la période 1 (octobre à janvier)
Intervenant(s) : Alain GIORGETTI

DESCRIPTION

Cet EC porte sur la modélisation de logiciel à l’aide de systèmes à base d’états (systèmes de
transitions, systèmes d’événements), la spécification formelle de leurs propriétés, et la vérification de
ces propriétés. Il introduit les notions de système réactif, de système d’événements, de non-
déterminisme, de contrat de programme et d'invariant. Parmi les techniques de vérification, la

75
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

vérification déductive est privilégiée. Le test et le model-checking de propriétés pourront aussi être
abordés. L'accent est mis sur l'utilisation de l'outil de vérification Why3 (http://why3.lri.fr/).

PREREQUIS

Compétences en programmation impérative et en logique du premier ordre.

OBJECTIFS

Le cours est organisé en 6 chapitres :

1. Introduction de la démarche de vérification de modèles


2. Modélisation de systèmes par raffinement
3. Vérification de programmes séquentiels en B
4. Modélisation de propriétés en Logique Temporelle Linéaire (LTL)
5. Vérification des propriétés LTL par model checking
6. Modéliser pour tester

76
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI9MIMS Ingénierie dirigée par les modèles et sécurité


Crédits: 6.0

Est composé de :

VVI9MIDM Ingénierie dirigée par les modèles

VVI9MCS Cybersécurité

VVI9MIDM Ingénierie dirigée par les modèles


Crédits: 3.0
Enseigné à la période 1 (octobre à janvier)
Intervenant(s) : Bruno TATIBOUET

DESCRIPTION

Cette UE s'articule autour de la notion de modèles, de méta-modèle qui est un modèle qui définit le
langage pour exprimer un modèle, de langages de contraintes portant sur les modèles et de langages de
transformations de modèles s'appuyant notamment sur les méta-modèles.

OBJECTIFS

L'UE est décomposée en 5 parties :

• Modélisation UML : les diagrammes de classes, d'objets et de paquetages


• Langage de contraintes OCL : intérêt, présentation et utilisation
• Intérêt et rôle de la méta-modélisation, utilisation des méta-modèles
• Transformation de modèles : présentation, concepts et perspectives
• Langages d'action et modèles exécutables (fUML et ALF)

Chaque concept est présenté de façon pratique à travers la plateforme Eclipse.

VVI9MCS Cybersécurité
Crédits: 3.0
Enseigné à la période 2 (février à mai)
Intervenant(s) : Yohan GUIOT

DESCRIPTION

Cette UE vise l'acquisition de connaissances sur les questions de vulnérabilité des applications Web,
d'analyse de risque de sécurité et de techniques de test de sécurité.

OBJECTIFS

Cette UE est décomposée en 5 chapitres :

• Introduction sur les vulnérabilités applicatives Web


• Analyse de risque (suivant ISO 2700x)

77
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

• Vulnérabilités par injection XSS et SQLi


• Vulnérabilités de type CSRF et d'authentification
• Outils et méthodes de détection de vulnérabilités d'applications Web

78
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVIXESTA Stage en entreprise


Crédits: 18.0

Responsable : Fabien PEUREUX


Intervenant(s) : Fabien PEUREUX

Enseigné toute l'année

DESCRIPTION
Ce stage est d’une durée minimale de 16 semaines. Il se déroule dans une entreprise et son sujet est
soumis à acceptation du responsable des stages. A savoir que pour les étudiants salariés, des modalités
spécifiques peuvent être appliquées afin que ces étudiants puissent poursuivre normalement leur
activité professionnelle durant la durée du stage, et ainsi conserver pleinement leur statut de salarié (il
s’agit traditionnellement d’identifier une mission, menée par l’étudiant dans son contexte professionnel,
afin de l’utiliser comme support au travail attendu dans le cadre de cette UE). Nous encourageons les
étudiants à prendre contact, le plus tôt possible, avec le responsable des stages, pour discuter de ces
différentes modalités.

Cette UE est évaluée sur la base :


• du travail réalisé lors de la période de stage pour remplir la mission donnée,
• d’un rapport écrit synthétisant le travail mené,
• d’une soutenance en présentiel visant à présenter le travail et défendre le rapport.

ATTENTION : Les soutenances de stage sont réalisées à Besançon (sauf impossibilité majeure) lors de la
seconde session d’examen. La soutenance ne peut avoir lieu qu’avec l’accord préalable de l’enseignant
tuteur, qui est affecté à l’étudiant pour toute la durée de son stage. La soutenance de stage doit
impérativement se dérouler avant le 30 septembre pour que l’UE soit validée au titre de l’année
universitaire.

PREREQUIS
Avoir acquis les connaissances théoriques et pratiques dispensées durant la formation.

79
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI9EAC Algorithmique concurrente


Crédits: 6.0
Responsable : Bénédicte HERRMANN
Intervenant(s) : Laurent PHILIPPE, Bénédicte HERRMANN

Enseigné à la période 2 (février à mai)

DESCRIPTION
Cette UE a pour objectif de présenter l'algorithmique concurrente dans un contexte centralisé (C) et
distribué (D).

OBJECTIFS
Les différentes parties traitées sont :

• Problématique de l'exclusion mutuelle (C et D),


• Principes de gestion de la concurrence (C) : sémaphore, mutex, moniteur,
• Programmation concurrente en Java (C) : threads, synchronisation,
• Ordonnancement des évènements (D) : horloges logiques et vectorielles,
• Algorithmes de gestion de la concurrence (D)
• Election (D),
• Communication de groupes (D).

BIBLIOGRAPHIE
• Concurrent Programming : Algorithms, Principles, and Foundations - Michel Raynal, 2013,
Springer-Verlag
• Introduction to Distributed Algorithms (2nd Edition) - Gerard Tel, 2000, Cambridge Press

80
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI9EVA Vérification à base d'automates


Crédits: 6.0

Responsable : Olga KOUCHNARENKO


Intervenant(s) : Pierre-cyrille HEAM, Olga KOUCHNARENKO

Enseigné à la période 2 (février à mai)

DESCRIPTION
L’objectif de cette UE est d’approfondir la notion d’automate, particulièrement dans le cadre de la
modélisation et de la vérification des systèmes. En effet, pour des raisons d’expressivité et
d’algorithmique, de nombreuses approches formelles de la modélisation et de l’analyse des systèmes
s’appuient sur des graphes finis enrichis, en marquant les états et les transitions. On obtient alors
différents modèles d’automates finis étendus, pour lesquels il est nécessaire de maintenir un équilibre
entre expressivité et complexité algorithmique des différents problèmes. En parallèle, il convient
d'utiliser des logiques compatibles afin de décrire les propriétés voulues.

Le cours aborde des problématiques générales de la vérification à base d’automates (modélisation,


vérification, relations de comparaison, produits d’automates), pour se focaliser sur quelques exemples
d’extensions (systèmes de transitions étiquetés, automates de Büchi, automates probabilistes, etc.),
ainsi que sur quelques exemples de logiques (logique temporelle, logique modale).

PREREQUIS
Théorie des langages (mots, langages, automates finis, langages rationnels, opérations sur les
langages et sur les automates), mathématiques élémentaires (théorie des ensembles, suites, fonc- tions,
relations, probabilités discrètes, etc.), logique élémentaire (logique propositionnelle, du premier ordre,
modèle), algorithmique de base (complexité, parcours de graphes, etc.).

81
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI9MTGC Théorie des graphes et combinatoire


Crédits: 6.0
Responsable : Laurent PHILIPPE
Intervenant(s) : Laurent PHILIPPE

Enseigné à la période 1 (octobre à janvier)

DESCRIPTION
Cette UE a pour objectif la mise en relation des techniques avancées d'algorithmique et de la
combinatoire. Du point de vue algorithmique, après avoir découvert l'algorithmique de contrôle en
début de cursus informatique, puis l'algorithmique sur les données et les structures complexes (listes,
files, piles, tas, arbres), et enfin l'algorithmique objet, cette UE porte sur l'algorithmique liée plus
particulièrement aux graphes.

OBJECTIFS
Cette UE aborde les connaissances et méthodes suivantes :

• Éléments sur les graphes


• Algorithmique sur les graphes
• Parcours Eulériens et Hamiltoniens
• Programmation dynamique
• Programmation linéaire
• Programmation gloutonne
• Recherche de plus court chemin

BIBLIOGRAPHIE
Introduction à l'algorithmique (2ème édition) - Thomas Cormen, Charles Leiserson, Ronald Rivest,
Clifford Stein, 2002, Dunod

82
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI9MPFA Programmation fonctionnelle avancée


Crédits: 6.0

Responsable : Jean-Michel HUFFLEN


Intervenant(s) : Jean-Michel HUFFLEN

Enseigné à la période 1 (octobre à janvier)

DESCRIPTION
Cette UE vise à acquérir des compétences approfondies en programmation fonctionnelle.

OBJECTIFS
Nous pouvons diviser le contenu de l'UE PFA en une première grande partie, suivie d'une seconde
partie de compléments.

La première présente les choix qui sont liés à la conception d'un langage fonctionnel. Ce n'est donc
pas l'apprentissage d'un langage en tant que « produit fini », mais une comparaison des diverses
méthodes de réalisation. Après un exposé de la base des langages fonctionnels (le lambda-calcul), nous
montrons en quoi la programmation est différente selon les choix opérés par les concepteurs : liaisons
dynamiques ou lexicales, gestion d'un ou plusieurs espaces de noms, gestion des définitions de
l'environnement global (définitions visibles par l'utilisateur).

En fait, l'intérêt de cette partie dépasse les dialectes Lisp, héritiers directs du lambda-calcul, car nous
montrons en quoi les caractéristiques que nous étudions se retrouvent dans d'autres langages (C++,
Java, TEX). De même, les versions modernes de langages tels que Java, C++, C# ou Python ont intégré
des constructions dérivées de la programmation fonctionnelle, nous analysons les choix qui ont été faits.

La seconde partie présente des techniques de programmation dites avancées. D'abord, les macros {\it
hygiéniques} de Scheme, qui permettent une programmation beaucoup plus aisée des structures de
contrôle par rapport à d'autres techniques. Ensuite, l'usage de continuations pour traiter en particulier
les cas d'erreur. «En particulier », car en fait, nous montrons que les continuations permettent d'accroître
sensiblement le pouvoir d'expression du langage.

Quant aux exercices pratiques de cette UE, ils utilisent tous le langage Scheme. D'autres réalisations
sont également présentées à titre d'exemples de choix alternatifs : p. ex., GNU Emacs Lisp, Common
Lisp, Standard ML, CAML.

BIBLIOGRAPHIE
[1] Daniel P. Friedman, Mitchell Wand and Christopher T. Haynes: Essentials of Programming Languages.
The MIT Press, 1992.
[2] Christian Queinnec: Les langages Lisp. InterEditions, 1994.
[3] Rainer Grimm. C++11 für Programmierer. O'Reilly, 2014.

83
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVIXVEDS Étude de documents scientifiques


Crédits: 18.0
Responsable : Alain GIORGETTI

Est composé de :

VVIXELAR Lecture d'articles de recherche

VVIXEEPR État de l'art du projet de recherche

DESCRIPTION
Elle a pour objectif de faire découvrir et d’initier les étudiants aux travaux de recherche réalisés dans
une des quatre équipes du Département d’Informatique des Systèmes Complexes (DISC) : AND,
DEODIS, OMNI ou VESONTIO. Chaque étudiant travaille avec l’équipe de recherche de son choix (choix
réalisé par l’étudiant lors de son inscription).

Le choix de l’équipe de recherche est à faire au moment de l’inscription puisqu’il conditionne d’une
part l’équipe enseignante qui accompagne l’étudiant lors de ce module puis au cours du Projet
d’initiation à la recherche réalisé en 2ème période de l’année, et d’autre part la nature de l’autre UE
suivie au cours de cette 1ère période (Communication dans les systèmes distribués pour les étudiants
optant pour l’équipe AND, DEODIS ou OMNI, Spécification, vérification et test pour les étudiants optant
pour l’équipe VESONTIO). Pour faire ce choix, une description des thématiques étudiées par chacune
des quatre équipes de recherche est disponible ci-après. Nous encourageons aussi les étudiants à visiter
le site Web du département (voir le site http://www.femto-st.fr/fr/Departements-de-recherche/
DISC/Presentation/) et à solliciter directement le responsable de cette UEC pour obtenir davantage
d’information.

AND : Algorithmique Numérique Distribuée (contact : Mourad HAKEM).


Nous nous intéressons aux problématiques nécessitant une recherche en algorithmique numérique
distribuée. Notre démarche est basée sur la modélisation théorique, la preuve scientifique et la
validation expérimentale. Nous nous intéressons à la résolution d’applications par des algorithmes
itératifs sur des machines hétérogènes locales ou distantes (clusters, grilles, . . . ) en travaillant sur la
gestion de l’asynchronisme, l’accélération de la convergence et l’équilibrage de charge.
Les problématiques sont les suivantes :

• Développement d’algorithmes numériques adaptés aux nouveaux contextes informatiques ;


• Développement et utilisation d’environnements de programmation adaptés ;
• Application aux réseaux de capteurs à la cryptographie, ...

DEODIS : Conception et évaluation de systèmes distribués (contact : Marie-Laure BETBEDER).


À partir d’architectures distribuées, nous développons des environnements pour la grille, des
algorithmes pour les applications collaboratives et des protocoles pour les réseaux de capteurs sans fil.
Les nuds sont répartis aussi bien sur internet que sur des réseaux intranet, des réseaux locaux ou des
réseaux sans fil. Ces nuds sont des stations de travail classiques, des clusters, des capteurs, des
téléphones ou des dispositifs embarqués. L’équipe est structurée en 3 actions qui utilisent des concepts
communs comme la distribution, la communication, la collaboration, la répartition et l’ordonnancement.
On étudie la collaboration entre les humains (travail collaboratif), entre les dispositifs embarqués
(capteurs,. . . ), entre les éléments des clusters. Des protocoles de communication sont développés
prenant en compte la sécurité et l’économie d’énergie. Des algorithmes sont optimisés permettant de
rendre le système plus fiable, plus efficace et mieux équilibré. L’équipe est structurée en trois actions :

84
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

• Environnement pour grilles ;


• Algorithmes ditribués pour télé-application coopératives ;
• Réseau de capteurs sans fil.

OMNI : Optimisation, Mobilité et NetworkIng (contact : Hakim MABED).


Les compétences de l’équipe OMNI reposent sur la modélisation, la gestion et l’optimisation pour les
réseaux mobiles multi-échelles qui comprennent aussi bien des objets macroscopiques intelli- gents
monolithiques que des objets macroscopiques composés d’éléments microscopiques intelli- gents
(MEMS intelligents distribués). Pour la modélisation, nous nous appuyons sur notre expérience de
modélisation quantitative par réseau de file d’attentes, l’analyse (semi-)statique des performances des
programmes distribués et les modèles de propagations réalistes. L’optimisation des réseaux mo- biles
multi-échelles s’appuie sur notre expérience des graphes terrain permettant de gérer la structure et les
propriétés de services vis-à-vis de critères d’objectifs d’optimisation des flux. L’optimisation de la
structuration de ces réseaux repose aussi sur des méta-heuristiques formées sur la base d’algorithmes
génétiques.
L’originalité de cette thématique vient de sa problématique scientifique qui est à la conjonction des
systèmes distribués classiques, des réseaux ad hoc tout en intégrant des aspects programmation et
réseaux. De plus, les MEMS intelligents distribués possèdent des caractéristiques propres pour lesquelles
il faut définir de nouvelles méthodes de gestion. Enfin, l’aspect multi-échelles apparaît extrêmement
important pour que les micro-systèmes puissent être interfacés avec le macro-monde.

VESONTIO : VÉrification, SpecificatiON, Test et Ingénierie des mOdèles (contact : Alain GIORGETTI).
La compétence spécifique de l’équipe est la combinaison de méthodes (preuve automatique, model-
checking, test) pour la vérification et la validation à base de modèles, le verrou scientifique étant
l’explosion combinatoire de la taille des modèles de systèmes à analyser. L’équipe focalise ses efforts sur
la modélisation, la vérification et la validation automatique de systèmes embarqués (comme les cartes à
puce ou les automobiles) et de systèmes à base de composants et de services, ainsi que sur l’étude de la
sécurité et de la sûreté des systèmes de communication. L’équipe est structurée autour de trois thèmes
principaux :

• Vérification et validation de composants logiciels et de micro et nanosystèmes


• Génération automatique de tests à partir de modèles
• Sécurité et fiabilité des communications et des systèmes d’information

ATTENTION : Pour s’inscrire à cette UE, il faut impérativement avoir validé le Semestre no 9 du Master 2,
ou obtenir l’autorisation du responsable du Master. Aussi, une seule session est organisée.

OBJECTIFS
Cette immersion dans le monde de la recherche scientifique constitue une étape préparatoire et
préliminaire pour conduire et mener à bien le projet d'initiation à la recherche qui sera confié à l'étudiant
au semestre suivant (à noter que le sujet de recherche de ce projet est à choisir, dès le premier semestre
dans le cadre de ce module, parmi un ensemble de sujets proposés par l'équipe de recherche
concernée).

VVIXELAR Lecture d'articles de recherche


Crédits: 3.0
Enseigné à la période 1 (octobre à janvier)
Intervenant(s) : les enseignants-chercheurs du DISC

DESCRIPTION

Cet EC concerne l’étude et l’analyse d’articles de recherche en lien avec les thématiques scientifiques
de l’équipe de recherche choisi par l’étudiant (voir description de l’UEC de cet EC "Etude de documents
scientifiques"). L’étudiant est ainsi investi d’un travail bibliographique portant sur des articles
scientifiques du domaine de recherche étudié par cette équipe. Cette immersion dans le monde de la
recherche scientifique constitue une étape préparatoire et préliminaire pour conduire et mener à bien le

85
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

projet d’initiation à la recherche qui sera confié à l’étudiant au semestre suivant.

PREREQUIS

Acquisition des connaissances dispensées dans les UE du Semestre 9 du Master.

VVIXEEPR État de l'art du projet de recherche


Crédits: 3.0
Enseigné à la période 1 (octobre à janvier)
Intervenant(s) : Les enseignants-chercheurs du DISC

DESCRIPTION

Cet EC vise à produire un état de l'art bibliographique ciblé sur un thème (sujet) de recherche
particulier que l'étudiant choisit au démarrage de cet EC parmi ceux proposés par l'équipe de recherche
concernée.

OBJECTIFS

Cette étude bibliographique a pour objectif de faire acquérir à l'étudiant une connaissance
approfondie des travaux existants relatifs au sujet de recherche choisi qu'il traitera au semestre suivant,
dans le cadre du projet d'initiation à la recherche, en apportant sa propre contribution.

86
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI9MIMS Ingénierie dirigée par les modèles et sécurité


Crédits: 6.0

Est composé de :

VVI9MIDM Ingénierie dirigée par les modèles

VVI9MCS Cybersécurité

VVI9MIDM Ingénierie dirigée par les modèles


Crédits: 3.0
Enseigné à la période 1 (octobre à janvier)
Intervenant(s) : Bruno TATIBOUET

DESCRIPTION

Cette UE s'articule autour de la notion de modèles, de méta-modèle qui est un modèle qui définit le
langage pour exprimer un modèle, de langages de contraintes portant sur les modèles et de langages de
transformations de modèles s'appuyant notamment sur les méta-modèles.

OBJECTIFS

L'UE est décomposée en 5 parties :

• Modélisation UML : les diagrammes de classes, d'objets et de paquetages


• Langage de contraintes OCL : intérêt, présentation et utilisation
• Intérêt et rôle de la méta-modélisation, utilisation des méta-modèles
• Transformation de modèles : présentation, concepts et perspectives
• Langages d'action et modèles exécutables (fUML et ALF)

Chaque concept est présenté de façon pratique à travers la plateforme Eclipse.

VVI9MCS Cybersécurité
Crédits: 3.0
Enseigné à la période 2 (février à mai)
Intervenant(s) : Yohan GUIOT

DESCRIPTION

Cette UE vise l'acquisition de connaissances sur les questions de vulnérabilité des applications Web,
d'analyse de risque de sécurité et de techniques de test de sécurité.

OBJECTIFS

Cette UE est décomposée en 5 chapitres :

• Introduction sur les vulnérabilités applicatives Web


• Analyse de risque (suivant ISO 2700x)

87
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

• Vulnérabilités par injection XSS et SQLi


• Vulnérabilités de type CSRF et d'authentification
• Outils et méthodes de détection de vulnérabilités d'applications Web

88
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVIXEPIR Projet d'initiation à la recherche


Crédits: 18.0
Responsable : Alain GIORGETTI
Intervenant(s) : enseignants-chercheurs en informatique

Enseigné à la période 2 (février à mai)

DESCRIPTION
Cette UE consiste à réaliser un travail de recherche et de production scientifique personnel sur le sujet,
proposé par une des équipes de recherche du DISC (AND, CARTOON, OMNI ou VESONTIO), que
l'étudiant a choisi au premier semestre dans le cadre de l'UE « Etude de Documents Scientifiques ». Il
s'agit d'initier l'étudiant à conduire des travaux de recherche scientifiques et l'amener à être autonome
dans cette activité. Pour mener à bien ce travail, l'étudiant est encadré par un enseignant-chercheur qui
accompagne et guide l'avancée de ses travaux, et lui fournit les recommandations et documents
nécessaires à l'achèvement de sa contribution.

Cette UE est évaluée sur la base :


• du travail réalisé lors de la période de projet pour remplir la mission donnée,
• d’un rapport écrit synthétisant le travail mené,
• d’une soutenance visant à présenter le travail et défendre le rapport.

ATTENTION : La soutenance ne peut avoir lieu qu’avec l’accord préalable de l’enseignant tuteur, qui
encadre l’étudiant pour toute la durée de son projet. La soutenance de projet doit impérativement se
dérouler avant le 30 septembre pour que l’UE soit validée au titre de l’année universitaire.

PREREQUIS
Acquisition des connaissances dispensées dans les UE du semestre 9 du Master. Réalisation préalable,
dans le cadre du module « Étude de Documents Scientifiques », de l'étude bibliographique liée au sujet
abordé par le projet d'initiation à la recherche.

OBJECTIFS
Il s'agit d'initier l'étudiant à conduire des travaux de recherche scientifiques et l'amener à être autonome
dans cette activité. Pour mener à bien ce travail, l'étudiant est encadré par un enseignant-chercheur qui
accompagne et guide l'avancée de ses travaux, et lui fournit les recommandations et documents
nécessaires à l'achèvement de sa contribution.

89
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI9EAC Algorithmique concurrente


Crédits: 6.0

Responsable : Bénédicte HERRMANN


Intervenant(s) : Laurent PHILIPPE, Bénédicte HERRMANN

Enseigné à la période 2 (février à mai)

DESCRIPTION
Cette UE a pour objectif de présenter l'algorithmique concurrente dans un contexte centralisé (C) et
distribué (D).

OBJECTIFS
Les différentes parties traitées sont :

• Problématique de l'exclusion mutuelle (C et D),


• Principes de gestion de la concurrence (C) : sémaphore, mutex, moniteur,
• Programmation concurrente en Java (C) : threads, synchronisation,
• Ordonnancement des évènements (D) : horloges logiques et vectorielles,
• Algorithmes de gestion de la concurrence (D)
• Election (D),
• Communication de groupes (D).

BIBLIOGRAPHIE
• Concurrent Programming : Algorithms, Principles, and Foundations - Michel Raynal, 2013,
Springer-Verlag
• Introduction to Distributed Algorithms (2nd Edition) - Gerard Tel, 2000, Cambridge Press

90
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI9EVA Vérification à base d'automates


Crédits: 6.0
Responsable : Olga KOUCHNARENKO
Intervenant(s) : Pierre-cyrille HEAM, Olga KOUCHNARENKO

Enseigné à la période 2 (février à mai)

DESCRIPTION
L’objectif de cette UE est d’approfondir la notion d’automate, particulièrement dans le cadre de la
modélisation et de la vérification des systèmes. En effet, pour des raisons d’expressivité et
d’algorithmique, de nombreuses approches formelles de la modélisation et de l’analyse des systèmes
s’appuient sur des graphes finis enrichis, en marquant les états et les transitions. On obtient alors
différents modèles d’automates finis étendus, pour lesquels il est nécessaire de maintenir un équilibre
entre expressivité et complexité algorithmique des différents problèmes. En parallèle, il convient
d'utiliser des logiques compatibles afin de décrire les propriétés voulues.

Le cours aborde des problématiques générales de la vérification à base d’automates (modélisation,


vérification, relations de comparaison, produits d’automates), pour se focaliser sur quelques exemples
d’extensions (systèmes de transitions étiquetés, automates de Büchi, automates probabilistes, etc.),
ainsi que sur quelques exemples de logiques (logique temporelle, logique modale).

PREREQUIS
Théorie des langages (mots, langages, automates finis, langages rationnels, opérations sur les
langages et sur les automates), mathématiques élémentaires (théorie des ensembles, suites, fonc- tions,
relations, probabilités discrètes, etc.), logique élémentaire (logique propositionnelle, du premier ordre,
modèle), algorithmique de base (complexité, parcours de graphes, etc.).

91
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

22 - STRUCTURE MASTER DVL 1E ANNÉE


PERIODE INTITULE CREDITS

Master informatique DVL semestre 7

1 VVI7MPHP - PHP/MYSQL 6.0

1 VVI7MPO - MODÉLISATION ET PROGRAMMATION ORIENTÉES OBJET 6.0

▾ VVI7MGL - GÉNIE LOGICIEL 6.0

1 VVI7MMPA - Méthodes et pratiques agiles 3.0

2 VVI7MAFD - Approche formelle de développement 3.0

2 VVI7MBDA - BASES DE DONNÉES AVANCÉES 6.0

2 VVI7MEP - ÉVALUATION DE PROGRAMMES 6.0

92
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

Master informatique DVL semestre 8

1 VVI8MRES - RÉSEAU 6.0

1 VVV8MIDX - INGÉNIERIE DES EXIGENCES 6.0

A VVV8EEN - ANGLAIS 6.0

2 VVI8MALO - ARCHITECTURES LOGICIELLES À OBJET 6.0

2 VVV8MFDT - FONDEMENT DU TEST 6.0

Les périodes :

Enseigné en période 1 (octobre à janvier)


Enseigné en période 2 (février à mai)
Enseigné toute l'année (octobre à mai)

93
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

23 - DESCRIPTION MASTER DVL 1E ANNÉE

VVI7MPHP PHP/MySQL
Crédits: 6.0

Responsable : Frédéric DADEAU


Intervenant(s) : Eric MERLET, Frederic DADEAU

Enseigné à la période 1 (octobre à janvier)

DESCRIPTION
Cette UE porte sur la programmation de site Web dynamique en utilisant les outils open-source PHP
et MySQL ou MariaDB. Aujourd'hui, 99% des sites Web sont dynamiques : les informations affichées
dans les pages Web proviennent d'une base de données hébergée sur un serveur de bases de données
(architecture 3 tiers). Les informations sont manipulées et extraites avec le langage SQL, et traitées avec
des langages spécialisés, entre autres et très souvent PHP.

OBJECTIFS
Dans ce contexte, Le module aborde les thèmes suivants :

• les caractéristiques de PHP : langage de script, typage dynamique, gestion avancée des chaînes
de caractères, concept très étendu de tableaux,
• la connexion à une base de données MySQL ou MariaDB, l'envoi de requêtes SQL, le traitement
des données sélectionnées,
• la gestion des transmissions de données client vers serveur avec des URLs, des formulaires, des
téléchargements de fichiers,
• la manipulation de l'arborescence des dossiers et des fichiers sur le serveur,
• les bases de la programmation objet avec PHP,
• la manipulation d'expressions régulières avec PHP,

Toutes les notions enseignées sont illustrées par de nombreux exemples totalement interactifs :
l'étudiant peut exécuter le code, le modifier comme il veut et voir les résultats directement dans le
tutoriel accompagnant le module.

COMPÉTENCES À ACQUÉRIR
À la fin du cours, l'étudiant est capable de :

• Concevoir et développer des interfaces utilisateurs dans un environnement 3 tiers (HTML, CSS,
PHP).
• Concevoir et développer les méthodes de traitement de données dans un environnement 3 tiers
(PHP, SQL).
• Effectuer des traitements spécifiques côté serveur : transferts de fichiers, opérations sur les
fichiers et les répertoires.
• Construire et développer des applications fiables au niveau de la sécurité, tant du point de vue
fonctionnelle que du point de vue de la protection des données.

94
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI7MPO Modélisation et programmation orientées objet


Crédits: 6.0
Responsable : Sylvie DAMY
Intervenant(s) : Louis-Sébastien SIMARD, Sylvie DAMY

Enseigné à la période 1 (octobre à janvier)

DESCRIPTION
Le cours aborde les connaissances suivantes :

• Le langage UML sera présenté dans la partie modélisation (diagramme de classe, ...).
• Le langage Java et son environnement : compilation, machine virtuelle, . . .
• Développer avec Java : paquetages, fichiers jar, documentation des sources, compilation avec
Maven.

PREREQUIS
Connaissances de base en programmation orientée objet.

OBJECTIFS
Cette UE présente les outils et concepts de base en modélisation et programmation objet. Son but est
notamment d'acquérir des connaissances de bases en programmation Java en utilisant les bibliothèques
fournies par le JDK.

95
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI7MGL Génie logiciel


Crédits: 6.0
Responsable : Fabien Peureux

Est composé de :

VVI7MMPA Méthodes et pratiques agiles

VVI7MAFD Approche formelle de développement

DESCRIPTION
Cette UEC annuelle se compose des deux EC suivants :

• Méthode et pratiques agiles pour 3 crédits (enseigné en 1ère période de l’Année 1 CTU),
• Approche formelle de développement pour 3 crédits (enseigné en 2ème période de l’Année 1
CTU).

VVI7MMPA Méthodes et pratiques agiles


Crédits: 3.0
Enseigné à la période 1 (octobre à janvier)
Intervenant(s) : Fabien PEUREUX

DESCRIPTION

Ainsi, après un rapide historique et panorama des approches du Génie Logiciel et des cycles de vie du
logiciel associés, les méthodes de développement agile (spécialement SCRUM et eXtreme
Programming) et leurs pratiques associées sont détaillées.

PREREQUIS

Une première expérience de développement logiciel en équipe est souhaitable, sans être obligatoire
néanmoins.

OBJECTIFS

Cet EC vise à présenter les origines, les motivations, les objectifs et les pratiques actuelles du Génie
Logiciel. Il s’agit donc d’introduire et d’expliquer l’ensemble des activités et des tâches qui sont mises en
œuvre et organisées dans le but de spécifier, concevoir, implémenter, valider et maintenir tout produit
logiciel. Les différentes méthodes de développement logiciel sont ainsi présentées, et en particulier les
approches dites agiles, très populaires de nos jours.

VVI7MAFD Approche formelle de développement


Crédits: 3.0
Enseigné à la période 2 (février à mai)
Intervenant(s) : Fabien PEUREUX

DESCRIPTION

96
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

Après une brève introduction à la méthode B, les bases du langage B sont étudiées et mises en œuvre
afin de spécifier, sous forme de machines abstraites, les exigences fonctionnelles du logiciel à
développer. Finalement, des techniques de modélisation avancées, telles que le raffinement et la
combinaison de machines, sont présentées dans le but d'illustrer la démarche opérationnelle de
conception formelle basée sur la définition d'une architecture de spécifications complexes.

PREREQUIS

Logique propositionnelle et logique des prédicats.

OBJECTIFS

L'objectif de cette UE consiste à adopter une démarche de spécification et de développements


formels en utilisant le langage B et en appliquant la méthode de raffinement associée.

97
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI7MBDA Bases de données avancées


Crédits: 6.0

Responsable : Sylvie DAMY


Intervenant(s) : Neil TAURISSON, Sylvie DAMY

Enseigné à la période 2 (février à mai)

DESCRIPTION
Les bases de données correspondent à un type d'outil très largement utilisé dans les entreprises.
Toute entreprise a besoin de stocker et surtout d'accéder à une masse d'informations de plus en plus
importante. Face à la massification des données (BigData), les enjeux principaux deviennent (1)
d'assurer la qualité des données traitées, (2) de stocker et traiter d'énormes volumes de données.

OBJECTIFS
Nous proposons ainsi, dans ce cours de voir :

• une présentation générale des systèmes d'information et de leur qualité


• une présentation des bases de données NoSQL

98
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI7MEP Évaluation de programmes


Crédits: 6.0
Responsable : Nicolas VACELET
Intervenant(s) : Nicolas VACELET

Enseigné à la période 2 (février à mai)

DESCRIPTION
Ainsi seront présentées les machines de Turing, les notions de décidabilité et d'indécidabilité, la
notion de complexité, les classes de complexité. Les différents algorithmes de tris serviront à mettre en
avant différents calculs de complexité.

PREREQUIS
Base de l’algorithmique (boucles, conditions, ...), notions mathématiques : suites récurrentes (linéaires
ou non), limites, inégalités sur les fonctions, démonstration par récurrence.

OBJECTIFS
Cette UE est une introduction à la calculabilité et la complexité. Elle aborde aussi l'algorithmique.

99
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI8MRES Réseau
Crédits: 6.0

Responsable : Gaël COLLE


Intervenant(s) : Gaël COLLE

Enseigné à la période 1 (octobre à janvier)

DESCRIPTION
Cette UE de réseau fait partie des connaissances indispensables pour les étudiants de Master
informatique avec le développement d'Internet et des communications mobiles.

PREREQUIS
Arithmétique binaire et algorithmique.

OBJECTIFS
Le cours complète les connaissances acquises les années précédentes en réseau :

• Introduction aux réseaux (les grandes catégories de réseaux, le modèle OSI) ; Concepts de base
en communication, protocoles et ondes électromagnétiques ;
• Réseaux locaux (la norme IEEE 802, Ethernet, les éléments constitutifs d'un réseau local,
CSMA/CD, calcul du CRC) ;
• TCP/IP (UDP,TCP,IP, ICMP, ARP, RARP, DNS, IPV6, IGMP) ;
• Numérotation IP ; Routage ;
• Sécurité (cryptographie, algorithmes symétriques asymétriques, fonctions de hachage, certificats,
signature, IPSEC) ;
• Réseaux sans fil (réseaux cellulaires, 2G, 3G, 4G, 802.11, Bluetooth, réseaux had hoc, Wifi,
mobilité).

Un étudiant doit être capable de choisir le réseau qui convient tant au niveau filaire que sans fil ainsi
que les outils permettant de garantir la sécurité des utilisateurs connectés. Des informations pour
paramétrer un ordinateur et un routeur sont également données.

100
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVV8MIDX Ingénierie des exigences


Crédits: 6.0
Responsable : Bruno LEGEARD
Intervenant(s) : Cyrille BABIN, Bruno LEGEARD, Raphaël FRIESS, Alexis TODOSKOFF

Enseigné à la période 1 (octobre à janvier)

DESCRIPTION
Cette UE couvre les concepts et les pratiques de l'ingénierie des exigences, que ce soit dans un cycle
de développement par phase (type cycle en V) ou dans un cycle de développement itératif et
incrémental (type agile). L'ingénierie des exigences concerne l'expression de besoins dans le cadre d'un
projet logiciel, avec des phases de collecte, d'analyse, de spécification et de validation & vérification de
ces exigences.

OBJECTIFS
Le cours intègre les parties suivantes :

• L'analyse de besoin dans le cycle de vie du logiciel


• Concept d'exigence (définitions, type d'exigences, Qualité des exigences Processus de gestion
des exigences (processus générique, rôles et livrables) Développement des exigences (élicitation,
analyse, modélisation, spécification) Activités de validation & vérification des exigences
• Contexte spécifique des exigences dans un projet en mode agile Gestion du changement
• Outillage pour la gestion des exigences

Ce cours contient de nombreux exercices pratiques. Il permet aussi de préparer la certification REQB
de Niveau Fondation.

101
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVV8EEN Anglais
Crédits: 6.0

Intervenant(s) : Annabelle RACLOT

Enseigné toute l'année

DESCRIPTION

Dans ce module annualisé, nous allons aborder des aspects linguistiques de la


vie professionnelle en langue anglaise (recherche d’emploi, rédaction de mails
professionnels, présentations), faire progresser vos compétences en anglais écrit
et oral (niveau B2 du CECRL et +) et aborder la notion de communication
interculturelle ( comment mieux interagir avec des interlocuteurs de cultures
différentes )

Ce cours est exclusivement en contrôle continu à distance avec 5 évaluations


tout au long de l'année. La note finale reflètera la moyenne de ces 5 notes toutes
coefficient 1.
OBJECTIFS
Ce cours se déroule sur l’année complète avec un contrôle continu de 7 évaluations qui testeront les
différentes compétences orales et écrites du niveau B2 du CECRL. La note finale sera basée sur la
moyenne des 6 meilleures notes de l’année. Une session 2 sera organisée en ligne fin juin pour cette UE.
Ainsi, les notes obtenues lors de celle-ci complètent les notes de la session 1 pour calculer votre nouvelle
moyenne (voir le détail du calcul dans les modalités d'évaluation sur votre espace de cours).

102
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI8MALO Architectures logicielles à objet


Crédits: 6.0

Responsable : Louis-Sébastien SIMARD


Intervenant(s) : Louis-Sébastien SIMARD

Enseigné à la période 2 (février à mai)

DESCRIPTION
Le but de cette UE est d'étudier la programmation en utilisant la technologie objet, de comprendre et
utiliser des bibliothèques d'objets existantes, et d'utiliser les Design Patterns pour concevoir des
applications.

OBJECTIFS
Cette UE est décomposée en trois grands chapitres :

• Rappels sur la programmation par objet : classe, objet, héritage, polymorphisme,...


• Développer avec Java : types génériques, collections...
• Développer en utilisant les Design Patterns.

103
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVV8MFDT Fondement du test


Crédits: 6.0
Responsable : Bruno LEGEARD
Intervenant(s) : Bruno LEGEARD

Enseigné à la période 2 (février à mai)

DESCRIPTION
Cette UE a pour but de fixer les fondamentaux du test, d'offrir un panorama des enjeux et
problématiques lors de la mise en œuvre d'un processus de test maîtrisé, et de présenter les techniques
et les critères de test principaux avec leurs environnements associés les plus répandus. Ce cours met en
particulier l'accent sur l'importance des modèles et de la conception pour la bonne conduite des tests
(conception testable).

OBJECTIFS
L'objectif pédagogique du cours est de donner une vision d'ensemble du domaine, et de détailler les
étapes de test et les techniques associées. Ce cours permet ainsi de mettre en place le vocabulaire, les
notions et les bonnes pratiques liées à une démarche orientée test.

104
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

24 - STRUCTURE MASTER DVL 2E ANNÉE


PERIODE INTITULE CREDITS

Master informatique DVL semestre 9

1 VVI9MTGC - THÉORIE DES GRAPHES ET COMBINATOIRE 6.0

1 VVI9MPFA - PROGRAMMATION FONCTIONNELLE AVANCÉE 6.0

▾ VVI9MIMS - INGÉNIERIE DIRIGÉE PAR LES MODÈLES ET SÉCURITÉ 6.0

1 VVI9MIDM - Ingénierie dirigée par les modèles 3.0

2 VVI9MCS - Cybersécurité 3.0

2 VVV9MAIT - AUTOMATISATION ET INFRASTRUCTURE POUR LE TEST 6.0

2 VVV9MTNF - TEST NON FONCTIONNEL 6.0

105
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

Master informatique DVL semestre 10

1 VVVXEDAT - DÉMARCHE AVANCÉE POUR LE TEST 6.0

▾ VVVXVMVT - MODÉLISER POUR VÉRIFIER ET TESTER 6.0

1 VVVXMMBT - Test à partir de modèles 3.0

1 VVIXMSV - Spécifier et vérifier 3.0

2 VVVXESTA - STAGE EN ENTREPRISE 18.0

Les périodes :

Enseigné en période 1 (octobre à janvier)


Enseigné en période 2 (février à mai)
Enseigné toute l'année (octobre à mai)

106
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

25 - DESCRIPTION MASTER DVL 2E ANNÉE

VVI9MTGC Théorie des graphes et combinatoire


Crédits: 6.0

Responsable : Laurent PHILIPPE


Intervenant(s) : Laurent PHILIPPE

Enseigné à la période 1 (octobre à janvier)

DESCRIPTION
Cette UE a pour objectif la mise en relation des techniques avancées d'algorithmique et de la
combinatoire. Du point de vue algorithmique, après avoir découvert l'algorithmique de contrôle en
début de cursus informatique, puis l'algorithmique sur les données et les structures complexes (listes,
files, piles, tas, arbres), et enfin l'algorithmique objet, cette UE porte sur l'algorithmique liée plus
particulièrement aux graphes.

OBJECTIFS
Cette UE aborde les connaissances et méthodes suivantes :

• Éléments sur les graphes


• Algorithmique sur les graphes
• Parcours Eulériens et Hamiltoniens
• Programmation dynamique
• Programmation linéaire
• Programmation gloutonne
• Recherche de plus court chemin

BIBLIOGRAPHIE
Introduction à l'algorithmique (2ème édition) - Thomas Cormen, Charles Leiserson, Ronald Rivest,
Clifford Stein, 2002, Dunod

107
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI9MPFA Programmation fonctionnelle avancée


Crédits: 6.0

Responsable : Jean-Michel HUFFLEN


Intervenant(s) : Jean-Michel HUFFLEN

Enseigné à la période 1 (octobre à janvier)

DESCRIPTION
Cette UE vise à acquérir des compétences approfondies en programmation fonctionnelle.

OBJECTIFS
Nous pouvons diviser le contenu de l'UE PFA en une première grande partie, suivie d'une seconde
partie de compléments.

La première présente les choix qui sont liés à la conception d'un langage fonctionnel. Ce n'est donc
pas l'apprentissage d'un langage en tant que « produit fini », mais une comparaison des diverses
méthodes de réalisation. Après un exposé de la base des langages fonctionnels (le lambda-calcul), nous
montrons en quoi la programmation est différente selon les choix opérés par les concepteurs : liaisons
dynamiques ou lexicales, gestion d'un ou plusieurs espaces de noms, gestion des définitions de
l'environnement global (définitions visibles par l'utilisateur).

En fait, l'intérêt de cette partie dépasse les dialectes Lisp, héritiers directs du lambda-calcul, car nous
montrons en quoi les caractéristiques que nous étudions se retrouvent dans d'autres langages (C++,
Java, TEX). De même, les versions modernes de langages tels que Java, C++, C# ou Python ont intégré
des constructions dérivées de la programmation fonctionnelle, nous analysons les choix qui ont été faits.

La seconde partie présente des techniques de programmation dites avancées. D'abord, les macros {\it
hygiéniques} de Scheme, qui permettent une programmation beaucoup plus aisée des structures de
contrôle par rapport à d'autres techniques. Ensuite, l'usage de continuations pour traiter en particulier
les cas d'erreur. «En particulier », car en fait, nous montrons que les continuations permettent d'accroître
sensiblement le pouvoir d'expression du langage.

Quant aux exercices pratiques de cette UE, ils utilisent tous le langage Scheme. D'autres réalisations
sont également présentées à titre d'exemples de choix alternatifs : p. ex., GNU Emacs Lisp, Common
Lisp, Standard ML, CAML.

BIBLIOGRAPHIE
[1] Daniel P. Friedman, Mitchell Wand and Christopher T. Haynes: Essentials of Programming Languages.
The MIT Press, 1992.
[2] Christian Queinnec: Les langages Lisp. InterEditions, 1994.
[3] Rainer Grimm. C++11 für Programmierer. O'Reilly, 2014.

108
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVI9MIMS Ingénierie dirigée par les modèles et sécurité


Crédits: 6.0

Est composé de :

VVI9MIDM Ingénierie dirigée par les modèles

VVI9MCS Cybersécurité

VVI9MIDM Ingénierie dirigée par les modèles


Crédits: 3.0
Enseigné à la période 1 (octobre à janvier)
Intervenant(s) : Bruno TATIBOUET

DESCRIPTION

Cette UE s'articule autour de la notion de modèles, de méta-modèle qui est un modèle qui définit le
langage pour exprimer un modèle, de langages de contraintes portant sur les modèles et de langages de
transformations de modèles s'appuyant notamment sur les méta-modèles.

OBJECTIFS

L'UE est décomposée en 5 parties :

• Modélisation UML : les diagrammes de classes, d'objets et de paquetages


• Langage de contraintes OCL : intérêt, présentation et utilisation
• Intérêt et rôle de la méta-modélisation, utilisation des méta-modèles
• Transformation de modèles : présentation, concepts et perspectives
• Langages d'action et modèles exécutables (fUML et ALF)

Chaque concept est présenté de façon pratique à travers la plateforme Eclipse.

VVI9MCS Cybersécurité
Crédits: 3.0
Enseigné à la période 2 (février à mai)
Intervenant(s) : Yohan GUIOT

DESCRIPTION

Cette UE vise l'acquisition de connaissances sur les questions de vulnérabilité des applications Web,
d'analyse de risque de sécurité et de techniques de test de sécurité.

OBJECTIFS

Cette UE est décomposée en 5 chapitres :

• Introduction sur les vulnérabilités applicatives Web


• Analyse de risque (suivant ISO 2700x)

109
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

• Vulnérabilités par injection XSS et SQLi


• Vulnérabilités de type CSRF et d'authentification
• Outils et méthodes de détection de vulnérabilités d'applications Web

110
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVV9MAIT Automatisation et infrastructure pour le test


Crédits: 6.0

Responsable : Fabrice BOUQUET


Intervenant(s) : Fabrice AMBERT, Fabrice BOUQUET

Enseigné à la période 2 (février à mai)

DESCRIPTION
Cette UE a pour objectif de présenter et d'étudier l'aspect gestion des tests dans le cycle de
développement. Nous verrons d'une façon très pragmatique comment faire pour mettre en place des
environnements qui intègrent les éléments de développement et de validation.

PREREQUIS
Connaissances de base en Génie Logiciel et langage algorithmique.

OBJECTIFS
Les différentes parties traitées sont les suivantes :

• Intégration continue et mise en œuvre des tests unitaires.


• Gestionnaire de test et traçabilité.
• Exécution des tests.

111
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVV9MTNF Test non fonctionnel


Crédits: 6.0

Responsable : Yves LE TRAON


Intervenant(s) : Yves LE TRAON

Enseigné à la période 2 (février à mai)

DESCRIPTION
Cette UE a pour objectif de présenter plusieurs aspects, techniques ou méthodes innovantes, de test
non fonctionnel. Elle présente différentes problématiques non strictement fonctionnelles, incluant le test
de lignes de produit, les techniques de planification des tests d'intégration, la production de test avec un
objectif non fonctionnel, comme le cas du contrôle d'accès et des politiques de sécurité, le test de
performance et le "stress testing".

OBJECTIFS
Cette UE couvre les aspects suivants :

• Aspects transverses au test fonctionnel :

- Méthodes d'ordonnancement et planification pour l'intégration Test des mécanismes de


sécurité dans les clients web
- Test de politiques de sécurité, access et usage control Test de performances
- Méthodes de stress testing de bases de données large échelle
- Test de lignes de produits et de système fortement reconfigurables

• Exemples de techniques couvertes : Search-Based Software Engineering, SAT solving, CIT.

112
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVVXEDAT Démarche avancée pour le test


Crédits: 6.0

Responsable : Yves LE TRAON


Intervenant(s) : Yves LE TRAON

Enseigné à la période 1 (octobre à janvier)

DESCRIPTION
Cette UE a pour objectif d'acquérir les outils méthodologiques, veille technologique et lecture critique,
pour aborder les aspects méthodologiques du test, certaines techniques avancées, et comprendre
certaines propriétés intrinsèques caractérisant le comportement de systèmes erronés.

OBJECTIFS
Le cours combinera différentes composantes : cours classique, exercices de veille et de synthèse,
lecture critique d'articles. Il abordera des thèmes tels que :

• Approches expérimentales pour le test


• Technique d'analyse de programmes par mutation Techniques pour la conception testable
• Techniques innovantes basées sur le data mining (fault repair, fix recommendation)
• Etat de l'art et de la pratique : les outils de test
• Etat de l'art et de la pratique : les méthodes et méthodologies de test Lecture critique d'article et
synthèse

L'évaluation se fera par contrôle continu à partir de devoirs à réaliser à la maison.

113
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVVXVMVT Modéliser pour vérifier et tester


Crédits: 6.0

Est composé de :

VVVXMMBT Test à partir de modèles

VVIXMSV Spécifier et vérifier

VVVXMMBT Test à partir de modèles


Crédits: 3.0
Enseigné à la période 1 (octobre à janvier)
Intervenant(s) : Bruno LEGEARD, Elodie BERNARD

DESCRIPTION

Le Model-Based Testing (MBT) est une approche innovante du test qui utilise la modélisation (par
exemple des processus métier ou de cycle de vie des objets métier) pour analyser, concevoir et
implémenter les cas de test et tracer les liens entre les exigences et les tests.

Cette UE apporte ainsi des compétences sur cette approche de test, permettant d'être plus efficace
dans la création et la maintenance des tests fonctionnels ou de bout-en-bout. Le cours permet de
préparer la Certification ISTQB® Testeur Certifié Model-Based Testing, qui constitue une extension de la
certification ISTQB® de niveau fondation.

OBJECTIFS
Les objectifs pédagogiques du cours recouvrent les objectifs suivants :

• Améliorer son efficacité dans l'analyse, la conception et l'implémentation des tests fonctionnels et
de bout-en-bout.
• Connaitre et savoir mettre en œuvre les activités du Model-Based Testing dans un processus de
test.
• Savoir évaluer et déployer une approche Model-Based Testing dans une équipe ou un centre de
test.
• Maîtriser les concepts, le vocabulaire, les activités et rôles du Model-Based Testing.

Le cours repose sur une alternance entre exercices pratiques et enseignements des concepts et
bonnes pratiques de l'approche Model-Based Testing. Il est structuré en 6 chapitres principaux :

1. Principes, objectifs et intégration dans le cycle de développement de l'approche Model-Based


Testing.
2. Modélisation pour le test.
3. Génération et implémentation des cas de test.
4. Exécution et gestion du changement (dans les exigences, les objectifs de test, le système, ...).
5. Mise en œuvre sur un mini-projet.
6. Bonnes pratiques du déploiement d'une approche Model-Based Testing.

VVIXMSV Spécifier et vérifier

114
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

Crédits: 3.0
Enseigné à la période 1 (octobre à janvier)
Intervenant(s) : Alain GIORGETTI

DESCRIPTION

Cet EC porte sur la modélisation de logiciel à l’aide de systèmes à base d’états (systèmes de
transitions, systèmes d’événements), la spécification formelle de leurs propriétés, et la vérification de
ces propriétés. Il introduit les notions de système réactif, de système d’événements, de non-
déterminisme, de contrat de programme et d'invariant. Parmi les techniques de vérification, la
vérification déductive est privilégiée. Le test et le model-checking de propriétés pourront aussi être
abordés. L'accent est mis sur l'utilisation de l'outil de vérification Why3 (http://why3.lri.fr/).

PREREQUIS

Compétences en programmation impérative et en logique du premier ordre.

OBJECTIFS

Le cours est organisé en 6 chapitres :

1. Introduction de la démarche de vérification de modèles


2. Modélisation de systèmes par raffinement
3. Vérification de programmes séquentiels en B
4. Modélisation de propriétés en Logique Temporelle Linéaire (LTL)
5. Vérification des propriétés LTL par model checking
6. Modéliser pour tester

115
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVVXESTA Stage en entreprise


Crédits: 18.0

Responsable : Yves LE TRAON


Intervenant(s) : Yves LE TRAON

Enseigné à la période 2 (février à mai)

DESCRIPTION
Ce stage est d’une durée minimale de 16 semaines. Il se déroule dans une entreprise et son sujet est
soumis à acceptation du responsable des stages. A savoir que pour les étudiants salariés, des modalités
spécifiques peuvent être appliquées afin que ces étudiants puissent poursuivre normalement leur
activité professionnelle durant la durée du stage, et ainsi conserver pleinement leur statut de salarié (il
s’agit traditionnellement d’identifier une mission, menée par l’étudiant dans son contexte professionnel,
afin de l’utiliser comme support au travail attendu dans le cadre de cette UE). Nous encourageons les
étudiants à prendre contact, le plus tôt possible, avec le responsable des stages, pour discuter de ces
différentes modalités.

Cette UE est évaluée sur la base :

• du travail réalisé lors de la période de stage pour remplir la mission donnée,


• d’un rapport écrit synthétisant le travail mené,
• d’une soutenance en présentiel visant à présenter le travail et défendre le rapport.

ATTENTION : Les soutenances de stage sont réalisées à Besançon (sauf impossibilité majeure) lors de la
seconde session d’examen. La soutenance ne peut avoir lieu qu’avec l’accord préalable de l’enseignant
tuteur, qui est affecté à l’étudiant pour toute la durée de son stage. La soutenance de stage doit
impérativement se dérouler avant le 30 septembre pour que l’UE soit validée au titre de l’année
universitaire.

PREREQUIS
Avoir acquis les connaissances théoriques et pratiques dispensées durant la formation.

116
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

26 - STRUCTURE MASTER ITVL 2E ANNÉE


PERIODE INTITULE CREDITS

Master informatique ITVL semestre 9

1 VVI7MMPA - MÉTHODES ET PRATIQUES AGILES 3.0

1 VVV8MIDX - INGÉNIERIE DES EXIGENCES 6.0

1 VVT9ECQP - CYCLE DE VIE, QUALITÉ ET PERFORMANCE 4.0

2 VVV8MFDT - FONDEMENT DU TEST 6.0

▾ VVT9VPRT - PROJET ET TEST AGILE 5.0

A VVT9EPRO - Projet 3.0

2 VVTXETA - Test agile 2.0

2 VVV9MAIT - AUTOMATISATION ET INFRASTRUCTURE POUR LE TEST 6.0

117
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

Master informatique ITVL semestre 10

1 VVVXMMBT - TEST À PARTIR DE MODÈLES 3.0

▾ VVTXVQLQ - QUALITÉ LOGICIELLE ET QUALIMÉTRIE 5.0

2 VVT9EQLM - Qualimétrie 2.0

A VVTXEQL - Qualité logicielle 3.0

A VVTXEEN - ANGLAIS 6.0

-1 VVTXESTA - STAGE EN ENTREPRISE 10.0

2 VVV9MTNF - TEST NON FONCTIONNEL 6.0

Les périodes :

Enseigné en période 1 (octobre à janvier)


Enseigné en période 2 (février à mai)
Enseigné toute l'année (octobre à mai)

118
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

27 - DESCRIPTION MASTER ITVL 2E ANNÉE

VVI7MMPA Méthodes et pratiques agiles


Crédits: 3.0

Responsable : Fabien PEUREUX


Intervenant(s) : Fabien PEUREUX

Enseigné à la période 1 (octobre à janvier)

DESCRIPTION
Ainsi, après un rapide historique et panorama des approches du Génie Logiciel et des cycles de vie du
logiciel associés, les méthodes de développement agile (spécialement SCRUM et eXtreme
Programming) et leurs pratiques associées sont détaillées.

PREREQUIS
Une première expérience de développement logiciel en équipe est souhaitable, sans être obligatoire
néanmoins.

OBJECTIFS
Cet EC vise à présenter les origines, les motivations, les objectifs et les pratiques actuelles du Génie
Logiciel. Il s’agit donc d’introduire et d’expliquer l’ensemble des activités et des tâches qui sont mises en
œuvre et organisées dans le but de spécifier, concevoir, implémenter, valider et maintenir tout produit
logiciel. Les différentes méthodes de développement logiciel sont ainsi présentées, et en particulier les
approches dites agiles, très populaires de nos jours.

119
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVV8MIDX Ingénierie des exigences


Crédits: 6.0

Responsable : Bruno LEGEARD


Intervenant(s) : Cyrille BABIN, Bruno LEGEARD, Raphaël FRIESS, Alexis TODOSKOFF

Enseigné à la période 1 (octobre à janvier)

DESCRIPTION
Cette UE couvre les concepts et les pratiques de l'ingénierie des exigences, que ce soit dans un cycle
de développement par phase (type cycle en V) ou dans un cycle de développement itératif et
incrémental (type agile). L'ingénierie des exigences concerne l'expression de besoins dans le cadre d'un
projet logiciel, avec des phases de collecte, d'analyse, de spécification et de validation & vérification de
ces exigences.

OBJECTIFS
Le cours intègre les parties suivantes :

• L'analyse de besoin dans le cycle de vie du logiciel


• Concept d'exigence (définitions, type d'exigences, Qualité des exigences Processus de gestion
des exigences (processus générique, rôles et livrables) Développement des exigences (élicitation,
analyse, modélisation, spécification) Activités de validation & vérification des exigences
• Contexte spécifique des exigences dans un projet en mode agile Gestion du changement
• Outillage pour la gestion des exigences

Ce cours contient de nombreux exercices pratiques. Il permet aussi de préparer la certification REQB
de Niveau Fondation.

120
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVT9ECQP Cycle de vie, qualité et performance


Crédits: 4.0
Responsable : Karim HEDEOUD-PERROT

Enseigné à la période 1 (octobre à janvier)

DESCRIPTION
Cette UE est destinée à sensibiliser les étudiants au cycle de vie d’un logiciel et à ses différentes
activités (de l’élaboration du cahier des charges jusqu’à la validation d’un produit) permettant de
produire des logiciels de qualité. Un focus spécifique est porté d’une part sur les fondamentaux de la
qualité et de la performance, et d’autre part sur la gestion de projet et la gestion des risques. Les
objectifs d’apprentissage sont les suivants :

• connaître les étapes du processus de développement logiciel,


• être capable d’identifier différents cycles de développement logiciel,
• comprendre les principes de la démarche qualité,
• connaître les principaux référentiels qualité,
• savoir mettre en place des méthodes et outils de la gestion de projet,
• être capable d’identifier et maîtriser les risques projets.

121
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVV8MFDT Fondement du test


Crédits: 6.0

Responsable : Bruno LEGEARD


Intervenant(s) : Bruno LEGEARD

Enseigné à la période 2 (février à mai)

DESCRIPTION
Cette UE a pour but de fixer les fondamentaux du test, d'offrir un panorama des enjeux et
problématiques lors de la mise en œuvre d'un processus de test maîtrisé, et de présenter les techniques
et les critères de test principaux avec leurs environnements associés les plus répandus. Ce cours met en
particulier l'accent sur l'importance des modèles et de la conception pour la bonne conduite des tests
(conception testable).

OBJECTIFS
L'objectif pédagogique du cours est de donner une vision d'ensemble du domaine, et de détailler les
étapes de test et les techniques associées. Ce cours permet ainsi de mettre en place le vocabulaire, les
notions et les bonnes pratiques liées à une démarche orientée test.

122
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVV9MAIT Automatisation et infrastructure pour le test


Crédits: 6.0

Responsable : Fabrice BOUQUET


Intervenant(s) : Fabrice AMBERT, Fabrice BOUQUET

Enseigné à la période 2 (février à mai)

DESCRIPTION
Cette UE a pour objectif de présenter et d'étudier l'aspect gestion des tests dans le cycle de
développement. Nous verrons d'une façon très pragmatique comment faire pour mettre en place des
environnements qui intègrent les éléments de développement et de validation.

PREREQUIS
Connaissances de base en Génie Logiciel et langage algorithmique.

OBJECTIFS
Les différentes parties traitées sont les suivantes :

• Intégration continue et mise en œuvre des tests unitaires.


• Gestionnaire de test et traçabilité.
• Exécution des tests.

123
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVVXMMBT Test à partir de modèles


Crédits: 3.0

Responsable : Bruno LEGEARD


Intervenant(s) : Bruno LEGEARD, Elodie BERNARD

Enseigné à la période 1 (octobre à janvier)

DESCRIPTION
Le Model-Based Testing (MBT) est une approche innovante du test qui utilise la modélisation (par
exemple des processus métier ou de cycle de vie des objets métier) pour analyser, concevoir et
implémenter les cas de test et tracer les liens entre les exigences et les tests.

Cette UE apporte ainsi des compétences sur cette approche de test, permettant d'être plus efficace
dans la création et la maintenance des tests fonctionnels ou de bout-en-bout. Le cours permet de
préparer la Certification ISTQB® Testeur Certifié Model-Based Testing, qui constitue une extension de la
certification ISTQB® de niveau fondation.

OBJECTIFS
Les objectifs pédagogiques du cours recouvrent les objectifs suivants :

• Améliorer son efficacité dans l'analyse, la conception et l'implémentation des tests fonctionnels et
de bout-en-bout.
• Connaitre et savoir mettre en œuvre les activités du Model-Based Testing dans un processus de
test.
• Savoir évaluer et déployer une approche Model-Based Testing dans une équipe ou un centre de
test.
• Maîtriser les concepts, le vocabulaire, les activités et rôles du Model-Based Testing.

Le cours repose sur une alternance entre exercices pratiques et enseignements des concepts et
bonnes pratiques de l'approche Model-Based Testing. Il est structuré en 6 chapitres principaux :

1. Principes, objectifs et intégration dans le cycle de développement de l'approche Model-Based


Testing.
2. Modélisation pour le test.
3. Génération et implémentation des cas de test.
4. Exécution et gestion du changement (dans les exigences, les objectifs de test, le système, ...).
5. Mise en œuvre sur un mini-projet.
6. Bonnes pratiques du déploiement d'une approche Model-Based Testing.

124
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVTXEEN Anglais
Crédits: 6.0

Intervenant(s) : Annabelle RACLOT

Enseigné toute l'année

DESCRIPTION

Dans ce module annualisé, nous allons aborder des aspects linguistiques de la


vie professionnelle en langue anglaise (recherche d’emploi, rédaction de mails
professionnels, présentations), faire progresser vos compétences en anglais écrit
et oral (niveau B2 du CECRL et +) et aborder la notion de communication
interculturelle ( comment mieux interagir avec des interlocuteurs de cultures
différentes )

Ce cours est exclusivement en contrôle continu à distance avec 5 évaluations


tout au long de l'année. La note finale reflètera la moyenne de ces 5 notes toutes
coefficient 1.

Lien vers le cours : https://moodle.univ-fcomte.fr/course/view.php?id=10468

125
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVTXESTA Stage en entreprise


Crédits: 10.0
Responsable : Alexis TODOSKOFF

Enseigné toute l'année

DESCRIPTION
Le stage de fin d’études réalisé en entreprise permet au stagiaire de remplir une mission d’ingénieur
dans le cadre d’une équipe au sein de laquelle il aura à négocier et convaincre, former et informer, être
créatif et acteur du changement. Il s’appliquera à atteindre les objectifs fixés en termes de délais, coût et
qualité et consignera ses réalisations dans un rapport qu’il présentera publiquement. Le sujet du stage
peut être la mise en application au sein de l'entreprise du projet réalisé dans l’UE Projet, ou de tout autre
sujet en lien avec le management des tests et/ou le management de la qualité et/ou le management de
projet.

Le sujet doit être validé. Un tuteur pédagogique, membre de l'équipe enseignante, est désigné pour le
suivi de chaque stage. Il a pour mission de suivre régulièrement l'évolution du travail du stagiaire et doit
le visiter ou organiser a minima un entretien avec l'étudiant et son tuteur entreprise.

L’évaluation du stage s’appuie pour un tiers sur le travail réalisé en entreprise et le retour du tuteur
entreprise, pour un tiers sur le rapport et pour le dernier tiers sur la soutenance publique devant un jury
composé d'un professionnel du métier et de son tuteur pédagogique.

L’organisation de ce stage est la suivante :

1. Proposition d'un sujet à traiter et validation du sujet jusqu'à janvier.


2. Réalisation du stage de début octobre à fin juin.
3. Points d'avancement du stage mi-novembre, janvier, mi-mars et mai (pré-soutenance).
4. Soutenance du stage début juillet.

126
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

VVV9MTNF Test non fonctionnel


Crédits: 6.0

Responsable : Yves LE TRAON


Intervenant(s) : Yves LE TRAON

Enseigné à la période 2 (février à mai)

DESCRIPTION
Cette UE a pour objectif de présenter plusieurs aspects, techniques ou méthodes innovantes, de test
non fonctionnel. Elle présente différentes problématiques non strictement fonctionnelles, incluant le test
de lignes de produit, les techniques de planification des tests d'intégration, la production de test avec un
objectif non fonctionnel, comme le cas du contrôle d'accès et des politiques de sécurité, le test de
performance et le "stress testing".

OBJECTIFS
Cette UE couvre les aspects suivants :

• Aspects transverses au test fonctionnel :

- Méthodes d'ordonnancement et planification pour l'intégration Test des mécanismes de


sécurité dans les clients web
- Test de politiques de sécurité, access et usage control Test de performances
- Méthodes de stress testing de bases de données large échelle
- Test de lignes de produits et de système fortement reconfigurables

• Exemples de techniques couvertes : Search-Based Software Engineering, SAT solving, CIT.

127
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

28 - CALENDRIER DES EXAMENS

28.1 Licence Informatique 3e année CTU


Session 1

23-01-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVI5EBD Bases de données
14:00 - 17:00 3 VVI5EABP Algorithmes et bases de la programmation

24-01-2024
Horaires Durée UE Examens
10:30 - 12:30 2 VVI6ETL Théorie des langages
14:00 - 17:00 3 VVI6ELW Langages du web

25-01-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVI6ESR Systèmes et réseaux

14-05-2024
Horaires Durée UE Examens
10:30 - 12:30 2 VVI6ESPP Spécification et preuve de programme

15-05-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVI5EMSI Analyse et modélisation des systèmes d'information
14:00 - 17:00 3 VVI5EMF Méthodes formelles

16-05-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVI6EADO Architecture des ordinateurs
14:00 - 17:00 3 VVI6EPAV Programmation avancée

128
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

Session 2

26-08-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVI5EBD Bases de données
14:00 - 17:00 3 VVI5EABP Algorithmes et bases de la programmation

27-08-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVI5EMSI Analyse et modélisation des systèmes d'information
14:00 - 17:00 3 VVI5EMF Méthodes formelles

28-08-2024
Horaires Durée UE Examens
10:30 - 12:30 2 VVI6ETL Théorie des langages
14:00 - 17:00 3 VVI6ELW Langages du web

29-08-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVI6ESR Systèmes et réseaux
14:00 - 17:00 3 VVI6EADO Architecture des ordinateurs

30-08-2024
Horaires Durée UE Examens
10:30 - 12:30 2 VVI6ESPP Spécification et preuve de programme
14:00 - 17:00 3 VVI6EPAV Programmation avancée

129
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

28.2 Master Informatique parcours I2A 1re année CTU


Session 1

24-01-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVI8EMIA Méthodes et outils pour l'intelligence artificielle
14:00 - 17:00 3 VVI8MRES Réseau

25-01-2024
Horaires Durée UE Examens
14:00 - 16:00 2 VVI7MMPA Méthodes et pratiques agiles

26-01-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVI7MPO Modélisation et programmation orientées objet
14:00 - 17:00 3 VVI7MPHP PHP/MySQL

14-05-2024
Horaires Durée UE Examens
10:30 - 12:30 2 VVI7MAFD Approche formelle de développement

15-05-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVI8EIG Informatique graphique
14:00 - 17:00 3 VVI8MALO Architectures logicielles à objet

16-05-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVI7MBDA Bases de données avancées
14:00 - 17:00 3 VVI7MEP Évaluation de programmes

130
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

Session 2

26-08-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVI8EIG Informatique graphique
14:00 - 17:00 3 VVI8MALO Architectures logicielles à objet

27-08-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVI8MRES Réseau
14:00 - 17:00 3 VVI8EMIA Méthodes et outils pour l'intelligence artificielle

28-08-2024
Horaires Durée UE Examens
10:30 - 12:30 2 VVI7MMPA Méthodes et pratiques agiles
14:00 - 17:00 3 VVI7MPHP PHP/MySQL

29-08-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVI7MPO Modélisation et programmation orientées objet
14:00 - 17:00 3 VVI7MEP Évaluation de programmes

30-08-2024
Horaires Durée UE Examens
10:30 - 12:30 2 VVI7MAFD Approche formelle de développement
14:00 - 17:00 3 VVI7MBDA Bases de données avancées

131
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

28.3 Master Informatique parcours I2A 2e année CTU


Session 1

23-01-2024
Horaires Durée UE Examens
09:00 - 16:00 7 VVIXELAR Lecture d'articles de recherche
14:00 - 17:00 3 VVIXECSD Communication dans les systèmes distribués

24-01-2024
Horaires Durée UE Examens
10:30 - 12:30 2 VVIXMSV Spécifier et vérifier
14:00 - 16:00 2 VVIXETSF Test structurel et fonctionnel

25-01-2024
Horaires Durée UE Examens
14:00 - 16:00 2 VVI9MIDM Ingénierie dirigée par les modèles

26-01-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVI9MTGC Théorie des graphes et combinatoire

27-01-2024
Horaires Durée UE Examens
14:00 - 17:00 3 VVI9MPFA Programmation fonctionnelle avancée

15-05-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVI9EAC Algorithmique concurrente
14:00 - 17:00 3 VVI9EVA Vérification à base d'automates

132
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

Session 2

27-08-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVI9MPFA Programmation fonctionnelle avancée
14:00 - 17:00 3 VVI9MTGC Théorie des graphes et combinatoire

28-08-2024
Horaires Durée UE Examens
10:30 - 12:30 2 VVI9MIDM Ingénierie dirigée par les modèles

29-08-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVI9EAC Algorithmique concurrente
14:00 - 17:00 3 VVI9EVA Vérification à base d'automates

30-08-2024
Horaires Durée UE Examens
10:30 - 12:30 2 VVIXETSF Test structurel et fonctionnel
14:00 - 17:00 3 VVIXECSD Communication dans les systèmes distribués

01-09-2024
Horaires Durée UE Examens
08:00 - 10:00 2 VVIXMSV Spécifier et vérifier

133
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

28.4 Master Informatique parcours DVL 1re année CTU


Session 1

24-01-2024
Horaires Durée UE Examens
14:00 - 17:00 3 VVI8MRES Réseau

25-01-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVV8MIDX Ingénierie des exigences
14:00 - 16:00 2 VVI7MMPA Méthodes et pratiques agiles

26-01-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVI7MPO Modélisation et programmation orientées objet
14:00 - 17:00 3 VVI7MPHP PHP/MySQL

14-05-2024
Horaires Durée UE Examens
10:30 - 12:30 2 VVI7MAFD Approche formelle de développement

15-05-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVV8MFDT Fondement du test
14:00 - 17:00 3 VVI8MALO Architectures logicielles à objet

16-05-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVI7MBDA Bases de données avancées
14:00 - 17:00 3 VVI7MEP Évaluation de programmes

134
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

Session 2

26-08-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVV8MIDX Ingénierie des exigences
14:00 - 17:00 3 VVI8MALO Architectures logicielles à objet

27-08-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVI8MRES Réseau
14:00 - 17:00 3 VVV8MFDT Fondement du test

28-08-2024
Horaires Durée UE Examens
10:30 - 12:30 2 VVI7MMPA Méthodes et pratiques agiles
14:00 - 17:00 3 VVI7MPHP PHP/MySQL

29-08-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVI7MPO Modélisation et programmation orientées objet
14:00 - 17:00 3 VVI7MEP Évaluation de programmes

30-08-2024
Horaires Durée UE Examens
10:30 - 12:30 2 VVI7MAFD Approche formelle de développement
14:00 - 17:00 3 VVI7MBDA Bases de données avancées

135
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

28.5 Master Informatique parcours DVL 2e année CTU


Session 1

24-01-2024
Horaires Durée UE Examens
10:30 - 12:30 2 VVIXMSV Spécifier et vérifier
14:00 - 16:00 2 VVVXMMBT Test à partir de modèles

25-01-2024
Horaires Durée UE Examens
14:00 - 16:00 2 VVI9MIDM Ingénierie dirigée par les modèles

26-01-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVI9MTGC Théorie des graphes et combinatoire

27-01-2024
Horaires Durée UE Examens
14:00 - 17:00 3 VVI9MPFA Programmation fonctionnelle avancée

16-05-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVV9MTNF Test non fonctionnel
14:00 - 17:00 3 VVV9MAIT Automatisation et infrastructure pour le test

136
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

Session 2

27-08-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVI9MPFA Programmation fonctionnelle avancée
14:00 - 17:00 3 VVI9MTGC Théorie des graphes et combinatoire

28-08-2024
Horaires Durée UE Examens
10:30 - 12:30 2 VVI9MIDM Ingénierie dirigée par les modèles

29-08-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVV9MTNF Test non fonctionnel
14:00 - 17:00 3 VVV9MAIT Automatisation et infrastructure pour le test

30-08-2024
Horaires Durée UE Examens
10:30 - 12:30 2 VVVXMMBT Test à partir de modèles

01-09-2024
Horaires Durée UE Examens
08:00 - 10:00 2 VVIXMSV Spécifier et vérifier

137
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

28.6 Master Informatique parcours ITVL 2e année SUP-FC


Session 1

24-01-2024
Horaires Durée UE Examens
14:00 - 16:00 2 VVVXMMBT Test à partir de modèles

25-01-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVV8MIDX Ingénierie des exigences
14:00 - 16:00 2 VVI7MMPA Méthodes et pratiques agiles

15-05-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVV8MFDT Fondement du test

16-05-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVV9MTNF Test non fonctionnel
14:00 - 17:00 3 VVV9MAIT Automatisation et infrastructure pour le test

138
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

Session 2

26-08-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVV8MIDX Ingénierie des exigences
14:00 - 16:00 2 VVT9ECQP Cycle de vie, qualité et performance

27-08-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVTXEQL Qualité logicielle
14:00 - 17:00 3 VVV8MFDT Fondement du test

28-08-2024
Horaires Durée UE Examens
10:30 - 12:30 2 VVI7MMPA Méthodes et pratiques agiles
14:00 - 16:00 2 VVT9EQLM Qualimétrie

29-08-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VVV9MTNF Test non fonctionnel
14:00 - 17:00 3 VVV9MAIT Automatisation et infrastructure pour le test

30-08-2024
Horaires Durée UE Examens
10:30 - 12:30 2 VVVXMMBT Test à partir de modèles

139
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

28.7 Master informatique parcours ISL alternant 1re année


Session 1

27-01-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VT7IATG Théorie des graphes et combinatoire

24-05-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VT8IABD Bases de Données Avancées
14:00 - 17:00 3 VT8IAEP Evaluation des programmes

25-05-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VT8IAIG Informatique graphique

140
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

Session 2

26-08-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VT8IAIG Informatique graphique
14:00 - 17:00 3 VT7IATG Théorie des graphes et combinatoire

29-08-2024
Horaires Durée UE Examens
14:00 - 17:00 3 VT8IAEP Evaluation des programmes

30-08-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VT8IABD Bases de Données Avancées

141
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

28.8 Master informatique parcours ISL alternant 2e année


Session 1

23-01-2024
Horaires Durée UE Examens
14:00 - 17:00 3 VT9IACS Communication dans les systèmes distribués

24-01-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VT9IAMO Méthodes et outils pour l'Intelligence Artificielle

25-01-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VT9IAID Ingénierie des exigences
14:00 - 16:00 2 VT9IADM Ingénierie Dirigée par les Modèles - EAD

26-01-2024
Horaires Durée UE Examens
14:00 - 17:00 3 VT9IAPF Programmation fonctionnelle avancée

15-05-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VT0IAIG Algorithmique concurrente - EAD
14:00 - 17:00 3 VT0IAVB Vérification à base d'automates - EAD

16-05-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VT0IATN Test non fonctionnel - EAD

142
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

Session 2

26-08-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VT9IAID Ingénierie des exigences

27-08-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VT9IAPF Programmation fonctionnelle avancée
14:00 - 17:00 3 VT9IAMO Méthodes et outils pour l'Intelligence Artificielle

28-08-2024
Horaires Durée UE Examens
10:30 - 12:30 2 VT9IADM Ingénierie Dirigée par les Modèles - EAD

29-08-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VT0IAIG Algorithmique concurrente - EAD
14:00 - 17:00 3 VT0IAVB Vérification à base d'automates - EAD

30-08-2024
Horaires Durée UE Examens
09:00 - 12:00 3 VT0IATN Test non fonctionnel - EAD
14:00 - 17:00 3 VT9IACS Communication dans les systèmes distribués

143
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

29 - GLOSSAIRE

A
AES : Administration Économique et Sociale
AGE : Administration et Gestion des Entreprises
ATLAS : Logiciel de gestion des centres d’examen
ANNEE SUP-FC : Dans le cas de la demi-vitesse, l’étudiant va suivre 1 demi-année de diplôme (soit un
semestre) sur une année universitaire appelée « année 1 SUP-FC », donc d’octobre à mai (et pas
seulement sur la période d’octobre à janvier). Il suivra le deuxième semestre l’année suivante « année
2 SUP-FC » d’octobre à mai.

B
BU : Bibliothèques Universitaires

C
CAP : Centre d’Accompagnement Pédagogique
CC : Contrôle Continu
CdeC : Centre de Certification
CeLaB : Centre de Langue de la Bouloie
CLA : Centre de Linguistique Appliquée
CLES : Compétences en Langues de l’Enseignement Supérieur
CT : Contrôle Terminal
CTU : Centre de Télé-enseignement Universitaire (centre d’enseignement à distance)
CVEC : Contribution de la Vie Étudiante et de Campus

D
DAEU : Diplôme d’Accès aux Études Universitaires
DEDALE : Fil d’Ariane pour votre inscription
DM : Devoir à la Maison
DVL : Développement et Validation du Logiciel : parcours de master mention Informatique
DAP : Demande d'Admission Préalable: elle est obligatoire pour les étudiants titulaires d'un diplôme
étranger de fin d'études secondaires.
Demi-vitesse : C'est un rythme adapté aux personnes ne pouvant suivre leurs études à plein temps.
L'étudiant qui choisit la demi-vitesse va suivre un semestre de cours (au lieu de deux) sur une année
universitaire d'octobre à mai. Il suivra le deuxième semestre l'année suivante d'octobre à mai.
DAP : La Demande d'Admission Préalable (DAP) est une procédure d'inscription obligatoire pour
tous les étudiants étrangers hors Union Européenne, titulaires d'un diplôme étranger de fin d'études
secondaires, résidant en France ou dans un pays étranger.

E
EAD : Enseignement À Distance
ETP : Études Territoriales et Politiques
ENT : Environnement Numérique de Travail
ECandidat : Logiciel de candidature

144
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

EPeda : Logiciel d’inscription


EC : Éléments Constitutifs, appelées EC : sous-modules indépendants et capitalisables au sein de
l’UEC dans laquelle ils s’intègrent, et de leur semestre et année universitaires. Comme les UE, les EC
sont constitués d’activités de cours, de travaux dirigés et de travaux pratiques, et font l’objet d’une
évaluation propre. Un EC ne peut appartenir qu’à une seule UEC.
ECTS : European Credit Transfer System : Chaque semestre universitaire, (correspondant à une
année-SUP-FC dans le cas de la demi-vitesse), est composé d’UE et/ou d’UEC (incluant la totalité des
EC qui les composent) représentant 30 crédits dits ECTS (European Credit Transfer System). Les UE,
UEC et EC représentent un nombre donné de crédits ECTS, de telle manière que le nombre de crédits
d’une UEC correspond à la somme des crédits de ses EC. Ainsi, pour chacun des diplômes proposés,
un semestre universitaire peut être composé de 5 UE de 6 crédits, ou de 4 UE de 6 crédits et 2 UE de
3 crédits, ou de 4 UE de 6 crédits et d’1 UEC de 6 crédits constituée de 2 EC de 3 crédits, etc.
ECUE : Elément Constitutif des Unités d'Enseignement

F
FIED : Fédération inter-universitaire de l’Enseignement à Distance : La FIED est une association loi
1901, créée en 1987 à l’initiative du ministère de la recherche et de l’enseignement supérieur pour
représenter l’enseignement universitaire Français à l’international.
FLE : Français Langue Etrangère
FUP : Formations Universitaires Professionnalisantes : elles ont pour objectif de découvrir un
domaine ou d’accroitre une qualification au regard d’une fonction exercée, de faire évoluer un niveau
de qualification en vue d’une progression de carrière, de remettre à jour et de compléter les
connaissances déjà acquises. Ces formations ne sont pas diplômantes. Elles sont sanctionnées par la
remise d’une attestation de fin de formation, mentionnant la ou les notes obtenues par le stagiaire s’il
décide de se soumettre aux évaluations programmées. Ces formations ne donnent pas lieu à la
délivrance de crédits ECTS.
FAQ : Foire aux questions
FIT-EST : Fédération Interuniversitaire du Télé-Enseignement de l’Est

I
INE : Identifiant National Etudiants : il est composé de 11 caractères : 10 chiffres + 1 lettre ou 9 chiffres
+ 2 lettres.
ITVL : Ingénierie du Test et de la Validation Logiciels et Systèmes : Parcours de master mention
Informatique
I2A : Informatique Avancée et Applications : Parcours de master mention Informatique

M
MAFE : Management Administratif et Financier en Entreprise
Moodle : Plateforme d’apprentissage à distance
M3C : Modalités de Contrôle des Connaissances et des Compétences
MEEF : Métiers de l’Enseignement, de l’Éducation et de la Formation
MESRI : Ministère de l’Enseignement Supérieur, de la Recherche et de l’Innovation

O
OPCO : OPérateur de COmpétences

145
GUIDE des ETUDES Filière
2023 - 2024 INFORMATIQUE

PÉRIODE : L’année est décomposée en deux périodes : la période 1 d'octobre à janvier et la période 2
de février à mai.

R
RU : Restaurant Universitaire

S
SEFOC’AL : Service de Formation Continue & Alternance
SPI : Sciences Pour l’Ingénieur
ST : Sciences et Techniques
SUP-FC : Service Universitaire de Pédagogie pour les Formations et la Certification
SUMPPS : Service universitaire de Médecine Préventive et de Promotion de la Santé de l'Université

T
TOEIC : Test of English for International Communication
TP : Travaux pratiques
TD : Travaux dirigés

U
UE : Unités d’Enseignement : modules indépendants et capitalisables au sein de leur semestre et
année universitaires. Elles sont constituées d’activités de cours, de travaux dirigés et de travaux
pratiques. Elles font l’objet d’une évaluation propre.
UEC : Unités d’Enseignement Constituées : UE abstraites dans le sens où elles sont indépendantes et
capitalisables au sein de leur semestre et année universitaires, mais elles ne proposent pas d’activités
de cours et ne font donc pas l’objet d’une évaluation propre. En fait, les UEC sont simplement
formées par l’agrégat de sous-modules, appelés éléments constitutifs.
UFC : Université de Franche-Comté (uFC)

V
VAE : Validation des Acquis de l’Expérience
VES : Validation des Etudes Supérieures
VAPP : Validation des Acquis Professionnels et Personnels

146
Suivez l'actualité
du SUP-FC

sup-fc.univ-fcomte.fr

Vous aimerez peut-être aussi