-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathmaster_with_entities.xml
1826 lines (1825 loc) · 68.8 KB
/
master_with_entities.xml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE master SYSTEM "master.dtd"[
<!ENTITY dom.mail-mrs "univ-mrs.fr">
<!ENTITY dom.mail-amu "univ-amu.fr">
<!ENTITY dom.lieu-luminy "Luminy">
<!ENTITY dom.lieu-saint-jerome "Saint-Jérôme">
]>
<master>
<intervenants>
<intervenant id="Remi_MORIN">
<nom>Rémi MORIN</nom>
<adresse>
<mail>remi.morin@&dom.mail-amu;</mail>
<site_web>http://pageperso.lif.&dom.mail-mrs;/~remi.morin/</site_web>
</adresse>
</intervenant>
<intervenant id="Jean-Luc_MASSAT">
<nom>Jean-Luc MASSAT</nom>
<adresse>
<mail>jean-luc.massat@&dom.mail-amu;</mail>
<site_web>http://jean-luc.massat.perso.luminy.&dom.mail-amu;</site_web>
</adresse>
</intervenant>
<intervenant id="Magali_CONTENSIN">
<nom>Magali CONTENSIN</nom>
<adresse>
<mail>Magali.Contensin@&dom.mail-mrs;</mail>
<site_web>http://magali.contensin.free.fr/html/InternetLicPro.html</site_web>
</adresse>
</intervenant>
<intervenant id="Nadia_CREIGNOU">
<nom>Nadia CREIGNOU</nom>
<adresse>
<mail>nadia.creignou@&dom.mail-amu;</mail>
<site_web>http://www.lif.&dom.mail-mrs;/annuaire/personne/1155937</site_web>
</adresse>
</intervenant>
<intervenant id="Frederic_OLIVE">
<nom>Frederic OLIVE</nom>
<adresse>
<mail>frederic.olive@lif.&dom.mail-mrs;</mail>
<site_web>http://pageperso.lif.&dom.mail-mrs;/~frederic.olive/</site_web>
</adresse>
</intervenant>
<intervenant id="Pablo_ARRIGHI">
<nom>Pablo ARRIGHI</nom>
<adresse>
<mail>pablo.ARRIGHI@&dom.mail-amu;</mail>
<site_web>http://pageperso.lif.&dom.mail-mrs;/~pablo.arrighi/</site_web>
</adresse>
</intervenant>
<intervenant id="Kevin_PERROT">
<nom>Kevin PERROT</nom>
<adresse>
<mail>kevin.perrot@lif.&dom.mail-mrs;</mail>
<site_web>http://pageperso.lif.&dom.mail-mrs;/~kevin.perrot/</site_web>
</adresse>
</intervenant>
<intervenant id="Djamal_HABET">
<nom>Djamal HABET</nom>
<adresse>
<mail>djamal.habet@&dom.mail-amu;</mail>
<site_web>http://www.lsis.org/habetd/</site_web>
</adresse>
</intervenant>
<intervenant id="Frederic_BECHET">
<nom>Frederic BECHET</nom>
<adresse>
<mail>frederic.bechet@&dom.mail-amu;</mail>
<site_web>http://pageperso.lif.&dom.mail-mrs;/~frederic.bechet/</site_web>
</adresse>
</intervenant>
<intervenant id="Omar_BOUCELMA">
<nom>Omar BOUCELMA</nom>
<adresse>
<mail>omar.boucelma@&dom.mail-amu;</mail>
<site_web>https://annuaire.&dom.mail-amu;/personnel/detail/b21hci5ib3VjZWxtYQ==</site_web>
</adresse>
</intervenant>
<intervenant id="Nicola_OLIVETTI">
<nom>Nicola OLIVETTI</nom>
<adresse>
<mail>nicola.olivetti@&dom.mail-amu;</mail>
<site_web>http://www.lsis.org/olivetti/</site_web>
</adresse>
</intervenant>
<intervenant id="Pierre-Alain_REYNIER">
<nom>Pierre-Alain REYNIER</nom>
<adresse>
<mail>pierre-alain.reynier@&dom.mail-amu;</mail>
<site_web>http://pageperso.lif.&dom.mail-mrs;/~pierre-alain.reynier/</site_web>
</adresse>
</intervenant>
<intervenant id="Luigi_SANTOCANALE">
<nom>Luigi SANTOCANALE</nom>
<adresse>
<mail>luigi.santocanale@&dom.mail-amu;</mail>
<site_web>http://pageperso.lif.&dom.mail-mrs;/~luigi.santocanale/</site_web>
</adresse>
</intervenant>
<intervenant id="Lydie_RENE-CHABAROT">
<nom>Lydie Réné-CHABAROT</nom>
<adresse>
<mail>lydie.rene@&dom.mail-amu;</mail>
<site_web>http://pageperso.lif.&dom.mail-mrs;/~luigi.santocanale/</site_web>
</adresse>
</intervenant>
<intervenant id="Emmanuel_GODARD">
<nom>Emmanuel GODARD</nom>
<adresse>
<mail>emmanuel.godard@&dom.mail-amu;</mail>
<site_web>http://pageperso.lif.&dom.mail-mrs;/~emmanuel.godard/</site_web>
</adresse>
</intervenant>
<intervenant id="Noel_NOVELLI">
<nom>Noël Novelli</nom>
<adresse>
<mail>noel.novelli@&dom.mail-amu;</mail>
</adresse>
</intervenant>
<intervenant id="Thierry_ARTIERES">
<nom>Thierry ARTIERES</nom>
<adresse>
<site_web>[email protected]</site_web>
</adresse>
</intervenant>
</intervenants>
<parcours code="M1">
<nom>Première année de tronc commun</nom>
<lieu>&dom.lieu-luminy;</lieu>
<lieu>&dom.lieu-saint-jerome;</lieu>
<responsable ref="Remi_MORIN"/>
<description>
<texte>
<p>L'objectif de cette première année est de donner les bases indispensables permettant, en deuxième année, de choisir une spécialisation dans un domaine précis. Sur les 60 crédits de cette première année, 15 crédits correspondent à des enseignements optionnels. Ces options permettent de construire un parcours adapté. Un choix entre stage ou projet encadré est également proposé au semestre de printemps.</p>
</texte>
</description>
<semestre id="S1">
<unites_obligatoires>
<unite id="ENSINAU1">
<nom>Génie Logiciel</nom>
<credits>6</credits>
<ref_intervenant ref="Pablo_ARRIGHI"/>
<ref_intervenant ref="Kevin_PERROT"/>
<resume>
<texte>
<ul>
<li>Processus logiciel</li>
<li>Gestion de projet</li>
<li>Spécification et conception (artefact : notation UML)</li>
<li>Design patterns</li>
</ul>
</texte>
</resume>
<plan>
<nbrCours>20</nbrCours>
<nbrTD>20</nbrTD>
<nbrTP>20</nbrTP>
</plan>
<lieu>&dom.lieu-luminy;</lieu>
</unite>
<unite id="ENSINAU2">
<nom>Complexité</nom>
<credits>6</credits>
<ref_intervenant ref="Nadia_CREIGNOU"/>
<ref_intervenant ref="Frederic_OLIVE"/>
<resume>
<texte>
<ul>
<li>Rappels sur les notions d'analyse de la complexité des algorithmes et des problèmes.</li>
<li>Notion de problèmes (décision, recherche, dénombrement, énumération, optimisation). Bornes inférieures de complexité.</li>
<li>Classes P et NP. Problèmes NP-complets.</li>
<li>Méthodes de résolution des problèmes NP-Complets.</li>
</ul>
</texte>
</resume>
<plan>
<nbrCours>20</nbrCours>
<nbrTD>20</nbrTD>
<nbrTP>20</nbrTP>
</plan>
<lieu>&dom.lieu-luminy;</lieu>
</unite>
<unite id="ENSINAU3">
<nom>Réseaux</nom>
<credits>6</credits>
<ref_intervenant ref="Emmanuel_GODARD"/>
<resume>
<texte>
<ul>
<li>Architecture en couches, standard OSI</li>
<li>Couche physique</li>
<li>Couche liaison de Données</li>
<li>Réseau IP</li>
<li>Algorithmes de routage, routage IP</li>
<li>Protocole TCP/IP</li>
<li>Couche Application : HTTP, SMTP, FTP, ...</li>
<li>Bases des protocoles cryptographiques (terminologie, architecture à clef publique).</li>
<li>Introduction à la Sécurité des réseaux.</li>
</ul>
</texte>
</resume>
<plan>
<nbrCours>20</nbrCours>
<nbrTD>20</nbrTD>
<nbrTP>20</nbrTP>
</plan>
<lieu>&dom.lieu-luminy;</lieu>
</unite>
<unite id="ENSINAU4">
<nom>Programmation fonctionnelle</nom>
<credits>3</credits>
<ref_intervenant ref="Luigi_SANTOCANALE"/>
<resume>
<texte>
<ul>
<li>1- Introduction à la programmation fonctionnelle, sur l'exemple du langage OCaml Expressions, évaluation, types de base. Polymorphisme, ordre supérieur. Fonctions récursives, filtrage. Les diverses stratégies d'évaluation, application à la programmation d'un opérateur de point fixe.</li>
<li>2- Les types Sommes, types récursifs, polymorphes. Arbres. Filtrage.</li>
<li>3- Sémantique opérationnelle Liaisons, environnements, clôtures. Évaluation des fonctions récursives .</li>
<li>4- Aspects impératifs Exceptions, entrées-sorties, séquencement, fichiers, références, tableaux, enregistrements.</li>
<li>5- Implantation du filtrage en OCaml Termes formels, substitutions, filtrage.</li>
</ul>
</texte>
</resume>
<plan>
<nbrCours>20</nbrCours>
<nbrTD>20</nbrTD>
<nbrTP>20</nbrTP>
</plan>
<lieu>&dom.lieu-luminy;</lieu>
</unite>
<unite id="ENSINAU12">
<nom>BDR : approfondissement</nom>
<credits>3</credits>
<ref_intervenant ref="Remi_MORIN"/>
<resume>
<texte>
<p>nous sommes désolé, mais nous n'avons pas encore de resume.</p>
</texte>
</resume>
<plan>
<nbrCours>10</nbrCours>
<nbrTD>10</nbrTD>
<nbrTP>10</nbrTP>
</plan>
<lieu>&dom.lieu-luminy;</lieu>
</unite>
</unites_obligatoires>
<unites_optionnelles credits_options="6">
<unite id="ENSINAU6">
<nom>Programmation logique</nom>
<credits>3</credits>
<ref_intervenant ref="Remi_MORIN"/>
<resume>
<texte>
<ul>
<li>Introduction. Forme générale des règles. Effacement, unification, backtracking. Contrôle de l'exécution.</li>
<li>Listes, arbres et n-uplets. Liste représentée par différence de listes. Ajout en tête et en queue, concaténation.</li>
<li>Analyseurs syntaxiques. Construction d'un arbre syntaxique. Liste des feuilles d'un arbre. Freeze et analyse par feuille.</li>
<li>Règles prédéfinies</li>
</ul>
</texte>
</resume>
<plan>
<nbrCours>10</nbrCours>
<nbrTD>10</nbrTD>
<nbrTP>10</nbrTP>
</plan>
<lieu>&dom.lieu-luminy;</lieu>
</unite>
<unite id="ENSINAU7">
<nom>Outils de l'internet</nom>
<credits>3</credits>
<ref_intervenant ref="Magali_CONTENSIN"/>
<resume>
<texte>
<ul>
<li>Présentation d'Internet.</li>
<li>Les langages et les normes sur Internet.</li>
<li>Les protocoles : HTTP, HTTP, SMTP, IMAP, POP3</li>
<li>Les applications site_web.</li>
<li>Sécurité.</li>
<li>Les nouvelles et futures technologies.</li>
</ul>
</texte>
</resume>
<plan>
<nbrCours>10</nbrCours>
<nbrTD>10</nbrTD>
<nbrTP>10</nbrTP>
</plan>
<lieu>&dom.lieu-luminy;</lieu>
</unite>
<unite id="ENSINAU8">
<nom>Système embarqué</nom>
<credits>3</credits>
<ref_intervenant ref="Remi_MORIN"/>
<resume/>
<plan>
<nbrCours>10</nbrCours>
<nbrTD>10</nbrTD>
<nbrTP>10</nbrTP>
</plan>
<lieu>&dom.lieu-luminy;</lieu>
</unite>
<unite id="ENSINAU9">
<nom>Fondamentaux pour l'ingénierie des langues</nom>
<credits>3</credits>
<ref_intervenant ref="Frederic_BECHET"/>
<resume>
<texte>
<ul>
<li>Rappel de théorie des langages</li>
<li>Algorithmes d'analyse syntaxique pour grammaires ambiguës</li>
<li>Transducteurs finis et leur application en TAL</li>
</ul>
</texte>
</resume>
<plan>
<nbrCours>10</nbrCours>
<nbrTD>10</nbrTD>
<nbrTP>10</nbrTP>
</plan>
<lieu>&dom.lieu-luminy;</lieu>
</unite>
<unite id="ENSINAU10">
<nom>Modèles à évènements discrets</nom>
<credits>3</credits>
<ref_intervenant ref="Remi_MORIN"/>
<resume>
<texte>
<p>Posséder les notions de base en modélisation et analyse de systèmes dynamiques à événements discrets et particulièrement appréhender le formalisme réseau de Pétri. Étudier la conception et la spécification des systèmes réactifs à travers l'analyse du modèle à évènements discrets (concurrence, parallélisme, synchronisation).</p>
</texte>
</resume>
<plan>
<nbrCours>20</nbrCours>
<nbrTD>10</nbrTD>
</plan>
<lieu>&dom.lieu-luminy;</lieu>
</unite>
<unite id="ENSINAU13">
<nom>Pratique de la cryptographie</nom>
<credits>3</credits>
<ref_intervenant ref="Remi_MORIN"/>
<resume/>
<plan>
<nbrCours>10</nbrCours>
<nbrTD>10</nbrTD>
<nbrTP>10</nbrTP>
</plan>
<lieu>&dom.lieu-luminy;</lieu>
</unite>
</unites_optionnelles>
</semestre>
<semestre id="S2">
<unites_obligatoires>
<unite id="ENSINBU1">
<nom>Anglais</nom>
<credits>3</credits>
<ref_intervenant/>
<resume>
<texte>
<p>Un enseignement destiné à confirmer l'utilisation de l'anglais dans le contexte de l'informatique ainsi que dans la pratique professionnelle.</p>
</texte>
</resume>
<plan>
<nbrCours>10</nbrCours>
<nbrTD>10</nbrTD>
<nbrTP>10</nbrTP>
</plan>
<lieu>&dom.lieu-luminy;</lieu>
</unite>
<unite id="ENSINBU2">
<nom>Communication</nom>
<credits>3</credits>
<ref_intervenant ref="Lydie_RENE-CHABAROT"/>
<resume>
<texte>
<p>chapitre 1 : Théories de la communication :</p>
<ul>
<li>1.1 La théorie mathématique de l’information (Shannon, Weaver), la cybernétique (Wiener)</li>
<li>1.2 La théorie de Palo Alto ( Bateson, Watzlawick) et la théorie de la communication par les processus (Mucchielli)</li>
</ul>
<p>chapitre 2 : Rôle de l’interculturalité dans le travail en équipe :</p>
<ul>
<li>2.1 L’enquête interculturelle de Hofstede pour IBM</li>
<li>2.2 La gestuelle et le paralangage et la proxémie dans le monde (Hall)</li>
</ul>
<p>chapitre 3 : Notions de management et de travail collaboratif</p>
<ul>
<li>3.1 Le travail collaboratif vs le travail coopératif</li>
<li>3.2 La notion de groupes</li>
<li>3.3 Les compétences managériales</li>
</ul>
<b>Pré-requis :</b>
<p>Particulièrement utile pour un choix d’options, les échanges internationaux et la formation continue.</p>
</texte>
</resume>
<plan>
<nbrCours>15</nbrCours>
<nbrTD>8</nbrTD>
</plan>
<lieu>&dom.lieu-luminy;</lieu>
</unite>
<unite id="ENSINBU4">
<nom>XML</nom>
<credits>3</credits>
<ref_intervenant ref="Jean-Luc_MASSAT"/>
<resume>
<texte>
<ul>
<li>XML, DTD, XSD</li>
<li>XPath, XSLT, XQuery</li>
</ul>
</texte>
</resume>
<plan>
<nbrCours>10</nbrCours>
<nbrTD>10</nbrTD>
<nbrTP>10</nbrTP>
</plan>
<lieu>&dom.lieu-luminy;</lieu>
</unite>
<unite id="ENSINBU5">
<nom>Algorithmique et recherche opérationnelle</nom>
<credits>3</credits>
<ref_intervenant ref="Remi_MORIN"/>
<resume>
<texte>
<ul>
<li>Programmation linéaire.</li>
<li>Notions et algorithmes de flots.</li>
<li>Applications (couplage, affectation, transport, ...)</li>
<li>Programmation dynamique (sac à dos, ordonnancement, ...)</li>
<li>Algorithmes à performance garantie</li>
</ul>
</texte>
</resume>
<plan>
<nbrCours>10</nbrCours>
<nbrTD>10</nbrTD>
<nbrTP>10</nbrTP>
</plan>
<lieu>&dom.lieu-luminy;</lieu>
</unite>
<unite id="ENSINBU15">
<nom>Programmation parallèle</nom>
<credits>3</credits>
<ref_intervenant ref="Remi_MORIN"/>
<resume/>
<plan>
<nbrCours>10</nbrCours>
<nbrTD>10</nbrTD>
<nbrTP>10</nbrTP>
</plan>
<lieu>&dom.lieu-luminy;</lieu>
</unite>
</unites_obligatoires>
<unites_optionnelles credits_options="6">
<unite id="ENSINBU6">
<nom>Projet</nom>
<credits>6</credits>
<ref_intervenant ref="Remi_MORIN"/>
<resume>
<texte>
<p>Le but du projet est de mettre en oeuvre, de l'analyse à la programmation, les notions présentées en nbrCours. C'est l'occasion, pour les étudiants, d'utiliser sur un cas pratique, les éléments exposées dans les UE. Travail effectué sous la direction pédagogique d'un enseignant, et donnant lieu à la rédaction d'un mémoire et d'une soutenance orale.</p>
</texte>
</resume>
</unite>
<unite id="ENSINBU7">
<nom>Stage de deux mois</nom>
<credits>6</credits>
<ref_intervenant ref="Remi_MORIN"/>
<resume>
<texte>
<p>Le but du projet est de mettre en oeuvre, de l'analyse à la programmation, les notions présentées en nbrCours. C'est l'occasion, pour les étudiants, d'utiliser sur un cas pratique, les éléments exposées dans les UE. Travail effectué sous la direction pédagogique d'un enseignant, et donnant lieu à la rédaction d'un mémoire et d'une soutenance orale.</p>
</texte>
</resume>
</unite>
</unites_optionnelles>
<unites_optionnelles credits_options="9">
<unite id="ENSINBU8">
<nom>Sémantique</nom>
<credits>3</credits>
<ref_intervenant ref="Remi_MORIN"/>
<resume>
<texte>
<p>1-Le lambda-calcul simplement typé</p>
<p>Syntaxe, typage, beta et eta-conversions, équations. Modèles : interprétation des jugements de typage.</p>
<p>2-Extension à PCF. La règle \mu.</p>
<p>3-Points fixes dans les ordres partiels complets.</p>
<p>Le théorème de Tarski.</p>
<p>4-Sémantique par point fixe de PCF.</p>
<p>5-Cours de clôture : survol des différentes approches sémantiques.</p>
<p>Sémantiques opérationnelles : par transitions, naturelles, machine abstraite de Landin.</p>
<p>Sémantique dénotationnelles : cas fonctionnel(cf.chapitre 4) et cas d'un petit langage impératif.</p>
</texte>
</resume>
<plan>
<nbrCours>10</nbrCours>
<nbrTD>10</nbrTD>
<nbrTP>10</nbrTP>
</plan>
<lieu>&dom.lieu-luminy;</lieu>
</unite>
<unite id="ENSINBU9">
<nom>Algorithmique distribuée</nom>
<credits>3</credits>
<ref_intervenant ref="Pierre-Alain_REYNIER"/>
<resume>
<texte>
<p>Un système distribué est un ensemble d’entités autonomes de calcul (ordinateurs, PDA, processeurs, processus, processus léger, ...) interconnectées et qui peuvent communiquer entre eux. Ce nbrCours est une introduction aux méthodes pour la conception d'algorithmes dans de tels systèmes. Il donne une présentation des différents types de systèmes distribués et des différents problèmes que l'on doit résoudre. Les problèmes abordés sont : l'élection, le consensus, la diffusion, l'exploration, la réplication, l'exploration et le rendez-vous avec des agent mobiles.</p>
</texte>
</resume>
<plan>
<nbrCours>10</nbrCours>
<nbrTD>10</nbrTD>
<nbrTP>10</nbrTP>
</plan>
<lieu>&dom.lieu-luminy;</lieu>
</unite>
<unite id="ENSINBU10">
<nom>Intégration des systèmes d'information</nom>
<credits>3</credits>
<ref_intervenant ref="Omar_BOUCELMA"/>
<resume>
<texte>
<ul>
<li>Problématique d'intégration des SI</li>
<li>Architectures et patrons d'intégration</li>
<li>Systèmes d'Information d'entreprises</li>
<li>Systèmes d'Information sur Internet</li>
</ul>
</texte>
</resume>
<plan>
<nbrCours>10</nbrCours>
<nbrTD>10</nbrTD>
<nbrTP>10</nbrTP>
</plan>
<lieu>dom.lieu-saint-jerome;</lieu>
</unite>
<unite id="ENSINBU11">
<nom>Initiation à la fouille de données et à l'optimisation des SGBD</nom>
<credits>3</credits>
<ref_intervenant ref="Noel_NOVELLI"/>
<resume>
<texte>
<p>Actuellement, de plus en plus de données sont conservées sans être réellement exploitées. Elles représentent pourtant une source importante d’information. La fouille de données peut-être définie comme le processus permettant d’extraire de l’information non triviale et non préalablement connue à partir des données. Dans cet enseignement, nous nous focaliserons sur l’extraction de corrélations entre les données (règle d’association, Dépendances Fonctionnelles...) et nous verrons des techniques de mesure de la qualité des données (détection et correction d’erreur).</p>
<p>Par ailleurs, nous passerons du côté obscur des SGBD en mettant évidence le lien existant entre les performances d'un SGBD et les choix d'implémentation des différents algorithmes utilisés (gestion de la concurrence, reprise sur panne, transaction...) ainsi que les différentes implémentations existantes des opérations de base des SGBD comme les jointures ou les tris accompagnés de leurs conditions d'utilisation.</p>
</texte>
</resume>
<plan>
<nbrCours>10</nbrCours>
<nbrTD>10</nbrTD>
<nbrTP>10</nbrTP>
</plan>
<lieu>&dom.lieu-luminy;</lieu>
</unite>
<unite id="ENSINBU12">
<nom>Intelligence artificielle</nom>
<credits>3</credits>
<ref_intervenant ref="Remi_MORIN"/>
<resume>
<texte>
<ul>
<li>Introduction à l'IA</li>
<li>Problèmes d'espace d'états et d'exploration</li>
<li>Logiques pour l'IA et démonstration automatique</li>
<li>Représentation de connaissances</li>
<li>Actions, temps et planification</li>
<li>Programmation par contraintes et réseaux de contraintes</li>
</ul>
</texte>
</resume>
<plan>
<nbrCours>10</nbrCours>
<nbrTD>10</nbrTD>
<nbrTP>10</nbrTP>
</plan>
<lieu>&dom.lieu-luminy;</lieu>
</unite>
<unite id="ENSINBU13">
<nom>Algorithme à performance garantie</nom>
<credits>3</credits>
<ref_intervenant ref="Remi_MORIN"/>
<resume>
<texte>
<ul>
<li>Algorithmes d'approximation de nature combinatoire pour les problèmes</li>
</ul>
<p>NP-complets suivants : Voyageur de Commerce, arbre de Steiner, ordonnancement de taches, clustering, p-centres, sac à dos, bin packing, couverture d'ensemble, la plus courte sur-séquence commune ;</p>
<ul>
<li>FPTAS et PTAS (ordonnancement de taches et sac à dos) ;</li>
<li>Algorithmes d'approximation par programmation linéaire : l'arrondi et la méthode primale-duale (MAXSAT, couverture d'ensemble, multicoupes et multiflots dans les arbres) ;</li>
<li>Algorithmes en ligne et compétitivité : la pagination et les k-serveurs.</li>
</ul>
</texte>
</resume>
<plan>
<nbrCours>10</nbrCours>
<nbrTD>10</nbrTD>
<nbrTP>10</nbrTP>
</plan>
<lieu>&dom.lieu-luminy;</lieu>
</unite>
<unite id="ENSINBU16">
<nom>Introduction à l'apprentissage automatique</nom>
<credits>3</credits>
<ref_intervenant ref="Remi_MORIN"/>
<resume/>
<plan>
<nbrCours>10</nbrCours>
<nbrTD>10</nbrTD>
<nbrTP>10</nbrTP>
</plan>
<lieu>&dom.lieu-luminy;</lieu>
</unite>
</unites_optionnelles>
</semestre>
</parcours>
<parcours code="SIR">
<nom>Systèmes d'informations répartis</nom>
<lieu>&dom.lieu-saint-jerome;</lieu>
<responsable ref="Omar_BOUCELMA"/>
<description>
<texte>
<p>Le programme vise la formation de spécialistes dans des métiers à forte valeur ajoutée au travers des compétences acquises dans trois domaines clés de l’informatique : les technologies avancées du Web (services web, multimédia, etc.), les nouveaux modes de développement du logiciel (Cloud, Mobile, etc.) et les processus métiers de l’entreprise.</p>
</texte>
</description>
<semestre id="S3">
<unites_obligatoires>
<unite id="ENSINCU60">
<nom>Architectures réparties - JEE</nom>
<credits>6</credits>
<ref_intervenant ref="Omar_BOUCELMA"/>
<resume>
<texte>
<p>Cette UE contient les concepts et outils de base pour le développement de systèmes et d'applications distribués sur le Web. Les architectures client serveur seront revisitées, et un focus particulier sera fait sur les servlets, JSP, EJB, J2EE etc.</p>
</texte>
</resume>
<lieu>&dom.lieu-saint-jerome;</lieu>
</unite>
<unite id="ENSINCU64">
<nom>Développement d'applications mobiles</nom>
<credits>3</credits>
<ref_intervenant ref="Omar_BOUCELMA"/>
<resume>
<texte>
<p>Ce nbrCours est dédié au développement d'applications sur smartphones et tablettes dans un environnement Android. L’objectif visé est le développement d’une application complète et professionnelle à l’issue de ce nbrCours.</p>
<p>Les éléments suivants seront étudiés :</p>
<ul>
<li>Architecture et OS Android,</li>
<li>la conception d’applications (Context, BroadcastReceiver, ContentProviders, …,</li>
<li>l’interface graphique (Views, Layouts, MVC, …),</li>
<li>le système de ressources et le stockage de données,</li>
<li>les librairies,</li>
<li>les applications connectées (Client http Android, HttpURLConnection , Google Cloud Messaging,…).</li>
</ul>
</texte>
</resume>
<lieu>&dom.lieu-saint-jerome;</lieu>
</unite>
<unite id="ENSINCU65">
<nom>Gestion de projet</nom>
<credits>3</credits>
<ref_intervenant ref="Omar_BOUCELMA"/>
<resume>
<texte>
<p>Cette UE vise à inculquer un mode de fonctionnement projet. Les aspects techniques (délais, jalons, indicateurs, etc.) et humains (communication, gestion ds conflits, etc) seront abordés.</p>
</texte>
</resume>
<lieu>&dom.lieu-saint-jerome;</lieu>
</unite>
<unite id="ENSINCU68">
<nom>Cloud computing</nom>
<credits>3</credits>
<ref_intervenant ref="Omar_BOUCELMA"/>
<resume>
<texte>
<p>L’objectif de ce nbrCours et d’apprendre à créer et déployer des applications Cloud. Le nbrCours couvre les aspects suivants :</p>
<ul>
<li>Définition et types de cloud : cloud privé, public, hybride</li>
<li>Concepts et services cloud : SaaS, PaaS, IaaS, …</li>
<li>Risques et opportunités du cloud : gestion de la sécurité (données sensibles), accès instantanés à des ressources de calcul et de stockage (élasticité),</li>
<li>Création et déploiement d’applications : Google Cloud, Amazon, Azure, ….</li>
</ul>
</texte>
</resume>
<lieu>&dom.lieu-saint-jerome;</lieu>
</unite>
<unite id="ENSINCU74">
<nom>Introduction au Big Data</nom>
<credits>3</credits>
<ref_intervenant ref="Omar_BOUCELMA"/>
<resume/>
<lieu>&dom.lieu-saint-jerome;</lieu>
</unite>
<unite id="ENSINCU75">
<nom>Business process</nom>
<credits>3</credits>
<ref_intervenant ref="Omar_BOUCELMA"/>
<resume/>
<lieu>&dom.lieu-saint-jerome;</lieu>
</unite>
<unite id="ENSISCU28">
<nom>RI8 : Web services</nom>
<credits>3</credits>
<ref_intervenant ref="Omar_BOUCELMA"/>
<resume/>
<lieu>&dom.lieu-saint-jerome;</lieu>
</unite>
<unite id="ENSINCU27">
<nom>Anglais 2</nom>
<credits>3</credits>
<ref_intervenant/>
<resume>
<texte>
<p>Expression orale et écrite : exposés sur des sujets scientifiques et / ou professionnels, travaux écrits. Préparation et passage du TOEIC.</p>
</texte>
</resume>
<lieu>&dom.lieu-saint-jerome;</lieu>
</unite>
<unite id="ENSINCU28">
<nom>Communication 2</nom>
<credits>3</credits>
<ref_intervenant ref="Lydie_RENE-CHABAROT"/>
<resume>
<texte>
<p>L’étudiant apprend à effectuer un bilan de son parcours de formation, à élaborer un projet professionnel personnel, à cerner ses motivations et à enrichir ses connaissances des métiers et du marché de l’informatique pour se constituer un portefeuille de compétences.</p>
<ul>
<li>Valorisation du parcours de formation</li>
<li>Clarification des motivations et de leurs incidences sur des choix professionnels</li>
<li>Identification des aptitudes et des compétences</li>
<li>Positionnement du projet personnel et professionnel</li>
<li>Ajustement des profils annonce / candidature</li>
<li>Préparation aux entretiens de recrutement</li>
<li>Rédaction de curriculum vitae et de lettres de motivation</li>
</ul>
</texte>
</resume>
<lieu>&dom.lieu-saint-jerome;</lieu>
</unite>
</unites_obligatoires>
</semestre>
<semestre id="S4">
<unites_obligatoires>
<unite id="ENSINDU3">
<nom>Projet industriel de mise en application</nom>
<credits>6</credits>
<ref_intervenant ref="Omar_BOUCELMA"/>
<resume>
<texte>
<p>Rédaction du cahier des charges. Conception de l'application. Développement et test. Rédaction d'un mémoire et présentation.</p>
</texte>
</resume>
</unite>
<unite id="ENSINDU4">
<nom>Stage en entreprise</nom>
<credits>24</credits>
<ref_intervenant ref="Omar_BOUCELMA"/>
<resume>
<texte>
<p>Recherche d'un stage. Validation du sujet de stage. Suivi du bon déroulement du stage. Aide à la rédaction du mémoire de stage. Soutenance et évaluation du stage.</p>
</texte>
</resume>
</unite>
</unites_obligatoires>
</semestre>
<debouches>
<texte>
<p>La spécialité SIR vise des métiers de l’informatique à forte valeur ajoutée grâce aux compétences acquises dans trois domaines clés : les technologies avancées du Web, les nouveaux modes de développement et de déploiement de solutions logicielles et les processus métiers de l’entreprise.</p>
<p>Parmi les métiers visés on trouve :</p>
<ul>
<li>Architecte en Systèmes d’Information,</li>
<li>Ingénieur Développement Logiciels,</li>
<li>Ingénieur Intégration,</li>
<li>Consultant ERP/BPM,</li>
<li>Chef de projet.</li>
</ul>
</texte>
</debouches>
</parcours>
<parcours code="GL">
<nom>Génie logiciel</nom>
<lieu>&dom.lieu-saint-jerome;</lieu>
<responsable ref="Djamal_HABET"/>
<description>
<texte>
<p>La production d'un logiciel est une tâche très complexe mettant en oeuvre plusieurs ressources, notamment humaines, matériels et technologiques. La spécialité « Génie logiciel » a pour objectif d'apporter aux étudiants les compétences approfondies requises pour pouvoir intervenir dans toutes les phases de la production logiciel.</p>
</texte>
</description>
<semestre id="S3">
<unites_obligatoires>
<unite id="ENSINCU41">
<nom>Qualité logicielle : outils et méthodes</nom>
<credits>6</credits>
<ref_intervenant ref="Djamal_HABET"/>
<resume>
<texte>
<p>Qualité logicielle, test et validation logiciel, ateliers de génie logiciel.</p>
</texte>
</resume>
</unite>
<unite id="ENSINCU42">
<nom>Spécification logicielle</nom>
<credits>3</credits>
<ref_intervenant ref="Djamal_HABET"/>
<resume>
<texte>
<p>Qualité logicielle, test et validation logiciel, ateliers de génie logiciel.</p>
</texte>
</resume>
</unite>
<unite id="ENSINCU43">
<nom>Conception logicielle</nom>
<credits>3</credits>
<ref_intervenant ref="Nicola_OLIVETTI"/>
<resume>
<texte>
<p>Conception objet, patrons de conception, conception IHM.</p>
</texte>
</resume>
</unite>
<unite id="ENSINCU44">
<nom>Architecture logicielle JEE</nom>
<credits>3</credits>
<ref_intervenant ref="Jean-Luc_MASSAT"/>
<resume>
<texte>
<p>Composants logiciels , architectures N-tier, middleware, Entreprise Java Beans (EJB).</p>
</texte>
</resume>
</unite>
<unite id="ENSINCU45">
<nom>Technologies du Web et Web 2.0</nom>
<credits>3</credits>
<ref_intervenant/>
<resume>
<texte>
<p>Protocoles de communication, standards Web, Langages à balises, programmation Web, Ajax, XUL, standardisation et convergence d'interfaces.</p>
</texte>
</resume>
</unite>
<unite id="ENSINCU46">
<nom>XML avancé</nom>
<credits>3</credits>
<ref_intervenant/>
<resume>
<texte>
<p>Modélisation et navigation, XSchema et XPath avancés, Requêtage des bases documentaires, DOM et SAX avancés.</p>
</texte>
</resume>
</unite>
<unite id="ENSINCU47">
<nom>Gestion de projet</nom>
<credits>3</credits>
<ref_intervenant/>
<resume>
<texte>
<p>Définition et acteurs d'un projet, organisation d'un projet, techniques de planification, estimation prévisionnelle d'un projet, pilotage et contrôle d'un projet, recette finale.</p>
</texte>
</resume>
</unite>
<unite id="ENSINCU27">
<nom>Anglais 2</nom>
<credits>3</credits>
<ref_intervenant/>
<resume>
<texte>
<p>Expression orale et écrite : exposés sur des sujets scientifiques et / ou professionnels, travaux écrits. Préparation et passage du TOEIC.</p>
</texte>
</resume>
<lieu>&dom.lieu-saint-jerome;</lieu>
</unite>
<unite id="ENSINCU28">
<nom>Communication 2</nom>
<credits>3</credits>
<ref_intervenant ref="Lydie_RENE-CHABAROT"/>
<resume>
<texte>
<p>L’étudiant apprend à effectuer un bilan de son parcours de formation, à élaborer un projet professionnel personnel, à cerner ses motivations et à enrichir ses connaissances des métiers et du marché de l’informatique pour se constituer un portefeuille de compétences.</p>
<ul>
<li>Valorisation du parcours de formation</li>
<li>Clarification des motivations et de leurs incidences sur des choix professionnels</li>
<li>Identification des aptitudes et des compétences</li>
<li>Positionnement du projet personnel et professionnel</li>
<li>Ajustement des profils annonce / candidature</li>
<li>Préparation aux entretiens de recrutement</li>
<li>Rédaction de curriculum vitae et de lettres de motivation</li>
</ul>
</texte>
</resume>
<lieu>&dom.lieu-saint-jerome;</lieu>
</unite>
</unites_obligatoires>
</semestre>
<semestre id="S4">
<unites_obligatoires>
<unite id="ENSINDU3">
<nom>Projet industriel de mise en application</nom>
<credits>6</credits>
<ref_intervenant/>
<resume>
<texte>
<p>Rédaction du cahier des charges. Conception de l'application. Développement et test. Rédaction d'un mémoire et présentation.</p>
</texte>
</resume>
</unite>
<unite id="ENSINDU4">
<nom>Stage en entreprise</nom>
<credits>24</credits>
<ref_intervenant ref="Omar_BOUCELMA"/>
<ref_intervenant/>
<resume>
<texte>
<p>Recherche d'un stage. Validation du sujet de stage. Suivi du bon déroulement du stage. Aide à la rédaction du mémoire de stage. Soutenance et évaluation du stage.</p>
</texte>
</resume>
</unite>
</unites_obligatoires>
</semestre>
<debouches>
<texte>
<p>Ingénieur informaticien, Ingénieur d’études et de développement, Ingénieur qualité logicielle, Architecte JEE, Architecte d’applications, Développeur et concepteur d’applications, Ingénieur développeur Web, Chef de projets, Consultant.</p>
<p>Parmi les métiers visés on trouve :</p>
<ul>
<li>Architecte en Systèmes d’Information,</li>
<li>Ingénieur Développement Logiciels,</li>
<li>Ingénieur Intégration,</li>
<li>Consultant ERP/BPM,</li>
<li>Chef de projet.</li>
</ul>
</texte>
</debouches>
</parcours>
<parcours code="IF">
<nom>Informatique fondamentale</nom>
<lieu>&dom.lieu-luminy;</lieu>
<responsable ref="Thierry_ARTIERES"/>
<responsable ref="Pierre-Alain_REYNIER"/>
<description>
<texte>
<p>L'objectif de la spécialité Informatique Fondamentale est de donner des connaissances solides dans le domaine des fondements de l'informatique. Il s'agit d'acquérir des connaissances sur les concepts et les méthodes dans l es thèmes couverts par le Laboratoire d'Informatique Fondamentale.</p>
</texte>
</description>
<semestre id="S3">
<unites_obligatoires>
<unite id="ENSINCU1">
<nom>Algorithmique et complexité</nom>
<credits>6</credits>
<ref_intervenant/>
<resume>
<texte>
<p>Principales techniques de conception et analyse d'algorithmes (efficaces) pour les problèmes polynomiaux et les problèmes NP-complets. Complexité de l'approximation, du comptage. Complexité paramétrée. Classes probabilistes.</p>
</texte>
</resume>
</unite>
<unite id="ENSINCU2">
<nom>Logique, automates et aspects formels de la théorie des langages</nom>
<credits>6</credits>
<ref_intervenant/>
<resume>
<texte>
<p>Logique du premier ordre. Logiques modales et temporelles. Logiques monadiques. Décidabilité de logiques .
Automates de mots finis et infinis. Automates d'arbres et langages réguliers d'arbres. Liens avec la logique</p>
</texte>
</resume>
</unite>
<unite id="ENSINCU3">
<nom>Statistique inférentielle</nom>
<credits>3</credits>
<ref_intervenant/>
<resume>
<texte>
<p>Théorie des probabilités et statistique inférentielle. Ce cours permet d'acquérir des bases solides pour l'apprentissage automatique ou le traitement automatique de la langue naturelle</p>
</texte>
</resume>
</unite>
</unites_obligatoires>
<unites_optionnelles credits_options="15">
<unite id="ENSINCU4">
<nom>Nouveaux défis en apprentissage</nom>
<credits>3</credits>
<ref_intervenant/>
<resume>
<texte>
<p>Étude des méthodes d'apprentissage qui traitent, de façon tant théorique qu'appliquée, séparément ou simultanément, un ou plusieurs problèmes classiques.</p>
</texte>
</resume>
</unite>
<unite id="ENSINCU5">
<nom>Théorie de l'apprentissage</nom>
<credits>3</credits>
<ref_intervenant/>
<resume>
<texte>
<p>Avancées récentes en théorie de l'apprentissage statistique : complexité de Rademacher, bornes PAC-Bayes, stabilité algorithmique, schémas de compression.</p>
</texte>