DESS Génie logiciel

DESS Génie logiciel DESS Génie logiciel, Economie, Droit et Normes Responsable : Henri Habrias, professeur Site web détaillé : http://www.iut-nantes.univ-nantes.fr/~habrias/portailHabrias

Exigences à l’entrée • maîtriser les concepts fondamentaux de l’informatique. • La référence est le livre de Aho, Ullman, « Concepts • fondamentaux de l’informatique », Dunod • très bon niveau en analyse, spécification, développe- • ment de logiciels • maîtriser les principaux paradigmes de programmation et • de spécification • savoir écrire correctement (dont l’orthographe) en français, • savoir rédiger un raisonnement rigoureux

Exigences à l’entrée (suite) • Intérêt et expérience de la démarche d’ingénieur. Savoir prendre • en compte différents aspects (juridique, économique,…) • s’engager à investir dans des matières nouvelles comme le • droit, la gestion, etc. Une mention en maîtrise est demandée (sinon fournir des éléments dans le dossier suffisamment probants de votre niveau)

Peuvent candidater • les titulaires d’une maîtrise d’informatique • Les titulaires d’une MIAGE • les titulaires d’un diplôme d’ingénieur reconnu • en informatique ou généraliste avec option • Informatique. Après étude et autorisation. • des titulaires d’une maîtrise de droit privé ou de gestion • maîtrisant les concepts fondamentaux de l’informatique

Le programme — Mathématiques et logique (50 heures) — Méthodes et langages de spécification (50 heures) — Normalisation et documents normatifs (50 heures) — Génie logiciel (60 heures) — Droit (50 heures) — Économie et gestion (75 heures) — Communication écrite dont anglais des contrats, du génie logiciel préparation au TOEIC et passage du TOEIC (70 heures) — Projet (d ’octobre à mars) — Stage obligatoire (4 mois) – [avril, mai, juin, juillet] — Sport obligatoire — Epistémologie et histoire des sciences en rapport avec l’informatique, la modélisation (25 heures)

Attention ! Il s’agit d’un 3ième cycle en informatique ! Il NE s’agit PAS d’y ajouter une pincée de droit, une goutte d’économie, et un zeste de méthodes normalisées Il s’agit d’avoir une approche d’ingénieur qui ne néglige aucun de de ces aspects et qui en maîtrise la compréhension sans être une encyclopédie juridique ou normative !

Exemple de sujet de stage Une étude sur la confidentialité des données informatiques hospitalières - la collecte de l'existant juridique, recommandations sur le sujet, la mise en forme d'un guide pour les techniciens informatiques nous permettant d'accéder ou non aux demandes qui nous sont faites et en connaître les modalités obligatoires à soutenir face aux demandeurs ou encore à mettre en oeuvre (exemples : la circulation des résultats d'examens, échanges de courriers médicaux nominatifs, accès intra et extra-hospitalier aux données, obligation d'authentification, de cryptage, de certification... les obligations du CH en tant que fournisseur d'accès à l'internet pour les agents, pour ses usagers). L‘ architecture et / ou le dispositif à mettre en place (charte d'accès, habilitation, outils de sécurité PKI - certificats...)

Un module commun Certains cours sont communs au DESS Génie informatique. Par exemple le module sur les méthodes de spécification formelle (méthode B et Atelier B, Spécifications Algébriques, LOTOS)

Qui enseigne ? • Plus de 40 intervenants qui sont : • des enseignants de l’enseignement supérieur • venant de Nantes ou d’autres universités ou Grandes Ecoles • de Nantes, Poitiers, Paris, Royaume-Uni, Marseille… • des praticiens qui sont de niveau doctorat ou Ecole d’ingénieur, • souvent diplômés aussi bien en économie/droit qu’en informatique • Toutes les interventions font l’objet d’examen écrit ! Ce ne sont pas • des conférences de salon !

Les moyens Une salle propre au DESS, équipée de machines reliées au réseau. Avec tout le matériel vidéo Cours sur support vidéo (droit, génie logiciel, économie) Une bibliothèque des ouvrages essentiels (codes, normes, etc.) propre au DESS

Originalités Le contenu de la formation, l’ensemble des enseignants Les activités sportives obligatoires L’enseignement d’épistémologie et histoire des sciences connecté avec les « fondamentaux » du programme de la formation La préparation et le passage du TOEIC La démarche d’ingénierie La place des méthodes formelles Des profs de droit spécialistes reconnus du droit appliqué à l’informatique

Originalités (suite) Nous préparons des conventions avec les universités de : Sherbrooke (Qué, Canada) Londres (U.K.) Turku (Finlande) HEC Lausanne (Suisse) Teesside (U.K.) etc. Pour que des étudiants du dess puissent faire certains modules dans une des ces universités lors du 2ième semestre

Les besoins ? Titres de la presse professionnelle (Le Monde informatique) « Budgets informatiques gelés, prolifération des serveurs… Tout concourt à envisager une homogénéisation des infrastructures du système d’information » « Comment réussir un plan de secours opérationnel » « Infogérance, un transfert à hauts risques… le cadre juridique est extrêmement complexe »

