Software Engineering SI031 - 6ICI071B

Responsable(s)p

#rpCoordonnées:

Crédits ECTS : Durée:

Mots clés : Pré requis:

ãßëÛ×êí ÚÛèÙçßåéßäãp#rp}#‡ #jpKT$‡ƒr„KGG#†j

ÙKGGƒ>r‡#p

ÙKCT‡#G‡#

×TT†„]w#‡

×Gƒ†ˆj#‡

r#jrp#‡„r ÙKGr‡M†#p ÙKGr„Gw

K‡ƒ†

jKwr#GƒG# T‡K…#r ‡ƒTTK‡r

jˆGr:$r„j#‡

;j[i#Y'¢8¢lhkY

l;'lh44SY[Y;8[8`S

ÌÊÓÕÎÙÎÔÌÎØ

Û}ƒ†w#‡

Îbhk`h[i;8S

Acquprir les bases techniques et thporiques npcessaires j une comprphension approfondie des mpthodes de conception de logiciels.

Acquprir les connaissances et les compptences essentielles sur les mpthodologies et les outils de dpveloppement de logiciels.

Concepts avancps de la programmation object Programmation

Gestionnaire de versions Tests unitaires

Systèmes de build 2

Génie logiciel, conception objet, méthodes agiles, programmation, qualité du logiciel

21 heures

Savoir programmer en Java, module Bootcamp

Pierre-Etienne MOREAU, Professeur pierre-etienne.moreau@univ-lorraine.fr

S7

La notion de Lean Software Development. Les différents environnements de programmation. Les outils permettant de mettre en place des méthodes agiles

L'intérêt des méthodes de développement et de gestion de projet L'intérêt des outils d'automatisation

Savoir utiliser un gestionnaire de versions. Savoir écrire et mettre en place des tests unitaires. Savoir mettre en place un système de build

Evaluer la qualité d'un environnement de développement Le besoin de mettre en place des outils d'automatisation

Software Engineering

Responsable(s)p

#rpCoordonnées:

Crédits ECTS : Durée:

Mots clés :

Pré requis:

ãßëÛ×êí ÚÛèÙçßåéßäãp#rp}#‡ #jpKT$‡ƒr„KGG#†j

ÙKGGƒ>r‡#p

ÙKCT‡#G‡#

×TT†„]w#‡

×Gƒ†ˆj#‡

jˆGr:$r„j#‡

;j[i#Y'¢8¢lhkY

l;'lh44SY[Y;8[8`S

ÌÊÓÕÎÙÎÔÌÎØ

Û}ƒ†w#‡

Acquérir une compréhension approfondie du fonctionnement d’un système d’exploitation, afin d’en comprendre les limites et les performances et d’être capable de l’exploiter dans un contexte applicatif de plus haut niveau Les séances de TD mettront l’accent sur la programmation et l’utilisation des systèmes de type Linux/Unix.

Thèmes abordés :

• Architecture et rôle d’un système d’exploitation ; systèmes monolithiques, systèmes à micro-noyau, systèmes hybrides.

• Les processus ; définition, mise en oeuvre, ordonnanceurs, changement de contexte, communication entre processus, synchronisation et accès concurrents, sémaphores.

• La mémoire ; chargement de processus, espace d’adressage, partitionnement de la mémoire, mémoire virtuelle, pagination, segmentation, systèmes de fichiers

• Unix ; historique, description et conception, shell-scripts

• Linux ; description, installation et administration Bibliographie

Andrew Tanenbaum : « Systèmes d'exploitation», éditions Dunod, 2008

Bart Lamiroy , Laurent Najman , Hugues Talbot : « Systèmes d’exploitation », Pearson Education, 2006 2

Architectures matérielles, systèmes d!exploitation, processus, mémoire, concurrence

21 heures

Programmation

Laurent CIARLETTA, Maître de Conférences laurent.ciarletta@univ-lorraine.fr

S7

les éléments constitutifs d'un système d'exploitation, les rôles et fonction de l'OS et de ses divers éléments, les mécanismes sous-tendant la gestion des processus, de la mémoire, des entrées/sorties

