Centre d Etudes Suisse Romande Formation universitaire INFORMATIQUE Licence 3 e année (L3) & Master (M1-M2) En collaboration avec l Université de Franche-Comté CTU de Besançon
Unidistance 2 GÉNÉRALITÉS Profil des participants La formation est destinée aux informaticiens cherchant à accroître leur degré de compétence ou à compléter leur formation. Particularité de la formation Ce cursus commence en 3 e année de licence et se déroule à mi-temps. Conditions d admission Unidistance dispose d un effectif de dix étudiants par année d étude. La sélection se fait sur présentation d un dossier complet (CV, lettre de motivation et justificatifs en relation avec le cursus). Ont accès à la licence : les titulaires d un titre HES/ES en Informatique ou d une formation spécifique. Ont accès au master : les titulaires de la licence (L3) Validation d acquis : Les validations d acquis n existent pas. Titres obtenus et durée des études Titre Licence (L3) 180 crédits ECTS Master (M1-M2) 120 crédits ECT Temps partiel 2 ans 4 ans Reconnaissance des diplômes Les titres français de cette filière sont reconnus en Suisse. Il est donc possible d obtenir une équivalence entre diplômes de même degré. Un étudiant ayant débuté ses études à Unidistance peut les poursuivre auprès d une université suisse. Selon le programme choisi, un dossier d équivalences peut être exigé. De même, un étudiant provenant d une université suisse ou européenne peut poursuivre sa formation auprès d Unidistance. Modalités d inscription Unidistance traite toutes les demandes d admission présentées entre la mi-juin et le 20 août. Début des études Les études d Informatique commencent généralement dans la dernière quinzaine d octobre. Support et regroupements Le centre de télé-enseignement universitaire (CTU) de Besançon met à disposition le matériel pédagogique sur sa plateforme informatique.
Unidistance 3 Contrôle des acquis - examens Toutes les épreuves écrites sont organisée à Unidistance, elles ont lieu en fin de semestre. Pour chaque session, l examen est composé d un examen principal (2h) comptant pour 60% et d un examen complémentaire (1h) comptant pour 40 %. Les examens se déroulent en deux sessions. La première, concernant les UE (Unités d Enseignement) du 1er semestre a lieu à fin janvier/début février et celle concernant les UE du 2e semestre se déroule fin mai/début juin. La deuxième session se tient à fin août/ début septembre et concerne l ensemble des UE de l année (semestres 1 et 2). Toutes ces sessions se déroulent au centre d examens d Unidistance à Sierre. Chaque UE est notée sur 100 Il y a une compensation entre les 8 UE de licence Une UE dont la note est supérieure ou égale à 50 est définitivement acquise Si une UE obtient moins de 50 sur 100 et que cette note n est pas compensée, elle est, sur demande expresse formulée au moment de la réinscription, conservée durant un an. Débouchés professionnels PME et grandes entreprises, privées et publiques; développement et protection des systèmes d information; gestion et planification des nouvelles technologies; étude, réalisation et direction de projets informatiques; enseignement. DESCRIPTION DE LA BRANCHE D ÉTUDE Ces études à temps partiel s étalent sur deux ans et permettent d obtenir une Licence (L3) en informatique de l Université de Franche-Comté. Cette filière s adresse aux personnes possédant de solides connaissances d informatique et disposant d un matériel informatisé leur permettant de suivre les cours à distance à l aide d un ordinateur relié à Internet. Organisation des études Ces UE correspondent chacune à un volume de 60 heures d enseignement. Le L3 correspond à 480 heures d enseignement. Le Master M1 + M2 correspond à 960 heures d enseignement.
Semestre 2 2 ème Année Semestre 2 1 ère Année Unidistance 4 PRÉSENTATION DES ÉTUDES Licence L3 Bases de données (BD) Ce module présente les concepts essentiels des bases de données relationnelles. On y présente ce qu est une base de donnée et un SGBD, la modélisation relationnelle définie par Codd, le langage standard des SGBD relationnels, à savoir SQL et enfin la normalisation qui, à partir de l étude de propriétés particulières et du théorème de décomposition, permet de vérifier la validité du modèle relationnel. Méthodes et outils de programmation (MOP) Analyse et modélisation des systèmes d information (AMSI) Méthodes formelles (MF) La conception et la programmation par objets, ainsi que la structure de données, représentent l objectif de ce cours. On y présente la notion de classe et d héritage. Toutes les nouvelles notions découvertes et présentées sont illustrées par des exemples. Les applications et les travaux pratiques sont développés dans le langage de programmation C++. L analyse informatique consiste à comprendre et à modéliser la gestion du domaine d activité dans une entreprise et à concevoir la solution informatique appropriée. 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 (MERISE) permettant l analyse d un problème. Ce cours 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 algorithmes et à prouver leur correction. L enseignement porte sur les systèmes formels, les types génériques, les notations symboliques, le typage des fonctions, la vérification du typage, les listes et les calculs sur les types inductifs. Pré requis : Algèbre de Boole, théorie des ensembles, récurrence, types du langage C. Architecture des systèmes Informatiques (ASI) Le but du cours est de comprendre ce qui se passe à l intérieur de l ordinateur (interprétation d une instruction, circulation des flux d information, optimisation du fonctionnement de l ordinateur et des programmes). Tout cela nécessite une bonne connaissance du fonctionnement de l ordinateur, des microprocesseurs récents, de la mémoire et du système d entrées-sorties. Systèmes et réseaux (SR) Ce module amène à utiliser et à débuter l administration d un ordinateur utilisant un «operating system Unix» issu de «Système V Release 4». Les différentes parties traitées sont : les systèmes de fichiers, l environnement de travail, les commandes, la gestion de la sécurité, les processus et le réseau (adressage, protocole, gestion). Langages du Web (LW) Ce module apprend à utiliser le langage HTML pour structurer des documents, inclure des médias et réaliser une mise en forme correcte sur différents navigateurs. L insertion du langage Java Script dans les pages Web permet d introduire l interactivité et le traitement de données qui manquent à HTML. Enfin, en joignant Java Script et les feuilles de style CSS, il sera possible de réaliser des pages DHTML (Dynamic HTML).
Unidistance 5 Théorie des langages, sémantique et preuve (TLSP) L objectif de ce module est de donner une meilleure maîtrise des langages de programmation et de l algorithmique en présentant les concepts de la théorie des langages (grammaires régulières, grammaires algébriques, automates) et les concepts de la théorie des programmes (spécification, vérification, logique de Hoare, preuve d algorithme). La théorie des langages constitue l un des fondements mathématiques largement utilisé pour la construction des analyseurs lexicaux et syntaxiques des compilateurs de langages de programmation. La théorie des programmes est un autre volet théorique pour fonder l analyse sémantique des langages et vérifier que des programmes calculent effectivement le résultat défini dans un énoncé appelé spécification. Les générateurs de code des compilateurs et les outils de vérification de cohérence des programmes reposent sur cette théorie.
Semestre 2 2 ème Année Semestre 2 1 ère Année Unidistance 6 Master M1 Langages du Web dynamique (LWD) Méthodes et outils pour intelligence artificielle (MOIA) Ce module porte sur la programmation de sites Web dynamiques en utilisant ASP ou PHP en examinant les particularités de chacun des deux langages. Ensuite, seront passées en revue, les différentes possibilités de connexion et de requêtes SQL. Finalement, les traitements particuliers tels que les envois d email, la gestion des dossiers et des fichiers, le téléchargement vers le serveur, seront abordés et expliqués en détail. Dans ce cours, l étude porte sur des modélisations d informations et des méthodes de résolution utilisées en intelligence artificielle qui s articulent en 3 axes : 1) historique, présentation de formalismes et d algorithmes de recherche dans les graphes d état 2) contrainte, système expert et jeu 3) planification, apprentissage, méthodes incomplètes et linguistiques. Base de données avancées (BDA) Génie logiciel (GL) L objectif de ce module est d appréhender les notions essentielles véhiculées par les nouvelles générations de bases de données, en particulier les notions liées à une approche orientée Objet. Les SGBD orientés Objet sont la réponse directe aux problèmes des nouvelles applications. Ce module ce divise en deux parties : Partie 1 - processus de développement du logiciel - qualité du logiciel (produit et processus) - analyse des besoins - phase de maintenance. Partie 2 - spécifications formelles avec la notation B - modélisation logico ensembliste - validation et vérification du modèle abstrait. Architectures logicielles à objets (ALO) Le but du cours est d étudier des architectures complètes de classes et leur design afin de s en servir pour concevoir des applications ou des hiérarchies de classes réutilisables. L environnement Java sert de support à cette étude. Programmation fonctionnelle avancée (PFA) Ce module se divise en deux parties : Partie 1 présentation des choix qui sont liés à la conception d un langage fonctionnel; Partie 1 présentation des techniques de programmation dites avancées. Evaluation de programmes (EP) Ce module est une introduction aux outils théoriques permettant d évaluer la performance d un algorithme. L étude de la complexité dans le cas pire constitue la partie principale du cours et sera illustrée par de nombreux exemples (tris par comparaisons, tris numériques, arbres et graphes, ) Informatique graphique (IG) Le but de ce cours d infographie est de démontrer les bases de ce domaine en partant des concepts les plus simples pour aller vers les concepts évolués (du tracé vers les textures) Les applications seront écrites en C avec Borland C et OpenGL, ainsi qu en VRML.
2 e Année & 2 Semestre 2 1 ère Année Unidistance 7 Master M2 Communication dans les systèmes distribués (CSD) Acquisition de compétences dans la maîtrise du développement d applications et de services réseau, principalement du point de vue des problématiques de communication. Utilisation du langage C, C++ et Java. Programmation des systèmes Unix et utilisation du shell. Ingénierie dirigée par les modèles et sécurité (IDMS) Ce cours s articule autour de la notion de modèles, de méta-modèles, des langages de contraintes portant sur les modèles et s appuyant sur les méta-modèles. La sécurité informatique et ses principes généraux terminent ce module. Algorithmique concurrente (AC) Présentation de l algorithmique concurrente dans le contexte centralisé et distribué. Connaissance des algorithmes, de l architecture des ordinateurs, de la communication entre processeurs. Modélisation et évaluation des systèmes informatiques (MESI) Ce module traite des thèmes suivants : automates finis et infinis, graphes et optimisation, algèbre de processus et théorie des files d attente. Il faut connaître la théorie des langages et des automates, l algorithmique sur les données et la complexité des algorithmes. Parcours Professionnel Réseaux Spécification, vérification et test Stage en entreprise Parcours Recherche Module de recherche «Réseaux» ou «Spécification, vérification et test ou réseaux» Initiation à la recherche Contact Coordinateur Jean-Paul Droz Tél. +41 (0)27 451 26 23 informatique@unidistance.ch Formation universitaire à distance, Suisse Centre d étude de Sierre Technopôle 5 CH - 3960 Sierre Tél. +41 (0)840 840 870 Fax +41 (0)27 451 26 27 www.unidistance.ch admin@unidistance.ch