- Monday
- May 20th, 2024
- Ajouter un cours
Sommaire: UML et model checking INTRODUCTION GENERALE CHAPITRE I : UML & GENIE LOGICIEL 1. LE GENIE LOGICIEL 1.1 DEFINITION 1.2 CRITERES DE QUALITE D’UN PRODUIT LOGICIEL 1.3 CYCLE DE VIE D’UN LOGICIEL 1.4 MODELE DE CYCLE DE VIE D’UN PRODUIT...
Sommaire: Spécification formelle des systèmes mobiles temps réel Notations générales Remerciements Résumé 1 Introduction 1.1 Context 1.2 Contributions 1.3 Plandudocument 2 Modèles algébriques de spécification des applications mobiles 2.1 Introductionauxalgèbresdeprocessus 2.1.1 CCS:CalculusofCommunicatingSystems 2.1.2 Algèbre de processus à synchronisation multiple :...
Sommaire: TCAO et Simulation, vers une plate-forme d’analyse et de conception de systèmes de production orientée groupe I Introduction 1 Inéluctabilité technologique 2 Sujet 3 Objectifs 4 Structure de la thèse II Le domaine de la simulation 1 Introduction 2 ...
Sommaire: Programmation fonctionnelle avancée I-Structures de données et algorithmes 1.Partage et copie 2.Files (FIFO) 3.Flux (streams) 4.Tableaux et chaînes de caractères -Tableaux extensibles -Tableaux fonctionnels de Paulson -Buffer -Cordes (Ropes) 5.Zipper -Exemple sans zipper : les listes doublement chaînées -Zipper...
Sommaire: Grafcet cours et exercices Les notions de base I - introduction II - définitions III - exemple simple IV - règles d'évolution V - configurations courantes • 1 - liaisons • 2 - actions • 3 - réceptivités VI Exercices...
1. LES BASES DU LANGAGE JAVA 1.1 INTRODUCTION 1.2 LES DONNEES DE JAVA 1.2.1 LES TYPES DE DONNEES PREDEFINIS 1.2.2 NOTATION DES DONNEES LITTERALES 1.2.3 DECLARATION DES DONNEES 1.2.4 LES CONVERSIONS ENTRE NOMBRES ET CHAINES DE CARACTERES 1.2.5 LES TABLEAUX...
Cours programmation par Objets et Java, tutoriel apprendre Java et la Programmation document PDF. 1. Types et polymorphisme en Java 1.1 Types et affectations 1.2 Polymorphisme des méthodes 2. Erreurs et exceptions 2.1 Principe 2.2 La hiérarchie des principales exceptions et erreurs...
Programmation C Sharp Articles Programmation CSharp Programmation Csharp/Introduction Programmation Csharp/Compilation Programmation Csharp/Un premier programme Le langage Programmation Csharp/Les commentaires Programmation Csharp/Les espaces de noms Programmation Csharp/Les variables et les constantes Programmation Csharp/Les types de base et les déclarations Programmation Csharp/Les...
Sommaire: Cours Java I Threads I.1 Modèle de threads de Java I.2 Création et utilitaires I.3 Synchronisation I.4 Groupes de threads I.5 États d’une thread et ordonnancement II Génie logiciel appliqué II.1 Implantation d’une pile en Java II.2 Minimisation de...