Besoins (suite) « DESS, jouez la carte de la multicompétence, Panorama de ces DESS en prise directe avec les réalités du marché » « Les droits du salarié externalisé » « Les méthodes formelles sonnent-elles le glas des tests unitaires ? » « Les SSII licencient en catimini » « l’ingénierie collaborative » « Il faut savoir pratiquer les bons tests »

Besoins (suite) « Acculé à réduire les dépenses informatiques, les DSI, … » « Alstom : trois révolutions pour maîtriser les coûts informatiques » « Du rôle de dépensier à celui de vendeur-gestionnaire » « Se préparer à rendre des comptes » « La culture du ROI (Return On Investment), nous y allons… » « Maîtriser la complexité des logiciels »

Impératif ! Ce DESS ne permet pas d’obtenir un « Bac + 5 » sans investissement important ! Ne candidatez pas sans savoir quel est le contrat ! Lisez entièrement les pages web du site du dess avant de déposer un dossier de candidature. Ne dîtes pas : je sais tout. Consultez les livres de référence pour vérifier. http://www.iut-nantes.univ-nantes.fr/~habrias/portailHabrias

A bientôt, rdv avec… Loïc Panhalleux, Maître de conférence à l'Université de Nantes, Droit Didier Kueviakoé, Maître de conférence à l'Université de Nantes, Gestion Henri-Pierre Godeau, Consultant, gestion de la qualité, cahier des charges, etc. Michel Gazeau, Inspecteur des impôts, ingénieur en informatique, dea d'informatique, Le contrôle fiscal informatique Ross-Carré, Délégué régional de l'AFNOR, La normalisation Piégay Edouard, Maître de conférence à l'Université de Caen, Expert judiciare, L'expertise judiciaire en informatique Jean-Jacques Buchon, professeur agrégé d'anglais IUT de Nantes, Anglais et préparation au TOEIC Jean-Claude Royer, professeur à l'Ecole des Mines de Nantes, Génie logiciel, LOTOS Thierry Brugère, professeur agrégé de mathématiques, IUT de Nantes, Maths pour l'informatique Hubert Guyon, statisticien professionnel, statistiques et probabilités pour l'informatique Alain Mollard, professeur agrégé de mathématiques, Dea de logique, Maths pour l'informatique, logique Hervé Lamandé, chef de projet informatique, ingénieur Cnam, La pratique du chef de projet en informatique de gestion Andrès Farias, thésard, Ecole des Mines de Nantes, Les tests en programmation objet Sacha Dikosky, professeur, Université de Nantes, Histoire de la logique Evelyne Barbin, Maître de conférences, Centre François Viète, Histoire du concept d'automate M. Grosso, Bibliothécaire, BU Nantes, Les normes des bibliothèques M. Boutefangas, Informaticien, BU Nantes, Les normes des bibliothèques Jean-Marie Martin, Maître de conférences, IUT OGP Nantes,La gestion de production Christian Attiogbé, maître de conférences, Informatique, Nantes, La méthode de spécification formelle B et l'Atelier B Kopp, Présidence de l'Université de Nantes, Les marchés publics en informatique Didier Essamé, Ingénieur, Siemens, Paris, Une étude de cas réelle, Réponse à un appel d'offre (application de la méthode B, B système) Christian Simard, chef de projet, Caisse d'Epargne, La planification de projet, mise ne place, Gestion de configuration C. Tirard, maître de conférences, Centre F. Viète, Nantes, Le concept de gène Marc Christie, Thésard, IRIN, Nantes, Les tests, Gestion de version, Normes de codage Jacques Printz, Professeur, titulaire de la chaire de génie logiciel, CNAM Paris, Les limitations de l'informatique Sébastien Faucou, Thésard, Ircyn, ECN, ATER Iut de Nantes, Le modèle d'Arnold Nivat, model checking, MEC Najid Najib, Maître de conférences, IUT de Nantes,le GRAFCET, tp d'automatismes Dominique Cornut, Direction Générale des Impôts, Sur les unités d’œuvre dans les clauses particulières des marchés relatives au développement de logiciels Bernard Remaud, Directeur de l’Ecole Polytechnique de l’Université de Nantes, Du désir de cathédrale à la cathédrale modélisée: histoire de la modélisation Thierry Verdier, Informaticien au Conseil Général de Loire Atlantique, La gestion d’un parc de micro-ordinateurs Jacques Arsac, professeur émérite Univ. P.M. Curie, Correspondant de l’Académie des sciences, L’informatique et les rapports entre forme et sens Jean Bézivin, professeur Faculté des sciences de Nantes,L'OMG, Normes en Objet Jean-Raymond Abrial, Consultant Marseille, Le futur de la méthode B Guy Pierrra, LISI, ENSMA, Poitiers et d’autres…

DESS Génie logiciel