https://get-the.net/ 2026-07-28T03:49:37+02:00 https://get-the.net/ https://get-the.net/lib/images/favicon.ico text/html 2009-12-29T15:43:14+02:00 https://get-the.net/doku.php?id=m1ilc:fouille_1&rev=1262097794&do=diff Introduction Motivations * Il y a des questions, des prémisses de décisions, que l'humain a besoin ou envie (économique) de traiter; * Ces “études” peuvent impliquer des quantités de données et besoins en calcul énormes; * La technologie permet économiquement de faire des traitements qu'on ne pouvait pas faire il y a peu d'années. * De quoi a-t-on besoin ? Extraire des connaissances intéressantes et utiles à partir des text/html 2009-12-29T13:33:07+02:00 https://get-the.net/doku.php?id=m1ilc:edid_td_3&rev=1262089987&do=diff Tutoriel d'exploration de données Module 1 : modèle d'association Recherche de relations dans vos données à l'aide d'un modèle d'association " Un modèle d'association recherche des schémas dans vos données en décernant des associations entre des articles. Un modèle d'association recherche ces schémas en appliquant la formule “Les clients qui achètent le produit A achètent aussi le produit B.” " text/html 2011-05-10T17:55:20+02:00 https://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 2011-05-13T10:44:45+02:00 https://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 2009-12-14T17:23:09+02:00 https://get-the.net/doku.php?id=m1ilc:edid&rev=1260807789&do=diff Prof Site H.Cours H.TP H.TD ECTS M. Nicolas LACHICHE Site du cours 12h 12h 3 Pre-requis Connaissances de base en informatique et en programmation ; base de données relationnelles (niveau L3). Contenu Entrepôts de données complexes, cubes de données complexes, performances, réutilisation de techniques de fouilles de données dans le processus décisionnel... Architecture n-tiers. Navigation, interrogation et indexation. Outils d’analyse de données (OLAP). Entrepôt de données.… text/html 2010-02-08T09:08:11+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_td_1&rev=1265616491&do=diff Raisonner pour programmer Où l'on cherche à exprimer formellement un problème et à établir les liens entre les différentes formes d'énoncés. Quelques problèmes classiques Pour chacun des problèmes suivants : * Préciser données et résultat * Écrire un énoncé qui qualifie le résultat * Écrire un énoncé qui définit le résultat * Écrire un programme impératif en langage C. text/html 2011-01-14T12:01:21+02:00 https://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 2010-01-28T14:01:57+02:00 https://get-the.net/doku.php?id=m1ilc:lattices&rev=1264683717&do=diff Travail Encadré de Recherche Synoptique Enseignant Site/Liens Cours TD TP ECTS Mme. Florence Le Ber Mme. Agnès Braud 6 Objectifs Treillis de Galois pour données complexes, adaptation d'algorithmes existants et mise en oeuvre sur un exemple de donnée Sujet Le LHyGeS (Laboratoire d'Hydrologie et de Géochimie de Strasbourg) est un laboratoire pluri-disciplinaire où sont notamment menées des recherches sur la problématique de l'évaluation de l'état écologique des cours d'eau. Da… text/html 2010-02-06T18:59:27+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_1&rev=1265479167&do=diff Fondements de la programmation Un objectif de ce cours est de découvrir sur quoi repose la programmation en se basant sur l'étude des programmes et des langages. Les langages révèlent des modes de programmation. Mais qu'est-ce qu'un mode de programmation? text/html 2011-04-10T15:04:11+02:00 https://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-10T12:46:29+02:00 https://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 2010-02-18T13:32:12+02:00 https://get-the.net/doku.php?id=java:nary&rev=1266496332&do=diff L'extraction de concepts par treillis de Galois sur les relations binaires peut être vu comme une spécialisation d'une procédure d'élaboration des intents et extents plus générale. Les Données en Entrée Relation Binaire Lorsqu'on traite un contexte binaire, chaque objet est décrit par la liste de ses attributs, soit sous forme de liste, soit sous forme d'un vecteur binaire ou logique indiquant pour chaque attribut présence ou absence. Les opérations de fermeture sont intersection pour les i… text/html 2009-11-16T19:36:02+02:00 https://get-the.net/doku.php?id=m1ilc:compil_9&rev=1258396562&do=diff VI. Optimisation du Code Intermédiaire Introduction La phase d'optimisation de code prend en entrée du code intermédiaire et retourne en sortie du code intermédiaire “optimisé.” Elle a lieu avant la phase de génération de code. Donc, les optimisations qui sont réalisées sont indépendantes de la machine cible. La plupart de ces optimisations concernent les boucles car généralement ceux sont ces parties du code qui sont les plus consommatrices de temps CPU. text/html 2009-12-19T15:18:55+02:00 https://get-the.net/doku.php?id=m1ilc:fouille_tp&rev=1261232335&do=diff TP Clustering Introduction K-Means Clustering Exercice 2.2 Dans le premier résultat, on lit : Class attribute: play Classes to Clusters: 0 1 2 <-- assigned to cluster 1 3 5 | yes 1 3 1 | no Cluster 0 <-- No class Cluster 1 <-- no Cluster 2 <-- yes Or, les clusters portent des labels “yes”, “no”, et “No class”. Le cluster #1 contient 3 des 5 “no”, le cluster #0 contient 5 des 9 “yes” : ces clusters contienent des majorités des instances de ces deux classes et se voient attr… text/html 2009-10-09T18:44:50+02:00 https://get-the.net/doku.php?id=m1ilc:compil_1&rev=1255106690&do=diff Introduction Le problème : Homme et machine n'utilisent pas la même langage. Homme Machine langage de programmation langage machine basé s/ modèles mathématiques reflète architecture matérielle Structuration, modularité au niveau binaire, manipulation de registres => besoin de réaliser la traduction d'un langage source vers un langage cible. text/html 2010-05-27T21:39:41+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_a&rev=1274989181&do=diff Les types sont des éléments importants dans la construction des programmes. Dans cette partie, nous présentons un cadre qui permet de définir formellement les types et les opérations sur les objets de ces types. Ce cadre est celui des spécifications algébriques. text/html 2011-01-13T20:47:47+02:00 https://get-the.net/doku.php?id=projet_dch:20_dec_2010&rev=1294948067&do=diff Salut ! Présents * P. Gançarski * A. Shakour * M. Lanselle Donc pour la réunion: Le site du clé est composé de trois parties: * La formation * Les CLEs (devrait correspondre à une catégorie d'utilisateur, mais correspond actuellement à une année, une formation est attaché à un CLE) * Les utilisateurs text/html 2010-01-01T12:40:57+02:00 https://get-the.net/doku.php?id=m1ilc:fouille_7&rev=1262346057&do=diff Classification non-supervisé Regroupement et modélisation Ici, le but est de trouver une description compacte permettant de résumer et décrire des objets à partir des données initiales (copieuses). Ceci s'inscrit dans la fouille exploratoire et descriptive et “summarization” . Des approches peuvent être empruntées: text/html 2011-09-26T12:41:36+02:00 https://get-the.net/doku.php?id=mentions_legales&rev=1317033696&do=diff Mentions Légales Editeur Get-the.net est un service de communication au public en ligne édité à titre non professionnel au sens de l'article 6, III, 2° de la loi 2004-575 du 21 juin 2004. Conformément aux dispositions de cet article, son éditeur a choisi de rester anonyme. text/html 2011-03-11T10:28:29+02:00 https://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 2010-11-10T14:04:52+02:00 https://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 2010-07-15T10:41:11+02:00 https://get-the.net/doku.php?id=m1ilc:semestre_1&rev=1279183271&do=diff Cours qu'on a pas eu A la fin de cette première année, on peut constater qu'on nous a parlé d'ordres partiels, de point fixes, de weakest preconditions, de treillis de Gallois, et certainementent d'autres sujets qu'on aurait mieux compris si on avait eu un cour en treillis et ordres avant. text/html 2011-03-14T20:25:08+02:00 https://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 2010-09-16T11:39:21+02:00 https://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-11T10:12:58+02:00 https://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-05-23T11:27:11+02:00 https://get-the.net/doku.php?id=m1ilc:bioinfo_3&rev=1274606831&do=diff Objectifs de la Recherche de Motifs Biologiques L'objectif de la détermination de génomes complets--d'organismes simples ou complexes-- est de permettre l'identification de principes et lois apportant à la biologie les bases nécessaires pour une science quantitative ét prédictive. text/html 2010-01-03T12:02:19+02:00 https://get-the.net/doku.php?id=m1ilc:fouille_2&rev=1262516539&do=diff Réseaux de Neurones 1. Introduction Fonctions d'activation * seuil : f(s) = 0 si s <= k, f(s)=1 si s>k. On dit qu'on a un réseau neuronal vraiment symbolique * linéaire : f(s) = -1 si s <= -1/k, 1 si s > 1/k, k*s ailleurs * sigmoide : . Si k est grand, f(s) est proche de 0 ou de 1 pour presque toutes les valeurs de s. On dit qu'on a un réseau neuronal relativement symbolique * ou autre : gaussienne, à valeurs discrètes, etc; text/html 2010-01-02T11:45:27+02:00 https://get-the.net/doku.php?id=m1ilc:fouille_4&rev=1262429127&do=diff Arbres de Décision Intérêts Le grand intérêt des arbres de décision est qu'ils combinent l'approche logique et l'approche statistique, pour donner un modèle expressif et lisible flou (c'est à dire, probabiliste et non déterministe). Ainsi ils produisent un modèle qui peut être traduit sous forme de règles, exprimant une conditionnalité complexe (avec disjonctions) des valeurs discrètes à prédire. text/html 2010-01-10T12:30:37+02:00 https://get-the.net/doku.php?id=m1ilc:fain_td2&rev=1263123037&do=diff TD2 Remplissage Tracer un disque On supposera disposer d'une fonction SegHori(x1, x2, y) trançant un segment horizontal. Ecrire un algorithmes qui n'utilise que des opérations sur les entiers pour tracer un disque (constitué de pixels à l'intérieur d'un cercle). text/html 2010-05-19T10:54:25+02:00 https://get-the.net/doku.php?id=m1ilc:preuves_4&rev=1274259265&do=diff Structures de données Types inductifs Coq est basé sur un formalisme appelé Calcul des Constructions avec types Inductifs. Deux points de vue possibles: * On se donne les entiers. * On se donne les types inductifs en général (les entiers sont un cas particulier). text/html 2011-05-19T21:50:10+02:00 https://get-the.net/doku.php?id=projet_dch:transactions&rev=1305834610&do=diff L'application sert à gérer des documents fournis par les utilisateurs, à partir de documents squelette fourni par l'administrateur, selon un calendrier de rendu, et avec une gestion de qui fourni quel document quand, qui note quel document quand. Donc, il est fondamentale d'avoir la possibilité text/html 2009-12-30T13:23:14+02:00 https://get-the.net/doku.php?id=m1ilc:fouille_de_donnees&rev=1262175794&do=diff Fouille de Données Prof Site Cours TP TD ECTS M. Gançarski <http://dpt-info.u-strasbg.fr/~gancars/> 12h 12h 3 Contenu Introduction à l’extraction de connaissances à partir de données, Extraction de règles. Arbres de décision. Evaluation de l’apprentissage. Classification non-supervisée et extraction de concepts. Apprentissage statistique et modèle bayésien naïf. Réseaux de neurones. Machines à vecteurs supports. Pre-requis Aucun pré-requis autre que connaissances de bas… text/html 2011-04-09T08:26:55+02:00 https://get-the.net/doku.php?id=m1ilc:preuves&rev=1302330415&do=diff Ingénierie de la preuve Enseignant Site/Liens Cours TD TP ECTS Cours : J. Narboux TP : N. Magaud, P. Schreck Lien externe 18 18 Objectifs - Apprentissage des outils de preuve formelle et de certification de logiciels - Utilisation de l'outil Coq pour décrire, prouver et extraire des programmes certifiés Contenu Techniques et systèmes de spécification et de preuve de logiciels. Rôles des mathématiques, de la logique et de la programmation. Définition de types, fonctions, p… text/html 2011-05-09T19:32:36+02:00 https://get-the.net/doku.php?id=projet_dch:model_db&rev=1304962356&do=diff Interactions controller-model avec attention à l'utilisation des structures de données par les View Create Promo $user = Model_DB::listAllUsers('last_name'); $userArray = $user->fetchAll(); $this->registry->template->userArray = $userArray; view text/html 2011-04-09T09:51:03+02:00 https://get-the.net/doku.php?id=m1ilc:preuves_td_types&rev=1302335463&do=diff Sans récursion On commence par une structure de données définie sans récursion : les mois (ou les jours) Récursives Inductive positive : Set := I : positive | C2X : positive | C2XP1 : positive. Definition un : positive := I. Definition trois : positive := C2XP1 I. Definition quatre: positive := C2X (C2X I). Definition sept : positive := C2XP1 (trois). Bon, on voit comment ça mmarche. Comment définir la fonction successeur? Une fonction avec filtration sur le constructeur (récursivement)… text/html 2011-06-07T19:15:43+02:00 https://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 2010-05-24T08:19:25+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_2&rev=1274681965&do=diff II. Sémantique d'un langage de programmation NB On ne peut donner un sens à un énoncé que s'il est bien typé. Les types sont des éléments essentiels dans la construction des programmes. Ils sont liés à des notions de spécification de de preuve (spécification algébrique de types) que nous développerons dans un chapitre dédié. La sémantique d'un langage de programmation est ce qui donne la signification aux programmes, les notions permettant de définir formellement les opérations sur les don… text/html 2010-04-21T10:51:25+02:00 https://get-the.net/doku.php?id=fainbis_applications&rev=1271839885&do=diff <philippe.foucher@developpement-durable.gouv.fr> Laboratoire Régional des Ponts et Chaussées Imagerie-méthodes optiques -- prennent des stagéaires. Plan * Problématique * Détection de la signalisation * informations géométiques * Informations colorimétiques * Combinaison des deux text/html 2010-05-04T20:51:30+02:00 https://get-the.net/doku.php?id=java:code_finder&rev=1272999090&do=diff Notre projet BioInfo est (ou était) de développer des algorithmes efficaces pour une recherche combinatoire. Il nous est donné un alphabet de soixante symboles (64 mais dont 4 vite exclus pour impossibilité de respecter les contraintes) et des contraintes à vérifier pour des sous-ensembles de ces symboles, pour trouver tous les sous-ensembles vérifiant ces contraintes (et combien existent par cardinalité, combien ont certaines autres propriétés) ce qui paraitrait donner 260-1 possibilités!… text/html 2010-01-06T11:32:01+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_9&rev=1262773921&do=diff II. Indécidabilité II.1 Thèse de Church-Turing On a vu au chapitre précedent plusieurs modèles de calcul qui étaient tous équivalents aux MT standard. Church et Turing cherchaient à caractériser ce qu'on savait calculer mécaniquement: calcul booléen, décidabilité des langages récursifs. En même temps, il y avait du travail fondamental sur la formalisation des mathématiques (Hilbert, notamment) et les (possibilité de) preuves mécaniques. text/html 2009-12-08T10:35:10+02:00 https://get-the.net/doku.php?id=m1ilc:cao&rev=1260264910&do=diff CAO Enseignant Site/Liens Cours TD TP ECTS 12 12 12 Objectifs Manipulation des primitives standard en conception géométrique. Calcul et tracé de ces primitives. Utilisation d'un logiciel de CAO. Contenu Notions mathématiques sur les courbes et surfaces paramétriques : continuité, tangente, normale, courbure et torsion ; Notions de maillages : définition et structures de données ; Interpolation de points : Lagrange, Hermite, Coons, Splines ; Courbes, carreaux de surfac… text/html 2009-11-03T17:06:15+02:00 https://get-the.net/doku.php?id=m1ilc:fain_2&rev=1257264375&do=diff Connexité (suite) Voir la documentation de Ch. Ronse, notamment * Distances et connexité * Figure et fond Thm de Jordan Une figure fermée (courbe simple du plan) sépare le plan en deux régions : intérieur et extérieur. Pour que cela soit vrai dans le plan discrétisé pour des courbes simples fermées (les bords des zones, objets, ou figures) vérifiant 4-adjacence il faut prendre 8-adjacence pour le fond, et vice versa. text/html 2010-05-16T10:28:40+02:00 https://get-the.net/doku.php?id=mower:project_track&rev=1273998520&do=diff Faut s'organiser, on n'a que peu de temps : si nous développons les même programmes chacun de notre côté, on risque de ne pas ariver à tout finir. Suite à la discussion avec M. Collet au sujet des mouvement en diagonal, abandonnons ces mouvements, qui peuvent encore se produire si les actions droit, bas, droit, bas (par exemple) cycle dans un état : il n'y aura plus que 40 actions pour un état, cinq mouvement précédents possbiles [(-1,0),(0,-1),(0,0),(1,0),(0,1)] fois les huit possibilités arbr… text/html 2010-05-18T18:01:39+02:00 https://get-the.net/doku.php?id=m1ilc:algoplus&rev=1274198499&do=diff Algorithmique avancée Enseignant Site/Liens Cours TD TP ECTS M. Basile SAUVAGE Materiel 2008 ou Sauvage:enseignements 18 18 3 Objectifs savoir-faire et compétences -- Analyse d'algorithmes Contenu Etude des principales familles d'algorithmes : diviser pour régner, méthodes gloutonnes, programmation dynamique, algorithmes randomisés. Algorithmes approchés pour la résolution de problèmes difficiles. Prérequis Algorithmique de base, structures de données, programmation impérative… text/html 2010-10-06T11:30:37+02:00 https://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 2010-11-12T14:23:44+02:00 https://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-09-16T11:59:05+02:00 https://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-05-24T19:02:04+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_8&rev=1274720524&do=diff Introduction L'aspect preuve de programmes a un dual naturel qui est la réalisation d'un programme à partir d'une spécification. Par exemple, en se basant sur la logique de Hoare pour les programmes impératifs : * preuve : étant donné un programme P, prouver que ce programme admet deux prédicats p et q comme pré- et post- conditions. * dérivation : étant donné deux prédicats p et q, prouver un programme P qui admette ces deux prédicats comme pré- et post- conditions (on utilise les règles… text/html 2010-05-24T10:19:21+02:00 https://get-the.net/doku.php?id=m1ilc:semantics&rev=1274689161&do=diff Sémantique Enseignant Site/Liens Cours TD TP ECTS Cours : E. Violard TD : N. Magaud à voir. peut être des TD/TP via racine de N. Magaud 18 18 Objectifs Acquérir les bases théoriques des techniques de spécification et preuve de programme. Contenu Preuve de programmes. Correction partielle et terminaison. Préconditions, postconditions, invariants, variants. Logique de Hoare. Weakest préconditions de Dijkstra. Application à la construction rationnelle de programmes. … text/html 2010-11-17T15:56:19+02:00 https://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 …