====== Le wiki de l'UFR de Mathématique et d'Informatique pour la contractualisation ======


Ce wiki a pour but de lister 
  * les logiciels nécessaires ainsi que des procédures de test pour les différents TP réalisés à l'UFR de Mathématiques et d'Informatique
  * les logiciels installés sur les différents serveurs/salles de TP de l'UFR

===== Description des salles de TP =====

  * [[salles_espla|Site de l'Esplanade]]
  * [[http://master-informatique.unistra.fr/intranet/index.php?page=ressources|Site d'Illkirch]]

===== Description des postes du Département Informatique =====

  * [[TX_EC | TX des enseignants-chercheurs]]

===== Logiciels installés dans les salles de PC =====

  * [[software_asked_t20|T20]]
  * [[software_asked_t21|T21]]
  * [[software_asked_t22|T22]]
  * [[todo_avant_images|Choses à faire avant de faire l'image]]

===== Logiciels installés sur les serveurs =====

  * [[turing]] serveur pour les terminaux X des salles de TP (à l'esplanade et à Illkirch)
  * [[crabe]] serveur pour les terminaux X des sallles de TP (Illkirch)
  * [[dpt-info]] serveur dédié aux enseignants du DI [[modernisation dpt-info 2018]]
  * [[codd]] : serveur de base de données
  * [[mai-infosphere]] : plateforme formation IBM infoSphere
  * [[mai-precise]] : serveur d'enseignement temporaire sous ubuntu precise
  * [[mai-fw]] : firewall bridge de l'ufr

===== Besoins et procédures de test par cours =====

=== L1 ===

  * S1
        * [[Algorithmique et programmation 1]]
  * S2
        * [[Algorithmique et programmation 2]]
        * [[Algèbre S2]]
        * [[Analyse S2]]
        * [[Culture et pratique de l'informatique]]
        * [[Modèles de calcul]]

=== Licence Informatique ===

  * S3
        * [[Bases de données 1]]
        * [[Logique et programmation logique]]
        * [[Pratique de systèmes d'exploitation]]
        * [[Programmation fonctionnelle]]
        * [[Structures de données et algorithmes 1]]
        * [[Techniques de développement]]
    * S4
        * [[Algèbre linéaire appliquée]]
        * [[Architecture des ordinateurs]]
        * [[Programmation orientée objet]]
        * [[Programmation système et réseau]]
        * [[Structures de données et algorithmes 2]]
        * [[Analyse numérique appliquée]]
    * S5
        * [[Bases de données 2]]
        * [[Fondement des systèmes d'exploitation]]
        * [[Réseaux et protocoles]]
        * [[Théorie des langages]]
        * [[Programmation orientée objet 2]]
        * [[Structures de données, algorithme et programmation]]
    * S6
        * [[Programmation distribuée]]
        * [[Systèmes distribués]]
        * [[Interfaces homme-machine]]
        * [[Logique et programmation logique]]
        * [[Architecture des ordinateurs]]
        * [[Génie logiciel orienté objets]]
        * [[Réseaux locaux et interconnexions]]

=== Licence Profesionnelle SIL option Administration de Réseaux et Services ===
    * [[Applications et Services]]

=== Licence Mathématiques ===
    * S3
    * S4
      * [[Analyse numérique S4]]
    * S5
      * [[Algorithmique et structures de données S5]]
    * S6
      * [[Programmation orientée objet S6]]

=== Master RISE ===
    * [[Compilation]]
    * [[Sécurité des systèmes et des réseaux]]
    * [[Transport et services réseaux]]
    * [[Administration des réseaux]]
    * [[Compilation avancée]]
    * [[Programmation embarquée II]]
    * [[Réseaux d'opérateurs]]
    * [[Réseaux et informatique d'entreprise]]
    * [[Système et programmation Temps-réel]]
    * [[Mise en oeuvre des réseaux]]
    * [[Mobilité et réseaux sans fil]]
    * [[Multimédia et QoS]]
    * [[OS embarqués et réseaux industriels et de terrain]]
    * [[Prototypage et simulation réseau]]
    * [[Parallélisme]]
=== Master ILC ===
    * [[Compilation]]
    * [[Ingénierie de la preuve]]
    * [[Certification du logiciel]]
    * [[Fouille de données réparties]]
    * [[Entrepôts de données et informatique décisionnelle]]

=== Master ISI ===
    * [[Fondements et algorithmes de l'imagerie numérique]]
    * [[CAO]]
    * [[Ingénierie de la preuve]]
    * [[Traitement d'images]]
    * [[Banques de données multimédia]]
=== Master GPI ===

=== Master OTG ===
    * [[Bases de données et extraction de connaissances]] 
=== Master CSSI ===
    * [[Génie Informatique]]