http://get-the.net/ 2026-04-15T18:10:39+02:00 http://get-the.net/ http://get-the.net/lib/images/favicon.ico text/html 2010-11-09T20:53:20+02:00 http://get-the.net/doku.php?id=m2ilc:aloo&rev=1289332400&do=diff * --table de matières et quelques résumés et définitions choisis de ce texte recommandé. * * * * Notes de nov. 2002 text/html 2010-10-06T11:30:37+02:00 http://get-the.net/doku.php?id=m2ilc:coq&rev=1286357437&do=diff Pré-requis * M1 Informatique : Sémantique et spécifications algébriques * M1 Informatique : Ingénierie de la preuve Contenu * Critères de qualité d'un système logiciel et enjeux de la certification. Exemples avec les langages et ateliers VDM, Z, B, UML... * Certification assistée par ordinateur avec Coq. * Compléments sur le langage, les tactiques et les librairies. * Techniques de définition de types et stratégies de preuves. * Pré et post-conditions, invariants, gestion … text/html 2011-02-08T18:09:48+02:00 http://get-the.net/doku.php?id=m2ilc:coq_2&rev=1297184988&do=diff Rappels Coq Prédicats inductifs boolProp Exemple : parité Inductive even:nat -> Prop:= | even_0: even 0 | even_SS: forall m:nat, even m -> even(S(Sm)) Definition even n:= div2 n = div2(Sn) Une autre façon de définir even (croisée avec odd): text/html 2011-02-08T18:47:28+02:00 http://get-the.net/doku.php?id=m2ilc:coq_3&rev=1297187248&do=diff Après présentation du sujet du projet... Inductive le (n:nat) : nat -> Prop := le_n : le n n | le_S: forall m:nat le n m -> le n (S m). Avec ça, prouvons que Lemma toto : forall n:nat, le n 1 -> n=1 \/ n=0. Proof. intros. (* n:nat H: le n 1 *) On sait le n 1, donc, de deux choses l'une : text/html 2010-10-08T14:08:57+02:00 http://get-the.net/doku.php?id=m2ilc:design_pattern_template&rev=1286539737&do=diff Design Pattern Template * What does the design pattern do? * What is its rationale and intent? * What particular design issue or problem does it address? text/html 2010-10-08T14:44:03+02:00 http://get-the.net/doku.php?id=m2ilc:design_patterns&rev=1286541843&do=diff Contents * Introduction * What is a Design Pattern? “Each pattern describes a problem which occurs over and over again in our environment, and then describes the core of the solution to that problem, in such a way that you can use this solution a million times over, without ever doing it the same way twice.” In general, a pattrn has four essential elements * The pattern name * The problem describes when to apply the pattern * The solution describes the elements that make up th… text/html 2010-10-08T14:59:47+02:00 http://get-the.net/doku.php?id=m2ilc:dp_visitor&rev=1286542787&do=diff Intent Represent an operation to be performed on the elements of an object structure. Visitor lets you define a new operation without changing the classes of the elements on which it operates. Motivation Applicability Appliquer le motif Visitor lorsque : text/html 2010-09-11T10:12:58+02:00 http://get-the.net/doku.php?id=m2ilc:droit&rev=1284192778&do=diff Contenu, selon la page officielle de la fac... " Les enseignements sont axés sur les nouvelles technologies de l'information et de la communication. A partir des textes applicables et de la jurisprudence, ils portent sur l'ensemble des questions juridiques liées à l'informatique et à l'Internet. Les enseignements sont pratiques, ils se déroulent autour d'études de cas ou de mises en situation et la pédagogie est fondée sur l'autonomie et l'interactivité." text/html 2010-10-06T13:57:42+02:00 http://get-the.net/doku.php?id=m2ilc:droit_1&rev=1286366262&do=diff Règles Règle à l'égard des autres, pas de soi-même; s'applique à tous. Sanctions Sanctions peuvent être de trois sortes * civile : réparation d'un préjudice * pénale : peine d'emprisonnement * peine d'amende (à l'état, pas aux victimes) text/html 2011-03-14T20:25:08+02:00 http://get-the.net/doku.php?id=m2ilc:fouille_dist&rev=1300130708&do=diff Données Réparties * <mailto:hubert.naacke@lip6.fr> * * * Notes de cours * * Propositionalisation et Apprentissage de Règles text/html 2011-03-11T10:28:29+02:00 http://get-the.net/doku.php?id=m2ilc:fouille_dist_2&rev=1299835709&do=diff " " Préambule : Exemple Netflix * -- fiche de lecture * Lecture complémentaire : * Brewer's 2000 Talk : * Gilbert and Lynch's proof : Netflix : utilisation de S3 en high availability * avantage et inconvénients * application de recommandation text/html 2011-05-10T12:46:29+02:00 http://get-the.net/doku.php?id=m2ilc:fouille_dist_fiche&rev=1305024389&do=diff Comment peut un grand spécialiste de location par correspondance nord américain croître sa capacité de gestion de la relation par Internet sans agrandir ni multiplier son centre de traitement informatique ? Et pourquoi préfère-t-il ne pas agrandir sa capacité propre de traitement ? text/html 2011-05-10T17:55:20+02:00 http://get-the.net/doku.php?id=m2ilc:fouille_dist_tp_rapport&rev=1305042920&do=diff étudiants M2ILC FRIGUI Rassil LANSELLE Maurice Question 1) Aperçu des données * On s'intéresse maintenant aux données D1. Lire le README et comprendre la structure des fichiers plats movies.dat, users.dat et ratings.dat * a) Quel est le nombre moyen de notes par utilisateur ? * b) En moyenne quel est le pourcentage de films notés par un utilisateur ? text/html 2010-09-11T09:56:39+02:00 http://get-the.net/doku.php?id=m2ilc:optim&rev=1284191799&do=diff Evolution artificielle et optimisation de systèmes complexes' Pré-requis Avoir acquis l'UE “Optimisation stochastique” du M1. Contenu Unification des algorithmes évolutionnaires. Evolution artificielle avancée pour les problèmes combinatoires (hybridation avec recherche locale) et continus. Algorithmes multicritères (NSGA-II,...). text/html 2011-06-07T19:15:43+02:00 http://get-the.net/doku.php?id=m2ilc:parallelisme&rev=1307466943&do=diff Applications Distribuées * Prof. Stéphane Genaud * Prof. Stéphane Vialle pour sa page perso, et page avec supports spécifique à notre cours. * * " Objectif : connaître les technologies disponibles pour réaliser des traitements (et stockage?) informatiques répartis." text/html 2011-04-10T15:04:11+02:00 http://get-the.net/doku.php?id=m2ilc:parallelisme_mpi&rev=1302440651&do=diff TP MBI Nous avons expérimenté l'utilisation des protocoles MPI pour un problème de multiplication de matrices. énoncé La stratégie de parallélisation était de distribuer des blocs contigu de lignes et de colonnes, puis faire circuler les colonnes de façon ordonnée pour que chaque processus garde son bloc de lignes et traite (reçoive et transmette) chaque bloc de colonnes une seule fois (moins 1 pour les transmissions). Les blocs de colonnes étaient transposés pour optimiser l'exploitation d'a… text/html 2011-05-13T09:05:39+02:00 http://get-the.net/doku.php?id=m2ilc:qualite&rev=1305270339&do=diff M. Jean-Marc Jehl * * * * * * text/html 2010-11-12T14:23:44+02:00 http://get-the.net/doku.php?id=m2ilc:qualite_1&rev=1289568224&do=diff " Exercice interactif : aller de Strasbourg à Paris. Quelles questions faut-il poser pour établir un cahier de charges suffisant?" un produit ou service de qualité est un produit dont les caractéristiques lui permettent de satisfaire les besoins exprimés ou implicites des consommateurs. Par conséquent, un système d'information de qualité se juge text/html 2010-11-12T12:19:24+02:00 http://get-the.net/doku.php?id=m2ilc:qualite_2&rev=1289560764&do=diff 12 novembre MMX * Projets * Différents modèles de développement * Besoins Rappels sur le cours précédent Rappel : un produit ou service de qualité est un produit dont les caractéristiques lui permettent ... contrôle ISO 9001 * Démontrer l'aptitude à fournir régulièrement un porduit onforme aux exigence du client et aux exigence réglementaires applicables. * Chercher à accroître la satisfaction des clients... text/html 2011-01-14T12:01:21+02:00 http://get-the.net/doku.php?id=m2ilc:qualite_3&rev=1295002881&do=diff Les activités et documents de validation Le cycle en V A Plan B besoins F tests G Rapport mise en production maintenance retrait données C conception E tests D construction Les rôles et responsabilités -pour un système Propriétaire du système : c'est le “client final” -- celui qui repésente les utilisateurs, et l'utilisation du système. Il sera responsable de “ce qu'on fait avec le système” -- des résultats et données contenues dans le système. C'est l'appro… text/html 2011-02-11T10:16:17+02:00 http://get-the.net/doku.php?id=m2ilc:qualite_4&rev=1297415777&do=diff définition il (le logiciel ou système) entame sa phase de maintenance ou d'utilisation ;; il est accessible aux divers utilisateurs * il remplit l'utilisation pour laquelle il a été conçu * phase de production peut être plus ou moins longue * puis il peut y avoir une période de retraitz text/html 2011-05-13T10:44:45+02:00 http://get-the.net/doku.php?id=m2ilc:qualite_6&rev=1305276285&do=diff Annexe 11 -- EU GMPs (Pharmas Européenne) * L'annexe 11 est le texte réglementaire de référence pour les bonnes pratiques de fabrication (industrie pharma). * elle a été récemment modifiée * texte très court : 2,5 pages * implications sont potentiellement grandes text/html 2010-09-16T11:39:21+02:00 http://get-the.net/doku.php?id=m2ilc:sd_1&rev=1284629961&do=diff Applications Distribuées 1 Voir : slides , sachant qu'on navigue avec ⇑ et ⇓ (css=slides). slides reformattés Mes gribouillages * Introduction * RMI * Web Services (SOAP) * REST * JSON * MPI (parallèle par passage de messages) : adaptée aux gros calculs * MapReduce : très spécialisée, promue par Google pour son moteur de recherche; adaptée aux grosses données * JXTA (pair-à-pair), d'un intérêt et d'un avenir discutables text/html 2010-09-16T11:59:05+02:00 http://get-the.net/doku.php?id=m2ilc:sd_intro&rev=1284631145&do=diff Stéphane Genaud Thèmes abordés Les thèmes que recouvre “Applications distribuées”: toutes les tentatives de faire participer des machines distantes à un traitement informatique. * système d'échange de messages, * systèmes d'exploitation distribués * applications réparties/parallèles text/html 2010-11-17T15:56:19+02:00 http://get-the.net/doku.php?id=m2ilc:semestre_3&rev=1290005779&do=diff Toutes ces Modules d'Enseignement Volume horaire Qualité et ERP 36 h Certification du logiciel 24 h Vie professionnelle * Sécurité des systèmes d'information * Droit * 18 h 18 h + 25 h Parallélisme, systèmes distribués et grille 36 h, dont TD : 24 h Cours : 12 h Analyse et architecture logicielle orienté objet 36 h, dont TD : 18h Cours : 18h Fouille de données réparties 36 h, dont TP : 12h Cours : 24h Projet recherche ou professionnalisant par équipes de 4-5 personnes … text/html 2010-10-04T13:52:59+02:00 http://get-the.net/doku.php?id=m2ilc:ssi&rev=1286193179&do=diff Sécurité des systèmes d'information * Etat de l'art : définitions, principes, gestion du risque, normes. * Méthodologies : CRAMM, MARION, MEHARI, MELISSA, ISO 17799. * Droit : les lois (Godfrain, Informatique et liberté), la jurisprudence. * Programmation sécurisée : étude de cas (bug de format, débordements, injection...), et normes d'évaluation TSEC, ITSEC, ISO15408. * Techniques d'intrusion. * Contrôle “continu” final text/html 2010-10-07T13:22:43+02:00 http://get-the.net/doku.php?id=m2ilc:ssi_1&rev=1286450563&do=diff Système d'information * comprend l'informatique, mais aussi * papier * personnel Sécurité des systèmes d'information * évolue (surtout depuis Internet) * vaste * informatisation globale Origines November 1988 : ver Morris => CERT créé text/html 2010-12-09T14:13:00+02:00 http://get-the.net/doku.php?id=m2ilc:ssi_2&rev=1291900380&do=diff Introduction Technique permettant de dissimuler un message. Terminologie d'abord : WikiPedia:Cryptologie Méthodes historiques * Transposition * Substitution * substitution polyaphabétique Chiffrement symétrique * DES (1975, IBM). Standard de 1977 à 1997: longueur de clef devient insuffisante vis à vis de la puissance de calcul disponible. Dans un premier temps, triple DES mate les brèches, et un concours est lancé pour trouver un successeur. * AES (1998) : clef à 128 bits… text/html 2011-06-27T17:01:05+02:00 http://get-the.net/doku.php?id=m2ilc:ter&rev=1309186865&do=diff Dans le cadre de la gestion et du suivi des stages des apprentis en entreprise, la plateforme CLE (Cahier de Liaison Electronique) a été développée. La première version date de deux ans environ. La dernière bien qu'ayant corrigé un grand nombre de « bugs » comporte encore un certain nombre soit de limites soit d'erreurs ;-) Le but de ce projet est multiple. Il s'agit : text/html 2010-11-09T21:14:33+02:00 http://get-the.net/doku.php?id=m2ilc:uml_2002&rev=1289333673&do=diff Reformulation des besoins--à partir d'un cahier de charges texte--en diagrammes UML. 1. Identifier le contexte du système (“détournement” collaboration diagramme) * Système (à libeller) : un rectangle conteneur * Actor : “stick figure” * Actor (autre système) : boîte avec nom de l'acteur/système entre guillemets * Flux symbolisés par flêches * flux entrants: évènement système text/html 2010-11-08T17:50:46+02:00 http://get-the.net/doku.php?id=m2ilc:uml_exo_4&rev=1289235046&do=diff Exo 4 Modéliser un système permettant d'effectuer un virement bancaire (avec contrôle d'identité) distant (via internet ou un minitel) ou local (directement à l'agence). Pour cela il faut: * Déterminer les acteurs et les relations d'héritage entre acteurs (si nécessaire) * Déterminer les use cases * Déterminer les relations entre acteurs et Use cases * Déterminer les relations entre les différents use cases * Si VB (distant ou local) > 1000 Euros vérifier le CB et si VB > 1000000 eu… text/html 2010-11-09T15:38:40+02:00 http://get-the.net/doku.php?id=m2ilc:uml_exo_regulateur&rev=1289313520&do=diff Exercice-(Le régulateur de vitesse) * Le régulateur est un dispositif qui permet de maintenir un véhicule à vitesse constante sans que le conducteur ait besoin d'intervenir * Le conducteur peut demander le maintien de la vitesse actuelle àl'aide d'une pression sur le levier situé sur le tableau de bord * Lorsqu'il freine le régulateur s'arrête * Lors d'une accélération son fonctionnement est court-circuité jusqu'à la relâche de la pédale * La régulation se fait par ouverture ou fermet… text/html 2010-11-10T14:04:52+02:00 http://get-the.net/doku.php?id=m2ilc:uml_jour_2&rev=1289394292&do=diff Basée sur RUP. Analyse/conception adaptée à leur (celui de C-S) métier. a.k.a. UML-NEPTUNE Requirements Analysis Deux type d'acteurs, * external entity (fournisseurs de données, notamment) * active actor : interagit avec le système On recense les acteurs, et les classe. On va les décrire par text/html 2011-07-06T14:29:46+02:00 http://get-the.net/doku.php?id=m2ilc:web&rev=1309955386&do=diff * site du prof * * * * *