les différentes architectures et solutions mises en oeuvre par l'OS qui permettent le développement d'applications en adéquation avec les caractéristiques physiques du système

Entrées-sorties avec les systèmes de fichier, avec le réseau, interactions avec l'utilisateur, synchronisation et partage de mémoire entre processus, entre applications. Projet fil rouge en lien avec le cours Networks Outils de débogage, mesure de performances

Operating System - Système d'exploitation SI032 - 6ICI072

Conception, réalisation et évaluation d'une application sur un système donné.

Les choix d'OS et des bibliothèques associées pour la mise en place d'une solution

Connaissance et pratique approfondie du fonctionnement d!un système d!exploitation

PARCOURS ORGABNISATION DE L'INFORMATION ET DES PROCESSUS & ARCHITECTURE DES SYTEMES SURS

Responsable(s)p

#rpCoordonnées:

Crédits ECTS : Durée:

Mots clés :

Pré requis:

ãßëÛ×êí ÚÛèÙçßåéßäãp#rp}#‡ #jpKT$‡ƒr„KGG#†j

ÙKGGƒ>r‡#p

ÙKCT‡#G‡#

×TT†„]w#‡

×Gƒ†ˆj#‡

r#jrp#‡„r ÙKGr‡M†#p ÙKGr„Gw

K‡ƒ†

jKwr#GƒG# T‡K…#r ‡ƒTTK‡r

jˆGr:$r„j#‡

;j[i#Y'¢8¢lhkY

l;'lh44SY[Y;8[8`S

ÌÊÓÕÎÙÎÔÌÎØ

Û}ƒ†w#‡

Îbhk`h[i;8S

Cycle de vie du logiciel, modèle en V, en spirale, méthodes agiles Rôle des spécifications,

Analyse des risques, identification des problèmes, Le langage UML

- diagramme de cas d'utilisation - diagramme de classe

- diagramme de collaboration - diagramme d'intéraction - diagramme de séquence - diagramme d'états-transitions

Mise en oeuvre d'un projet de grande taille

- conception, spécification et mise en oeuvre de deux itérations 2

Cycle de vie du logiciel, Conception orientée par le modèle, UML

21 heures

Un langage de programmation orienté objet, collections et généricité

Guillaume KE&Ed, Maître de Conférences guillaume.bonfante@mines.univ-lorraine.fr

S7

La notion de cycle de vie du logiciel, méthode de développement La notion de modèle informatique - La notion de spécification Les diagrammes UML : - leur emploi, leur intérêt, - leur sémantique

Développement de projet orienté par le modèle La méthode de développement agile

La difficulté du problème, le risque, les questions prioritaires de développement. Les spécifications, les choix de représentation et leur conséquences pour l'implémentation. Modularité du code.

Model Driven Architecture and UML SI033 - 6ICI073B

✔ ✔

Un plan de conception de projet orienté par le modèle

La difficulté d'une tâche,

L'ordonnancement des opérations

Comprendre la notion de modèle, être capable de travailler sur un projet important

PARCOURS ORGABNISATION DE L'INFORMATION ET DES PROCESSUS & ARCHITECTURE DES SYTEMES SURS

Responsable(s)p

#rpCoordonnées:

Crédits ECTS : Durée:

Mots clés : Pré requis:

ãßëÛ×êí ÚÛèÙçßåéßäãp#rp}#‡ #jpKT$‡ƒr„KGG#†j

ÙKGGƒ>r‡#p

ÙKCT‡#G‡#

×TT†„]w#‡

×Gƒ†ˆj#‡

jˆGr:$r„j#‡

;j[i#Y'¢8¢lhkY

l;'lh44SY[Y;8[8`S

ÌÊÓÕÎÙÎÔÌÎØ

Û}ƒ†w#‡

Il s'agit d'acquérir une compréhension générale du fonctionnement d’un réseau de communication, afin d’en comprendre les limites et les performances et d’être capable de l’exploiter dans un contexte applicatif de plus haut niveau.

