Révisions
Corrigés d'examens, guides de TP et fiches de cours rédigés à partir des documents de la bibliothèque.
1370 révisions
CorrigéCorrection TD de Model Checking
Exercice 1 - La vivacité est-elle de la sûreté ? La vivacité (liveness) est fondamentalement différente de la sûreté (safety). Une propriété de sûreté stipule que "rien de mauvais n'arrive". Si elle est violée, on peut toujours le prouver en observant un préfixe fini de l'exécution (une trace finie où le mauvais événement s'est produit).
Logiques temporelles
CorrigéGénie Logiciel I Exam
Exercice 1 - Comparaison des termes Note : La question 3 est absente du sujet original (la numérotation passe de 2 à 4). L'exercice est traité selon la numérotation fournie. Question 1 - Bien développer versus développer le bon logiciel Bien développer fait référence à la manière dont le logiciel est construit d'un point de vue technique.
Programming, Software Engineering, Development Models · Université de la Manouba · 2016
CorrigéMastère Web Intelligence
Exercice 0 - Canal Binaire Symétrique Probabilités conditionnelles p(y/x) D'après le graphe fourni pour le canal binaire symétrique, nous avons les probabilités de transition suivantes : p(y₁/x₁) = 1 - p p(y₂/x₂) = 1 - p p(y₂/x₁) = p p(y₁/x₂) = p Probabilités jointes p(x, y) En utilisant la loi de Bayes p(x, y) = p(y/x) × p(x) avec p(x₁) = p(x₂) = 1/2 : p(x₁, y₁) = p(y₁/x₁) × p(x₁) = (1 - p) / 2 p
Information Theory, Probability, Coding · 2014
Fiche de coursAudit et Sécurité Informatique
Ce matériel couvre les concepts fondamentaux des algorithmes à clé publique, des fonctions de hachage, des codes d’authentification de message (MAC) et des signatures numériques.
Cryptographie, Sécurité Informatique · 1976
Fiche de coursFouille de données
Ce document présente les notions fondamentales de la fouille de données, destinées aux étudiants et professionnels souhaitant comprendre les principes, les méthodes et les applications de cette discipline. Il s'agit d'un guide pratique et théorique pour apprendre à manipuler, analyser et extraire de l'information utile à partir de grands ensembles de données.
Programming, Math, etc. · 2011
- Guide de TP
Chapitre A3 : Logique Séquentielle
Ce laboratoire explore les compteurs et décompteurs en logique séquentielle, essentiels dans les systèmes numériques comme les montres électroniques. Il permet de comprendre la conception, le fonctionnement et la mise en œuvre des compteurs asynchrones et synchrones, ainsi que l'utilisation de circuits intégrés spécifiques.
Electronics and Sequential Logic
Fiche de coursAudit et Sécurité Informatique
Ce matériel couvre les concepts fondamentaux de l'audit et de la sécurité informatique, en particulier les services et mécanismes de sécurité, les logiciels malveillants ainsi que les différentes attaques de sécurité.
Sécurité Informatique, Logiciels Malveillants, Attaques de Sécurité
Guide de TPJava Practical Work
Ce travaux pratiques (TP) propose une série d'exercices de programmation en Java visant à maîtriser les concepts fondamentaux du langage orienté objet. Il couvre la création et manipulation de classes, la gestion des tableaux, les chaînes de caractères, l'héritage, le polymorphisme, les interfaces, ainsi que la gestion des exceptions.
Computer Science - Software Development · 1998
ExplicationLes Systèmes Multi Agents: vers une intelligence collective
Les systèmes multi-agents représentent un domaine essentiel en informatique, particulièrement dans l’intelligence artificielle, les systèmes distribués, la robotique et la modélisation de phénomènes complexes. Cette discipline étudie comment plusieurs entités autonomes, appelées agents, interagissent, coopèrent et coordonnent leurs actions pour produire une intelligence collective.
Intelligence Collective, Multi-Agent Systems · 1995
Guide de TPEncapsulation et concepts de POO - TP4
Ce TP permet de se familiariser avec les outils Unix AWK et SED pour le traitement de texte et la manipulation de fichiers. Il propose une série d'exercices pratiques visant à écrire des commandes et scripts pour extraire, filtrer, modifier et analyser des données textuelles.
Object-Oriented Programming (OOP) in Java · 2000
Guide de TPCorrection TP d’introduction à Unix
Ce TP d’introduction à Unix permet de se familiariser avec l’environnement Linux, d’apprendre à utiliser les commandes de base du terminal et de manipuler des fichiers et répertoires. Il est nécessaire d’avoir accès à une machine sous Linux (Debian) avec un compte utilisateur valide pour réaliser les exercices. Objectifs Se connecter et se déconnecter d’un système Linux.
Computer Science - Unix Command Line Fundamentals · 2013
Fiche de coursLogique Séquentielle
Ce document présente les notions fondamentales de la logique séquentielle, essentielle pour les étudiants en électronique et informatique. Il explique le principe de mémorisation dans les circuits logiques, décrit les différents types de bascules, leur fonctionnement, ainsi que leur initialisation.
Electronics and Systems Engineering
Guide de TPIntroduction to Object-Oriented Programming in Java
Ce laboratoire d'introduction à la programmation orientée objet en Java propose plusieurs exercices pratiques pour apprendre à définir et manipuler des classes représentant des objets du quotidien ou mathématiques. Vous apprendrez à créer des classes avec variables d'instance, constructeurs, méthodes d'accès, méthodes de modification, et à tester ces classes via une méthode main.
Computer Science - Object-Oriented Programming · 2006
Fiche de coursChapitre 1: Architecture Web
Ce matériel couvre les principes fondamentaux des architectures Web, en particulier les architectures client-serveur et 3-tier, ainsi que le rôle des serveurs Web. Il s'adresse aux étudiants en informatique ou en développement web souhaitant comprendre les bases des systèmes distribués et des applications Web.
Web Development and Network Architectures
Guide de TPProgrammation Orientée Objet (Java): Série n°2 Classes et Objets
Ce TP de programmation orientée objet en Java propose plusieurs exercices pour apprendre à définir et manipuler des classes et objets. Il couvre la création de classes simples comme Coordonnees, Point, Cercle, Book, Library, Client et Compte, ainsi que l’utilisation de tableaux et vecteurs pour gérer des collections d’objets.
Computer Science, Object-Oriented Programming (Java) · 2011
Fiche de coursX-Window: User Interfaces
Ce document traite de l'installation, de la configuration et de l'utilisation du système X-Window (X11) pour les interfaces utilisateurs sous Linux. Il s'adresse aux étudiants et professionnels souhaitant maîtriser la gestion des serveurs X, des gestionnaires d'affichage et des outils d'accessibilité associés.
Computer Science - Operating Systems (X11 Configuration and Management) · 2014
Fiche de coursAFQ-MSP 01 - Maitrise statistique de processus de fabrication
Ce document présente les principes fondamentaux de la Maîtrise Statistique des Processus (MSP), destinée aux étudiants et professionnels souhaitant comprendre et appliquer les cartes de contrôle dans le suivi et l'amélioration des procédés de fabrication.
Statistical Process Control · 1954
Fiche de coursAtelier Gestion des paquetages sous Linux
Ce matériel couvre la gestion des paquetages sous Linux, destiné aux étudiants et professionnels souhaitant maîtriser l'installation, la mise à jour, la suppression et l'interrogation des paquetages sur les distributions Debian et RedHat. Il présente les commandes essentielles pour manipuler les paquetages binaires, rechercher des fichiers, vérifier l'intégrité et gérer les dépôts.
Linux System Administration
Guide de TPPréparation LPI: RPM et YUM
Ce laboratoire permet de se familiariser avec la gestion des paquets sous Linux en utilisant les outils RPM et YUM. Vous apprendrez à installer, mettre à jour, interroger et supprimer des paquets, ainsi qu'à gérer les dépendances et extraire le contenu d'un paquet RPM.
Linux Package Management using RPM and YUM · 2008
CorrigéDiagramme de cas d’utilisation
Exercice 1 - Diagramme de cas d'utilisation d'un GAB Question 1 - Identification des acteurs Dans le contexte de ce Guichet Automatique de Banque (GAB), les acteurs (entités externes interagissant avec le système) sont : Porteur de carte : Acteur principal général qui interagit avec le GAB pour retirer de l'argent.
Informatique, Systèmes d'Information · École Nationale des Sciences de l'Informatique (ENSI) · 2016
CorrigéExamen de Génie Logiciel I
Exercice 1 - Concepts de test et graphes de contrôle Question 1 - Test statique et test dynamique Le test statique consiste à examiner et analyser les artefacts du logiciel (code source, documents de conception, spécifications) sans exécuter le programme. L'objectif est de détecter des défauts le plus tôt possible dans le cycle de vie.
Informatique, Programmation · École Nationale des Sciences de l'Informatique (ENSI) · 2014
CorrigéSystèmes d'Exploitation Avancés
GESTION DE LA MÉMOIRE - Exercice I Question 1 - Taille du plus grand segment L'adressage virtuel se fait sur 32 bits, répartis ainsi selon l'énoncé : 14 bits pour le numéro de segment 6 bits pour le numéro de page 12 bits de déplacement (offset), ce qui correspond bien à une taille de page de 4 Ko (car 2^12 octets = 4096 octets = 4 Ko).
Programming, Memory Management, Computer Science · 2048
CorrigéExamen – Session de Rattrapage en Génie Logiciel I
Exercice 1 - Concepts fondamentaux en Génie Logiciel Question 1 - Notion de cycle de vie d'un logiciel CORRIGÉ : On parle de "cycle de vie" car un logiciel, à l'image d'un produit complexe ou d'un organisme, traverse plusieurs étapes chronologiques incompressibles depuis sa conception initiale jusqu'à son retrait définitif.
Génie Logiciel, Programmation, Systèmes d'information · École Nationale des Sciences de l'Informatique (ENSI) · 2015
CorrigéExamen Génie Logiciel I
Questions de réflexion Question 1 - Caractéristiques et schéma du cycle 2TUP Le cycle 2TUP (Two-Track Unified Process) est un processus de développement logiciel qui se caractérise par une architecture en Y.
Génie Logiciel, Développement logiciel, Tests de logiciel · École Nationale des Sciences de l'Informatique (ENSI) · 2014