Ce cours combine l’étude plus théorique de la famille de protocoles TCP/IP avec des séances de TD qui mettront l’accent sur la configuration de réseaux pour le routage, la programmation d’applications client-serveur ou la mise en place de services sous TCP/IP.

Thèmes abordés

• Réseaux ; introduction, types de réseaux, notion de protocole, modèle en couches

• Réseaux TCP/IP ; protocoles ARP, IP, ICMP, TCP, UDP, multicast, routage, programmation client/serveur

• Services ; DNS, HTTP, SMTP, NIS, LDAP, SNMP Biblographie :

Kurose and Ross, Computer Networking: A Top-Down Approach: International Edition, Pearson 2012 Tanenbaum, Computer Networks: International Edition, Pearson 2010

Pujolle et Salvatori, les réseaux, Eyrolles, 2010 2

Réseaux, protocoles

21 heures

Notions de programmation, de système

Laurent CIARLETTA, Maître de Conférences laurent.ciarletta@univ-lorraine.fr

S7

Les concepts fondamentaux des réeaux : protocoles, des applications aux couches physiques, le routage

Les contraintes physiques et architecturaux des systèmes en réseau, l'évaluation et la prise en compte de la qualité de service (QoS), les enjeux techniques, scientifiques, économiques et sociétaux

Configuration de réseaux, des noeuds aux routeurs, écriture et conception d'applications (clients-serveurs, P2P, distribuées), projet fil rouge en lien avec le cours Operating Systems

Architecture et performances (QoS) des réseaux et des applications distribuées

Networks

SI034-6ICI074

Conception, réalisation et évaluation d'une application fil rouge intégrant de multiples fonctionnalités

Les enjeux, la pertinence et les risques associés aux choix de services et technologies réseaux pour répondre à un besoin donné par une solution distribuer.

Connaissances théoriques et pratiques des réseaux informatiques et leurs applications

PARCOURS ORGABNISATION DE L'INFORMATION ET DES PROCESSUS & ARCHITECTURE DES SYTEMES SURS

Responsable(s)p

#rpCoordonnées:

Crédits ECTS : Durée:

Mots clés : Pré requis:

ãßëÛ×êí ÚÛèÙçßåéßäãp#rp}#‡ #jpKT$‡ƒr„KGG#†j

ÙKGGƒ>r‡#p

ÙKCT‡#G‡#

×TT†„]w#‡

×Gƒ†ˆj#‡

r#jrp#‡„r ÙKGr‡M†#p ÙKGr„Gw

K‡ƒ†

jKwr#GƒG# T‡K…#r ‡ƒTTK‡r

jˆGr:$r„j#‡

;j[i#Y'¢8¢lhkY

l;'lh44SY[Y;8[8`S

ÌÊÓÕÎÙÎÔÌÎØ

Û}ƒ†w#‡

Îbhk`h[i;8S

Théorie des langages -Automates d'états finis

-Langages réguliers, théorème de Kleene, lemme de la pompe - Automates à piles et machine de Turing

- langages algébriques, ambiguité, grammaires LR, LL, RR - Décidabilité

Sémantique

- Compilation, interprétation

- Sémantiques opérationnelles, axiomatiques, dénotationnelles - Compilation

- analyse lexicale, syntaxique, arbre de syntaxe abstrait - application à un langage cible e.g. X86

- Modèle de la mémoire, et optimisation de code 4

automates, grammaire, sémantique, calculabilité, compilation

42 heures

bonne maitrise d'un langage de programmation, mathématique

Jean-Yves DZ/KE, Professeur, Guillaume KE&Ed, Maître de Conférences jean-yves.marion@mines.univ-lorraine.fr, guillaume.bonfante@univ-lorraine.fr

S7

Les concepts fondamentaux de l'informatique comme les langages, la calculabilité, l'indécidabilité, le théorème de Rice, la sémantique, la compilation

Le lien entre langages et automates

La notion de configuration, de sémantique opérationnelle 'small-step', 'big-step' La sémantique opérationnelle à un compilateur

Un langage informatique, sa sémantique

Informatique fondamentale, sémantique

SI041/43 6ICI081/83

✔ ✔

Un compilateur

Concepts fondamentaux de l'informatique, compilation

PARCOURS ORGABNISATION DE L'INFORMATION ET DES PROCESSUS & ARCHITECTURE DES SYTEMES SURS

Responsable(s)p

#rpCoordonnées:

Crédits ECTS : Durée:

Mots clés : Pré requis:

;j[i#Y'¢8¢lhkY

l;'lh44SY[Y;8[8`S

Le métier de chef de projet et les relations avec les décisionnaires. Travail du DSI et obligation de l'alignement de la stratégie informatique sur celle de l'entreprise. Mise en œuvre d’un plan stratégique SI, comment celui-ci est au centre de l’entreprise servant d’interface entre les métiers et le système d’information ? Rôle et implication des équipes de Production.

Faire de l’informatique c’est la nécessité de relations contractuelles avec des clients et fournisseurs : nécessité d’une bonne définition juridique des contrats, les obligations de cahiers des charges, recettes, de conseils et bonnes pratiques au sens du droit. Aspect social de la relation managériale : présentation des organisations patronales, de leurs mandats sociaux et de l’interaction avec les organisations syndicales dans la gestion de ces mandats.

Les gros projets doivent être encadrés par une méthodologie : présentation de la norme CMMI et plus généralement des référentiels à utiliser suivant les objectifs.

4

système d'information, métiers de l’ingénieur, métiers de l'entreprise

42 heures

Aucun

Pascal VAXIVIERE, Maître de Conférences pascal.vaxiviaire@univ-lorraine.fr

Information Systems Lifecycle S9

SI052 - 6ICI092A

Couvrir différents aspects des métiers de l'ingénieur

PARCOURS ORGABNISATION DE L'INFORMATION ET DES PROCESSUS & ARCHITECTURE DES SYTEMES SURS

Responsable(s)p

#rpCoordonnées:

Crédits ECTS : Durée:

Mots clés : Pré requis:

ãßëÛ×êí ÚÛèÙçßåéßäãp#rp}#‡ #jpKT$‡ƒr„KGG#†j

ÙKGGƒ>r‡#p

ÙKCT‡#G‡#

×TT†„]w#‡

×Gƒ†ˆj#‡

r#jrp#‡„r ÙKGr‡M†#p ÙKGr„Gw

K‡ƒ†

jKwr#GƒG# T‡K…#r ‡ƒTTK‡r

jˆGr:$r„j#‡

;j[i#Y'¢8¢lhkY

l;'lh44SY[Y;8[8`S

ÌÊÓÕÎÙÎÔÌÎØ

Û}ƒ†w#‡

Îbhk`h[i;8S

Sécurité informatique - Crytographie, - Controle d'accès, - Protocoles

- Codes malveillants Sûreté du logiciel

- Etat de l'art de la discipline - Model-Checking

- TLA

-Preuve automatisée

Un projet en sécurité et un projet en sûreté du logiciel 4

sécurité, confidentialité, intégrité, cryptographie, model-checking, sûreté, logique temporelle

42 heures

Guillaume BONFANTE, Maître de Conférences guillaume.bonfante@univ-lorraine.fr

S9

les risques des systèmes informatiques, les différents types d'attaque de ces systèmes, les méthodes de protection, leur limite, la question de la sûreté, le lien avec la sécurité

Comprendre les enjeux de la sécurité et comprendre les méthodes de protection Le model-checking, le langage TLA, le lien entre modélisation et sûreté

Analyse et mise en oeuvre des méthodes liées à la sécurité informatique Vérification de systèmes

Risques d'attaque, la fragilité des systèmes, les portes d'entrées, les coûts des défaillances

Risques des systèmes d'information

SI053 - 6ICI093A

✔

Modèles de systèmes informatiques, spécifications algébriques et vérification La question de la sécurité et de la sûreté des systèmes informatiques

PARCOURS ORGABNISATION DE L'INFORMATION ET DES PROCESSUS & ARCHITECTURE DES SYTEMES SURS

Dans le document Syllabus Formation Ingénieur civil des mines de nancy (Page 133-141)