Module OMGL - ModDyn
|
|
- Ernest Laurent
- il y a 8 ans
- Total affichages :
Transcription
1 Module OMGL - ModDyn Modélisation de la dynamique modèle ETAT-TRANSITION J. Christian Attiogbé Février 2009, maj avril 2012 J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 1 / 42 Plan La dynamique dans le logiciel La dynamique à rapport à ce qui ce passe avec le déroulement du temps Il n y a pas d événement sans le facteur temps. Une suite d événements décrit un comportement : des transitions entre des états. En modélisation, on tient compte de cette facette dynamique. En construction de logiciels, on prévoit le comportement d un logiciel. On fait pour cela des modèles. J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 2 / 42
2 Plan La dynamique dans le logiciel on actimage actimage off desactimage J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 3 / 42 Ce cours Plan Outils de modélisation des traitements, des comportements, ou de la dynamique dans les logiciels. Ces outils complètent ceux destinés à la modélisation des données. Expressions régulières Automates à états finis (diagrammes état/transition) Automates de Mealy et Moore Réseaux de Petri Automates hiérarchiques de Harel (ou Statecharts) Algèbres de processus (CCS, FSP, Lotos) J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 4 / 42
3 Plan Organisation Cours : 9h20 TD/TP : 32h (MM C. Attiogbé, O. Finot, J-M. Mottu) emploi de divers outils logiciels de modélisation Evaluation : contrôle continu, régulièrement J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 5 / 42 Modélisation Plan La modélisation est une activité délicate, on procède par abstractions (l outillage mathématique sert), par analogie avec des cas connus (réutilisation), par entraînement et exercices. J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 6 / 42
4 Plan Modélisation : où se situe-t-on? Informatique = Software (Génie logiciel) : construire des logiciels Hardware : construire des matériels (ordinateurs) On modélise ce qu on va construire, les données et des traitements Modélisation : une étape d abstraction/conceptualisation en amont de la programmation. Quel peut être le modèle d un logiciel? Combinaison des modèles des données (vus dans un Module précédent), des traitements (la dynamique) et autres caractéristiques. J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 7 / 42 Modélisation Plan Modélisation : Hoare : A scientific theory is formalised as a mathematical model of reality, from which can be deduced or calculated the observable properties and of a well-defined class of processes in the physical world. Il y a deux principales notions de modèles (en informatique). 1 Modèle = une approximation de la réalité par une structure mathématique. 2 Un objet O est modèle d une réalité R, si O permet de répondre aux questions que l on se pose sur R. En Mathématique, Physique,...: systèmes d équations portant sur des grandeurs (masses, énergie,...) ou des lois hypothétiques. J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 8 / 42
5 Plan Plan de la suite 1 Expressions régulières 2 Automates à états finis 3 Automates de Mealy (et Moore) J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 9 / 42 Terminologie Expressions régulières Diagramme Etat/Transition (State Diagram) Automate (Automaton, Automata) Machine à états finis (Finite State Machine) Système de transitions (étiquetées) : Labelled Transition Systems Alphabet d actions Espace d états Relation de transition, Fonction de transition graphe d états J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 10 / 42
6 Expressions régulières Expressions régulières Une expression régulière décrit un comportement/traitement ; c est un modèle du comportement. Une expression régulière est décrite avec : des actions abstraites, des valeurs, des opérateurs :. + * () Exemples : (1.0)* + (1+0)* (lire. traiter. ecrire)* login. (command. (response + error))*. logout J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 11 / 42 Exemple de modèle Automates à états finis Des états, des transitions, des étiquettes Est-il est possible d obtenir une ressource sans avoir donné un code correct? J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 12 / 42
7 Automates à états finis Automate déterministe Structure d un automate à états Ensemble d états : S ={S 0,, S f, } Un alphabet d actions ou d étiquettes : A Une relation de transition δ définie sur (S x A) et S : S A S Un état initial S 0 (élément de S) Un ou des états finaux S f (éléments de S) L automate est déterministe lorsque la relation de transition est une fonction plutôt qu une relation. J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 13 / 42 Automates à états finis Automate déterministe : notation Etat, état initial, état final, transition (étiquetée) entre états J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 14 / 42
8 Automates à états finis Automate déterministe : exemple Remarque : qu est-ce qu un automate non-déterministe? En construire un à partir de l exemple. Quel impact sur la programmation? J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 15 / 42 Automates à états finis Automate déterministe : exemple S = {E 0, E 1, E 2 } A = {a, i, o, h, e,!} S 0 = E 0 δ = {((E 0, o), E 0 ), ((E 0, a), E 1 ), ((E 1, i), E 1 ), ((E 1, e), E 2 ), ((E 0, h), E 2 ), ((E 2,!), E 2 )} J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 16 / 42
9 Automates à états finis Exemples d automates Vie d un processus dans un système Lecture d une adresse éléctronique normalisée Feu tricolore (à la française, RJV) Marche Toumaï Inscription d un étudiant (à l Université) Unix (comportement de base du système) Mami nova (invitation au goûter) Exercice : Dessinez les automates représentant les comportements dans chacun des cas. Quels sont les états? les transitions entre quels états? J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 17 / 42 Automates à états finis Modélisation avec les automates A quoi servent des automates en Génie logiciel? : A modéliser (donc un Outil de Génie Logiciel), afin d étudier/prédire/analyser les comportements des systèmes avant de les développer. Le modèle n est pas le système, le modèle simule mathématiquement le système. J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 18 / 42
10 Automates à états finis Modélisation avec les automates Modélisation ou représentation des séquences d événements [autorisés] d un système (logiciel) : algorithme/module/composant un événement peut prendre plusieurs formes : une entrée, une sortie, un appel d opérations, etc un état de l automate est une abstraction d un état du système modélisé J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 19 / 42 Automates à états finis Modélisation avec les automates Un automate modélise un système (ou un module) Hiérarchisation : les états sont des automates Composition parallèle (avec des produits de plusieurs automates). J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 20 / 42
11 Automates à états finis Exercices Spécification des comportements liés à une bibliothèque à l aide d automates Exo1 : On considère l automate vie d un livre Exo2 : On considère l automate prêts de livres aux membres de la bibliothèque. J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 21 / 42 Exercice bibliothèque Automates à états finis Vie d un livre : Mis en service, emprunté, rendu, sorti de service Prêt d un livre aux membres : abonner membre ; emprunter, retourner, renouveler, perdre,..., désabonner J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 22 / 42
12 Automates à états finis Analyse des solutions Vie d un livre (si on en a plusieurs?) Les prêts Combien de livres empruntés au maximum? Limites de renouvellement? J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 23 / 42 Exercice Automates à états finis Améliorer les spécifications précédentes en mettant des contraintes Besoin de caractériser les états et les transitions J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 24 / 42
13 Automates à états finis Améliorations Pouvoir représenter toutes les réservations Pouvoir exprimer des contraintes sur le(s) membre(s) : l emprunteur courant ne peut réserver son livre réservations servies dans l ordre d arrivée, mais annulés dans n importe quel ordre J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 25 / 42 Exercice Automates à états finis Décomposition de la spécification en plusieurs diagrammes (automates) Liaison entre les diagrammes J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 26 / 42
14 Automates à états finis Limitations des automates les paramètres d entrée et de sortie des événements ne sont pas explicites difficile de représenter entièrement l espace du système difficile de donner toutes des préconditions ne donne que les cas normaux d évolution J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 27 / 42 Automates à états finis Exercice : conversation téléphonique Spécifiez à l aide d un automate le comportement d un système de communication : Décrocher, composer le numéro, répondre à un appel, parler, raccrocher,... J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 28 / 42
15 Automates à états finis Composition des modèles dynamiques : composition des automates Produit libre de deux automates Produit synchrone de deux automates Dans la pratique, différentes entités identifiées dans le cahier de charges vont être décrites séparément puis composées pour former un système global. J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 29 / 42 Machine à états finis Automates à états finis Automates(machines) de Mealy et Moore : une catégorie d automates où on peut effectuer des actions ou sortie pendant le déroulement de l automate. Mealy : action de sortie associée aux transitions Moore : action de sortie associée aux états On distingue les entrées et les sorties sur réception d une entrée, une sortie peut être produite Distinction avec automate élémentaire Dans un automate on ne distingue pas entrée et sortie ; On identifie dans le texte accompagnant l automate, la nature d un évènement (entrée ou sortie). J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 30 / 42
16 Automates à états finis Machine à états finis : Mealy Les machines de Mealy sont des automates non hiérarchiques. Les états sont simples (pas de sous-états) et les transitions entre états sont atomiques. Sur les transitions entre états on peut avoir les étiquettes : evenement / actions [garde] / actions evenement[garde] / actions garde est une condition booléenne Dans les gardes on utilise les opérateurs logiques : OR, AND, NOT Lorsqu on a plusieurs actions, elles sont séparées par ; J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 31 / 42 Automates de Mealy (et Moore) Machine à états de Mealy Ensemble d états : S Ensemble d entrées : In Ensemble de sorties : Out Un état initial : S 0 Deux relations : transition δ : S In S sortie δ o : S In Out Etat final J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 32 / 42
17 Machines de Mealy Automates de Mealy (et Moore) Notation des transitions Ss i/o St si l entrée i est reçue alors que le système est dans l état Ss, la sortie o est produite et le nouvel état du système est St i est aussi appelé le déclencheur (trigger). J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 33 / 42 Automates de Mealy (et Moore) Caractéristiques d une machine de Mealy non hiérarchique un état dénote l état complet du système le système est dans un seul état à la fois une transition est atomique ; elle ne peut être décomposée J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 34 / 42
18 Automates de Mealy (et Moore) Etude de cas : distributeur On considère le distributeur suivant : Le distributeur délivre des bouteilles d eau à 50c, des canettes de cola à 50c et des barres chocolatées à 1 euro. le distributeur n accepte que des pièces de 50c. Le distributeur fonctionne selon le principe suivant : on introduit un certain nombre de pièces ; si ce nombre est strictement plus grand que 2 alors la pièce introduite est rejetée immédiatement On envisage plusieurs versions en faisant différentes hypothèses de travail. J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 35 / 42 Automates de Mealy (et Moore) Suite cahier de charges distributeur (V1) on peut (tenter de) commander dès qu on a introduit une pièce ; si le solde est insuffisant, la machine le signale. Dans le cas contraire, la commande est honorée et la monnaie éventuelle est rendue. (V2) tant que la commande n est pas passée, on peut toujours annuler et les pièces introduites sont rendues. J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 36 / 42
19 Automates de Mealy (et Moore) Solution Distributeur (au tableau) J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 37 / 42 Automates de Mealy (et Moore) Solution Distributeur Une solution, hypothèse : pièece unique acceptée (50cents). Eau,Choco,Barre/SoldeInsuf Eau/ serveau Choco/servChoco Reset/Commande? 0 piece50/ Annuler/rendreP 50 Barre/SoldeInsuf Choco/servChoco Reset,Annuler/Commande? Barre/servBarre 100 Eau/ serveau Annuler/rendreP piece50/ Reset/Commande? piece50/rendrep J. Christian Attiogbé (Février 2009, maj avril 2012) Figure: Module Machine OMGL - ModDyn à Boisson 38 / 42
20 Automates de Mealy (et Moore) Modélisation : contrôle d accès Lecteur de carte/code ; Déblocage d accès à une salle Modéliser l usager, puis le gestionnaire d accès Composition (par produit synchrone) des deux modèles. J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 39 / 42 Automates de Mealy (et Moore) Synthèse : machines à états Mealy Très expressif, même si non hiérarchique Les étiquettes de transition comportent : evt [garde] / actions*. Pratiquement, il faut déclarer et initialiser les variables. On peut utiliser des fonctions, des procédures, des paramètres, etc Aide à la génération de code exécutable. J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 40 / 42
21 Automates de Mealy (et Moore) Généralisation des machines à états SDL (normalisé, utilisé en Télécoms) Statecharts de David Harel (hiérarchiques) Réseaux de Petri Algèbres de processus J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 41 / 42 Automates de Mealy (et Moore) Références bibliographiques Il y a de nombreuses références sur le sujet : voici quelques indications en guise de points d entrée Jacques Stern Fondements mathématiques de l informatique, Masson, Bellot et Sakarovitch Logiques et automates, Ellipses, J.E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation Second Edition. Addison-Wesley (2001). J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 42 / 42
Cycle de vie du logiciel. Unified Modeling Language UML. UML: définition. Développement Logiciel. Salima Hassas. Unified Modeling Language
Unified Modeling Language UML Salima Hassas Version Cycle de vie du logiciel Client Besoins Déploiement Analyse Test Conception Cours sur la base des transparents de : Gioavanna Di Marzo Serugendo et Frédéric
Plus en détailRTDS G3. Emmanuel Gaudin emmanuel.gaudin@pragmadev.com
RTDS G3 Emmanuel Gaudin emmanuel.gaudin@pragmadev.com PragmaDev Dédiée au développement d un AGL pour le développement des applications temps réel et embarquées. Réseau de partenaires: Formations, Service,
Plus en détail3. SPÉCIFICATIONS DU LOGICIEL. de l'expression des besoins à la conception. Spécifications fonctionnelles Analyse fonctionnelle et méthodes
PLAN CYCLE DE VIE D'UN LOGICIEL EXPRESSION DES BESOINS SPÉCIFICATIONS DU LOGICIEL CONCEPTION DU LOGICIEL LA PROGRAMMATION TESTS ET MISE AU POINT DOCUMENTATION CONCLUSION C.Crochepeyre Génie Logiciel Diapason
Plus en détailLe génie logiciel. maintenance de logiciels.
Le génie logiciel Définition de l IEEE (IEEE 1990): L application d une approche systématique, disciplinée et quantifiable pour le développement, l opération et la maintenance de logiciels. Introduction
Plus en détailTABLE DES MATIÈRES 1. DÉMARRER ISIS 2 2. SAISIE D UN SCHÉMA 3 & ' " ( ) '*+ ", ##) # " -. /0 " 1 2 " 3. SIMULATION 7 " - 4.
TABLE DES MATIÈRES 1. DÉMARRER ISIS 2 2. SAISIE D UN SCHÉMA 3! " #$ % & ' " ( ) '*+ ", ##) # " -. /0 " 1 2 " 3' & 3. SIMULATION 7 0 ( 0, - 0 - " - & 1 4. LA SOURIS 11 5. LES RACCOURCIS CLAVIER 11 STI Electronique
Plus en détailMétriques de performance pour les algorithmes et programmes parallèles
Métriques de performance pour les algorithmes et programmes parallèles 11 18 nov. 2002 Cette section est basée tout d abord sur la référence suivante (manuel suggéré mais non obligatoire) : R. Miller and
Plus en détailGénie Logiciel Avancé Cours 3 Le modèle à objets
Génie Logiciel Avancé Cours 3 Le modèle à objets Stefano Zacchiroli zack@pps.univ-paris-diderot.fr Laboratoire PPS, Université Paris Diderot - Paris 7 URL http://upsilon.cc/zack/teaching/1112/gla/ Copyright
Plus en détailLes diagrammes de modélisation
L approche Orientée Objet et UML 1 Plan du cours Introduction au Génie Logiciel L approche Orientée Objet et Notation UML Les diagrammes de modélisation Relations entre les différents diagrammes De l analyse
Plus en détailJOURNEES SYSTEMES & LOGICIELS CRITIQUES le 14/11/2000. Mise en Œuvre des techniques synchrones pour des applications industrielles
JOURNEES SYSTEMES & LOGICIELS CRITIQUES le 14/11/2000 Mise en Œuvre des techniques synchrones pour des applications industrielles Mise en œuvre des techniques synchrones pour des applications industrielles
Plus en détailUrbanisation de système d'information. PLM 4 (Product Lifecycle Management) Préoccupation d'assurance qualité Processus et Procédures
Urbanisation de système d'information PLM 4 (Product Lifecycle Management) Préoccupation d'assurance qualité Processus et Procédures Urbanisation des Systèmes d'information - Henry Boccon-Gibod 1 De quoi
Plus en détailPARCOURS COMPLET AU COURS MOYEN
81 I) UNE ENTAME DE TYPE "SOCIAL" : LE BUREAU DE POSTE Le bureau de poste de St Herblain Preux est récent. La classe de CM de l'école proche ("Les Crépinais") pouvait y découvrir divers aspects de l'informatique
Plus en détailMachines virtuelles Cours 1 : Introduction
Machines virtuelles Cours 1 : Introduction Pierre Letouzey 1 pierre.letouzey@inria.fr PPS - Université Denis Diderot Paris 7 janvier 2012 1. Merci à Y. Régis-Gianas pour les transparents Qu est-ce qu une
Plus en détailUML : DIAGRAMME D ETATS
UML : DIAGRAMME D ETATS Le modèle dynamique représente l évolution du système au cours du temps en réaction aux événements externes. L évolution du système est définie par l évolution (cycle de vie) des
Plus en détailChapitre 1 Les instruments fermes
UV2 LES INSTRUMENTS FINANCIERS Rappel de comptes : 52 Instrument financier 476 Ecart de conversion actif 477 Ecart de conversion passif 4786 Compensation des pertes latentes sur profits 8091/801 Engagements
Plus en détailIngénierie Dirigée par les Modèles. Editeurs de modèles. (Eclipse Modeling Tools) Jean-Philippe Babau
labsticc.univ-brest.fr/pages_perso/babau/ Ingénierie Dirigée par les Modèles Editeurs de modèles (Eclipse Modeling Tools) Jean-Philippe Babau Département Informatique, UFR Sciences, Laboratoire Lab-STICC
Plus en détailBrique BDL Gestion de Projet Logiciel
Brique BDL Gestion de Projet Logiciel Processus de développement pratiqué à l'enst Sylvie.Vignes@enst.fr url:http://www.infres.enst.fr/~vignes/bdl Poly: Computer elective project F.Gasperoni Brique BDL
Plus en détailFaceBook aime les Maths!
FaceBook aime les Maths! Michel Rigo http://www.discmath.ulg.ac.be/ http://orbi.ulg.ac.be/ Réseaux Visualizing my Twitter Network by number of followers. Michael Atkisson http://woknowing.wordpress.com/
Plus en détailInformatique UE 102. Jean-Yves Antoine. Architecture des ordinateurs et Algorithmique de base. UFR Sciences et Techniques Licence S&T 1ère année
UFR Sciences et Techniques Licence S&T 1ère année Informatique UE 102 Architecture des ordinateurs et Algorithmique de base Jean-Yves Antoine http://www.info.univ-tours.fr/~antoine/ UFR Sciences et Techniques
Plus en détailC est quoi le SWAT? Les équipes décrites par James Martin s appellent SWAT : Skilled With Advanced Tools.
1- RAD Quelle sont les avantages que apporte la méthode RAD à l entreprise? Une méthode RAD devrait, d après son auteur, apporter trois avantages compétitifs à l entreprise : Une rapidité de développement
Plus en détailCours Bases de données
Informations sur le cours Cours Bases de données 9 (10) séances de 3h Polycopié (Cours + TD/TP) 3 année (MISI) Antoine Cornuéjols www.lri.fr/~antoine antoine.cornuejols@agroparistech.fr Transparents Disponibles
Plus en détailAnalyse,, Conception des Systèmes Informatiques
Analyse,, Conception des Systèmes Informatiques Méthode Analyse Conception Introduction à UML Génie logiciel Définition «Ensemble de méthodes, techniques et outils pour la production et la maintenance
Plus en détailOCL - Object Constraint Language
OCL - Object Constraint Language Laëtitia Matignon laetitia.matignon@univ-lyon1.fr Département Informatique - Polytech Lyon Université Claude Bernard Lyon 1 2012-2013 Laëtitia Matignon SIMA - OCL - Object
Plus en détailMATHÉMATIQUES FINANCIÈRES
MATHÉMATIQUES FINANCIÈRES Table des matières Version 2012 Lang Fred 1 Intérêts et taux 2 1.1 Définitions et notations................................ 2 1.2 Intérêt simple......................................
Plus en détailSIMULATEUR DE MARCHE FINANCIER
SIMULATEUR DE MARCHE FINANCIER HichemBostangi - Mohamed Fenina - Benjamin Guillet Arnaud Izard Génie logiciel & Base de données avancées Année 2011-2012 Encadré par A.M. Hugues 1 Sommaire I. Présentation
Plus en détailAlfstore workflow framework Spécification technique
Alfstore workflow framework Spécification technique Version 0.91 (2012-08-03) www.alfstore.com Email: info@alfstore.com Alfstore workflow framework 2012-10-28 1/28 Historique des versions Version Date
Plus en détailLES TOUT PREMIERS PAS
DESMODO, un logiciel de gestion d idées http://www.desmodo.net/ LES TOUT PREMIERS PAS Desmodo est un logiciel (libre) qui permet, entre autre, de visualiser et de synthétiser, de manière organisée, sous
Plus en détailBigdata et Web sémantique. les données + l intelligence= la solution
Bigdata et Web sémantique les données + l intelligence= la solution 131214 1 big data et Web sémantique deux notions bien différentes et pourtant... (sable et silicium). «bigdata» ce n est pas que des
Plus en détailBases de données. Chapitre 1. Introduction
Références : Bases de données Pierre Wolper Email : pw@montefiore.ulg.ac.be URL : http : //www.montefiore.ulg.ac.be/~pw/ http : //www.montefiore.ulg.ac.be/ ~pw/cours/bd.html Henry F. Korth, Abraham Silberschatz,
Plus en détailAnalyse des Besoins (Spécifications)
1 Génie Logiciel (d'après A.-M. Hugues) Analyse des Besoins (Spécifications) Renaud Marlet LaBRI / INRIA http://www.labri.fr/~marlet màj 17/04/2007 Analyse des besoins : 2 Contexte : Position dans le cycle
Plus en détailCONTEC CO., LTD. Novembre 2010
La gamme CONTEC CONTEC CO., LTD. Novembre 2010 1 Agenda Introduction Data acquisition and control Data Communication Expansion chassis and accessory Distributed I/O and media converter Stainless steel
Plus en détailIFT2255 : Génie logiciel
IFT2255 : Génie logiciel Chapitre 6 - Analyse orientée objets Section 1. Introduction à UML Julie Vachon et Houari Sahraoui 6.1. Introduction à UML 1. Vers une approche orientée objet 2. Introduction ti
Plus en détailQualité du logiciel: Méthodes de test
Qualité du logiciel: Méthodes de test Matthieu Amiguet 2004 2005 Analyse statique de code Analyse statique de code Étudier le programme source sans exécution Généralement réalisée avant les tests d exécution
Plus en détailAutomatique Linéaire 1 Travaux Dirigés 1A ISMIN
Automatique Linéaire 1 Travaux Dirigés Travaux dirigés, Automatique linéaire 1 J.M. Dutertre 2014 TD 1 Introduction, modélisation, outils. Exercice 1.1 : Calcul de la réponse d un 2 nd ordre à une rampe
Plus en détailMessagerie vocale Édition Îles-de-la-Madeleine. Guide d utilisation. 1 888 télébec telebec.com
Messagerie vocale Édition Îles-de-la-Madeleine Guide d utilisation 888 télébec telebec.com Messagerie vocale Plus performante qu un répondeur, elle prend vos messages même si vous êtes en ligne. Ce service
Plus en détailLes simulations dans l enseignement des sondages Avec le logiciel GENESIS sous SAS et la bibliothèque Sondages sous R
Les simulations dans l enseignement des sondages Avec le logiciel GENESIS sous SAS et la bibliothèque Sondages sous R Yves Aragon, David Haziza & Anne Ruiz-Gazen GREMAQ, UMR CNRS 5604, Université des Sciences
Plus en détailTD sur JMS ---- 1) Qu est-ce qu un middleware orienté message (MOM)? Quelles différences faites-vous entre un MOM et JMS?
TD sur JMS ---- Questions de cours : 1) Qu est-ce qu un middleware orienté message (MOM)? Quelles différences faites-vous entre un MOM et JMS? MOM : Message Oriented Middleware Intergiciels orientés Messages
Plus en détailWEBISO Internet & Intranet workflow
WEBISO Internet & Intranet workflow Pour qualité, sécurité, environnement & santé Copyright 2012 Ockham B.V.B.A. All rights reserved WEBISO is a registered trademark of Ockham B.V.B.A. in Europe, the USA
Plus en détailAppelant le 0800 9 8854
Appelant le 0800 9 8854 Chère Madame, Cher Monsieur, Félicitations, vous avez décidé de participer au pilote de paiement d Accor Services, un projet unique en Belgique et une première dans le domaine des
Plus en détailLa veille concurrentielle est une arme.
Nouvelle version 5.0! La veille concurrentielle est une arme. Un outil de veille concurrentielle de nouvelle génération au service de votre compétitivité. Suivez l évolution des prix, des enseignes, des
Plus en détailpyensae StockPrices September 1, 2015 1 Manipulation de séries financières avec la classe StockPrices
pyensae StockPrices September 1, 2015 1 Manipulation de séries financières avec la classe StockPrices La classe StockPrices facilite la récupération de données financières via le site Yahoo Finance ainsi
Plus en détailIntroduction au Génie Logiciel
Introduction au Génie Logiciel Lydie du Bousquet Lydie.du-bousquet@imag.fr En collaboration avec J.-M. Favre, I. Parissis, Ph. Lalanda Qu est-ce que le logiciel? programme, ensemble d instructions Caractéristiques
Plus en détailrelatif aux opérations d assurance réalisées dans le cadre d un «patrimoine d affectation»
COMITE DE LA REGLEMENTATION COMPTABLE Règlement n 2004-11 du 23 novembre 2004 relatif aux opérations d assurance réalisées dans le cadre d un «patrimoine d affectation» Le Comité de la réglementation comptable,
Plus en détailConception Exécution Interopérabilité. Déploiement. Conception du service. Définition du SLA. Suivi du service. Réception des mesures
Software propose une offre d intégration unique, qui apporte l équilibre parfait entre investissements et performances pour les entreprises qui doivent sans cesse améliorer leurs processus. Des caractéristiques
Plus en détailPatrons de Conception (Design Patterns)
Patrons de Conception (Design Patterns) Introduction 1 Motivation Il est difficile de développer des logiciels efficaces, robustes, extensibles et réutilisables Il est essentiel de comprendre les techniques
Plus en détailCOMPRENDRE LES OPTIONS BINAIRES - LEÇON 1
COMPRENDRE LES OPTIONS BINAIRES - LEÇON 1 Qu est ce que sont les options binaires? Le trading d options binaires, parfois connu sous le nom des options numériques ou ORF (options de retour fixe), est une
Plus en détailManuel KBC-Online Local
Manuel Table des matières 1. INSTALLATION DE KBC-ONLINE LOCAL 3 1.1 Informations d ordre général 3 4. SUPPORT 16 5. ANNEXES 17 5.1 Annexe 1 : Votre fournisseur Internet utilise un proxyserver? 17 5.2 Annexe
Plus en détailMicro-ordinateurs, informations, idées, trucs et astuces utiliser le Bureau à distance
Micro-ordinateurs, informations, idées, trucs et astuces utiliser le Bureau à distance Auteur : François CHAUSSON Date : 8 février 2008 Référence : utiliser le Bureau a distance.doc Préambule Voici quelques
Plus en détailFonctions de deux variables. Mai 2011
Fonctions de deux variables Dédou Mai 2011 D une à deux variables Les fonctions modèlisent de l information dépendant d un paramètre. On a aussi besoin de modéliser de l information dépendant de plusieurs
Plus en détailAnalyser la valeur du contenu avant de l écrire?
Analyser la valeur du contenu avant de l écrire? AgoraCMS Benjamin LUPU 15 mai 2013 kytalpa - Fotolia.com «Vous ne devriez pas publier vos contenus à l aveugle alors que vous mettez tant de temps, d énergie
Plus en détailTYXAL. Annexe pour la télésurveillance et l'accès PC par modem pour les transmetteurs des gammes TYXAL et TYDOM
TYXAL Annexe pour la télésurveillance et l'accès PC par modem pour les transmetteurs des gammes TYXAL et TYDOM DELTA DORE TALCO - Bonnemain - 3570 COMBOURG E-mail : deltadore@deltadore.com TYXAL CTX 60
Plus en détailL a gamme financière en Belgique
L a gamme financière en Belgique L approche analytique ou de la trésorerie Des outils pour la gestion efficace de vos risques financiers. Tout entrepreneur prend des risques : - accorder des délais de
Plus en détailL ABC de l acquisition de petites entreprises
L ABC de l acquisition de petites entreprises Bienvenue Séries d acquisition de petites entreprises Comment aborder le sujet. Comment vendre aux petites entreprises. Accroître la connaissance des produits
Plus en détailSynthèse d une conception UML temps-réel à partir de diagrammes de séquences
Synthèse d une conception UML temps-réel à partir de diagrammes de séquences L. Apvrille 1 P. de Saqui-Sannes 2, 3 F. Khendek 4 1 GET/ENST, Institut Eurécom, BP 193, 2229 route des Crêtes, 06904 Sophia-
Plus en détailModule 3 : L électricité
Sciences 9 e année Nom : Classe : Module 3 : L électricité Sci9.3.1 : Électricité statique et courant électrique, Sci9.3.2 : Les circuits, la résistance et la Loi d Ohm Sci9.3.3 : La transmission de l
Plus en détailModule 3 : L électricité
Sciences 9 e année Nom : Classe : Module 3 : L électricité Partie 1 : Électricité statique et courant électrique (chapitre 7 et début du chapitre 8) 1. L électrostatique a. Les charges et les décharges
Plus en détailTraduction des Langages : Le Compilateur Micro Java
BARABZAN Jean-René OUAHAB Karim TUCITO David 2A IMA Traduction des Langages : Le Compilateur Micro Java µ Page 1 Introduction Le but de ce projet est d écrire en JAVA un compilateur Micro-Java générant
Plus en détailL hypertexte, le multimédia, c est quoi?
L hypertexte, le multimédia, c est quoi? Hervé Platteaux Centre NTE et Département de pédagogie Université de Fribourg Cours de pédagogie - Second cycle Session du 29 octobre 2001 Selon vous, l hypertexte
Plus en détailManuel d utilisation du logiciel RÉSULTATS. Édition destinée aux départements
Manuel d utilisation du logiciel RÉSULTATS Édition destinée aux départements Avant propos. Qu est-ce le logiciel RÉSULTATS? RÉSULTATS est une application entièrement web destinée à la saisie et à la diffusion
Plus en détail11 Février 2014 Paris nidays.fr. ni.com
11 Février 2014 Paris nidays.fr 1 Choisir la bonne architecture logicielle pour automatiser les systèmes de test Jérémy Charavet Ingénieur d Applications, National Instruments France Une architecture logicielle
Plus en détailINFORM OBLIGATIONS DE PREMIÈRE QUALITÉ ET OBLIGATIONS À HAUT RENDEMENT: AUGMENTER LE RENDEMENT ET DIMINUER LE RISQUE GRÂCE À UNE JUSTE COMBINAISON
2 2002 INFORM INFORMATIONS FINANCIÈRES ESSENTIELLES POUR LES CAISSES DE PENSION OBLIGATIONS DE PREMIÈRE QUALITÉ ET OBLIGATIONS À HAUT RENDEMENT: AUGMENTER LE RENDEMENT ET DIMINUER LE RISQUE GRÂCE À UNE
Plus en détailbasée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB www.enseirb.fr/~legal Olivier Augereau Formation UML
basée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB www.enseirb.fr/~legal Olivier Augereau Formation UML http://olivier-augereau.com Sommaire Introduction I) Les bases II) Les diagrammes
Plus en détailEngagement de l ABC en matière de lisibilité des documents hypothécaires. Préparé par l Association des banquiers canadiens
Engagement de l ABC en matière de lisibilité des documents hypothécaires Préparé par l Association des banquiers canadiens Le 7 mars 2000 Notre engagement : des documents hypothécaires en langage courant
Plus en détailTP: Représentation des signaux binaires. 1 Simulation d un message binaire - Codage en ligne
Objectifs : Ce TP est relatif aux différentes méthodes de codage d une information binaire, et à la transmission en bande de base de cette information. Les grandes lignes de ce TP sont l étude des méthodes
Plus en détailIngénierie et gestion des connaissances
Master Web Intelligence ICM Option Informatique Ingénierie et gestion des connaissances Philippe BEAUNE Philippe.Beaune@emse.fr 18 novembre 2008 Passer en revue quelques idées fondatrices de l ingénierie
Plus en détailCNAM - CRA Nancy 2000/2001. Génie Logiciel. Jacques Lonchamp DEUXIEME PARTIE. Les techniques de spécification.
CNAM - CRA Nancy 2000/2001 Génie Logiciel Jacques Lonchamp DEUXIEME PARTIE Les techniques de spécification. 1. Introduction Tout produit complexe à construire doit être spécifié ; par exemple un pont de
Plus en détailIngénérie logicielle dirigée par les modèles
Ingénérie logicielle dirigée par les modèles Destercq Lionel & Dubuc Xavier 17 décembre 2009 Table des matières 1 Introduction 1 2 Diagrammes de classes 1 2.1 Principal..............................................
Plus en détailCorrigé des exercices sur les références
Corrigé des exercices sur les références Exercice 3.1.1 dessin Pour cet exercice, vous allez dessiner des structures de données au moyen de petits schémas analogues à ceux du cours, comportant la pile
Plus en détailModélisation et Simulation
Cours de modélisation et simulation p. 1/64 Modélisation et Simulation G. Bontempi Département d Informatique Boulevard de Triomphe - CP 212 http://www.ulb.ac.be/di Cours de modélisation et simulation
Plus en détailRéussir la modélisation UML des phases amont Techniques de «pré-modélisation» : un pont vers le modèle
Réussir la modélisation UML des phases amont Techniques de «pré-modélisation» : un pont vers le modèle Softeam 2004 Philippe Desfray (voir A propos de l auteur) Présentation Réussir le développement d
Plus en détailBaccalauréat Professionnel Électrotechnique, Énergie, Équipements Communicants
Baccalauréat Professionnel Électrotechnique, Énergie, Équipements Communicants Fiche de travaux liés à des activités d : Étude et réalisation. Titre : Alarme intrusion CONRAD filaire Lieu d activité :
Plus en détailOnce the installation is complete, you can delete the temporary Zip files..
Sommaire Installation... 2 After the download... 2 From a CD... 2 Access codes... 2 DirectX Compatibility... 2 Using the program... 2 Structure... 4 Lier une structure à une autre... 4 Personnaliser une
Plus en détailb ) La Banque Centrale Bilan de BC banques commerciales)
b ) La Banque Centrale Notre système bancaire se complexifie puisqu il se trouve maintenant composer d une multitude de banques commerciales et d une Banque Centrale. La Banque Centrale est au cœur de
Plus en détailUtilisation des nombres pour résoudre des problèmes Aspect cardinal Maternelle MS-GS. Francette Martin
Utilisation des nombres pour résoudre des problèmes Aspect cardinal Maternelle MS-GS Francette Martin Voici une situation fondamentale faisant intervenir le nombre cardinal : l enfant doit aller chercher
Plus en détailL Equilibre Macroéconomique en Economie Ouverte
L Equilibre Macroéconomique en Economie Ouverte Partie 3: L Equilibre Macroéconomique en Economie Ouverte On abandonne l hypothèse d économie fermée Les échanges économiques entre pays: importants, en
Plus en détailSélection du contrôleur
Démo CoDeSys - 1 - 1. Configuration de l environnement de travail : Lancer le logiciel CoDeSys Fichier Nouveau Lors de la première utilisation, une boîte de dialogue apparaît permettant la sélection du
Plus en détailNombres et calcul numérique
Accompagnement personnalisé PFEG - Math A quoi sert une banque? Nombres et calcul numérique Organisation et gestion de données Fonctions Grandeurs et mesures Calcul littéral Remerciements à Mesdames Hélène
Plus en détailwww.worldstyle.com/coastal.htm
WorldStyle Boutique : 203 bis Bvd St Germain 75007 Paris T 01 40 269 280 F 01 40 269 270 boutique@worldstyle.com www.worldstyle.com www.worldstyle.com/coastal.htm PRIX 2011:2012 the coastal range 2011
Plus en détailCours 1 : Qu est-ce que la programmation?
1/65 Introduction à la programmation Cours 1 : Qu est-ce que la programmation? Yann Régis-Gianas yrg@pps.univ-paris-diderot.fr Université Paris Diderot Paris 7 2/65 1. Sortez un appareil qui peut se rendre
Plus en détailDSL. Domain Specific Language. À l'aide des technologies Eclipse Modeling. Goulwen Le Fur goulwen.lefur@obeo.fr. Le 23 novembre 2012
DSL Domain Specific Language À l'aide des technologies Eclipse Modeling Le 23 novembre 2012 Goulwen Le Fur goulwen.lefur@obeo.fr Le but de cette session Montrer : Ce qu'est-un DSL/DSM Comment implémenter
Plus en détailSimulation d une économie monétaire (programmation impérative, sujet 3)
Simulation d une économie monétaire (programmation impérative, sujet 3) http://sfc-abm.org/students/mief/ 10 février 2014 Table des matières 1 Sujet 2 2 Description plus détaillée de la simulation 3 2.1
Plus en détailUE C avancé cours 1: introduction et révisions
Introduction Types Structures de contrôle Exemple UE C avancé cours 1: introduction et révisions Jean-Lou Desbarbieux et Stéphane Doncieux UMPC 2004/2005 Introduction Types Structures de contrôle Exemple
Plus en détail1-Introduction 2. 2-Installation de JBPM 3. 2-JBPM en action.7
Sommaire 1-Introduction 2 1-1- BPM (Business Process Management)..2 1-2 J-Boss JBPM 2 2-Installation de JBPM 3 2-1 Architecture de JOBSS JBPM 3 2-2 Installation du moteur JBoss JBPM et le serveur d application
Plus en détailInformation. BASES LITTERAIRES Etre capable de répondre à une question du type «la valeur trouvée respecte t-elle le cahier des charges?
Compétences générales Avoir des piles neuves, ou récentes dans sa machine à calculer. Etre capable de retrouver instantanément une info dans sa machine. Prendre une bouteille d eau. Prendre CNI + convocation.
Plus en détailPrezi. Table des matières
Prezi Table des matières 1. Inscription... 2 2. ouvrir prezi... 4 3. créer une nouvelle présentation... 4 3.1. Ajout de texte... 5 3.2. Modifier (éditer) le texte... 5 3.3. Insérer une image... 5 3.4.
Plus en détailANALYSE TRAMEs LIAISON SERIE
ANALYSE TRAMEs LIAISON SERIE 1 Objectifs de ce travail Nous allons étudier dynamiquement la liaison série en utilisant la simulation. La mise en œuvre des liaisons séries simulées et de TestCom est expliquée
Plus en détailFAQ messagerie CRI Université de Bourgogne
FAQ messagerie CRI Université de Bourgogne Jean-Jacques.Gaillard@u-bourgogne.fr maj 28-06-2007 1 Fonctionnement du serveur de messagerie personnel les messages en provenance du monde de l Internet ou du
Plus en détailIntroduction à l analyse numérique : exemple du cloud computing
Introduction à l analyse numérique : exemple du cloud computing Tony FEVRIER Aujourd hui! Table des matières 1 Equations aux dérivées partielles et modélisation Equation différentielle et modélisation
Plus en détailPartie 1. Fonctions plus complexes dans Excel. Fonctions Si(), Et(), Ou() et fonctions imbriquées. Opérateurs logiques. I.1.
Présentation Excel 7 Fonctions plus complexes dans Excel Partie 1 Sandra Michelet Département Informatique Pédagogique Université Stendhal, Grenoble III Fonctions Si(), Et(), Ou() et fonctions imbriquées
Plus en détailA.3 Les méthodes : L applicabilité
SOMMAIRE A. Première partie A.1 Ingénierie système : du besoin au système (produit/service) A.2 SDF, Maintenance et concepts sous-jacents A.3 Les méthodes : L applicabilité A.4 GMAO = GM + AO B. Deuxième
Plus en détailCARTES PRÉPAYÉES AU CANADA : IDENTIFICATION DES ENJEUX JURIDIQUES ET GESTION DU RISQUE. Institut Canadien 28 novembre 2012 Nicolas Faucher
CARTES PRÉPAYÉES AU CANADA : IDENTIFICATION DES ENJEUX JURIDIQUES ET GESTION DU RISQUE Institut Canadien 28 novembre 2012 Nicolas Faucher LA RÉGLEMENTATION APPLICABLE AUX CARTES PRÉPAYÉES 1. INTRODUCTION
Plus en détailTable des matières. Avant-propos...
Table des matières Avant-propos................................................. XI Chapitre 1 Découvrir Project 2013.......................... 1 1.1 Introduction.............................................
Plus en détailPPE 2-1 Support Systeme. Partie Support Système
PPE 2-1 Support Systeme Partie Support Système Sébastien MASSON 24/04/2013 0 Sommaire 1. DMZ 2 2. Serveurs Web 3 3. Logiciel d'inventaire 6 1 1. DMZ (Zone démilitarisée) Une DMZ est une zone tampon d'un
Plus en détailLe scoring est-il la nouvelle révolution du microcrédit?
Retour au sommaire Le scoring est-il la nouvelle révolution du microcrédit? BIM n 32-01 octobre 2002 Frédéric DE SOUSA-SANTOS Le BIM de cette semaine se propose de vous présenter un ouvrage de Mark Schreiner
Plus en détailLES DECIMALES DE π BERNARD EGGER
LES DECIMALES DE π BERNARD EGGER La génération de suites de nombres pseudo aléatoires est un enjeu essentiel pour la simulation. Si comme le dit B Ycard dans le cours écrit pour le logiciel SEL, «Paradoxalement,
Plus en détailTS 35 Numériser. Activité introductive - Exercice et démarche expérimentale en fin d activité Notions et contenus du programme de Terminale S
FICHE Fiche à destination des enseignants TS 35 Numériser Type d'activité Activité introductive - Exercice et démarche expérimentale en fin d activité Notions et contenus du programme de Terminale S Compétences
Plus en détail1 Modélisation d une base de données pour une société de bourse
IN306 : Corrigé SID Christophe Garion 18 octobre 2010 Ce document est un corrigé succinct de l examen du module IN306. 1 Modélisation d une base de données pour une société de bourse Une
Plus en détailLe Guide Pratique des Processus Métiers
Guides Pratiques Objecteering Le Guide Pratique des Processus Métiers Auteur : Version : 1.0 Copyright : Softeam Equipe Conseil Softeam Supervisée par Philippe Desfray Softeam 21 avenue Victor Hugo 75016
Plus en détailCOMPTE RENDU. Atelier-débat avec les futurs clients éligibles. 25 septembre 2002
Paris, le 17 octobre 2002 COMPTE RENDU Atelier-débat avec les futurs clients éligibles 25 septembre 2002 *** I La fourniture d électricité... 2 Les clients éligibles peuvent-ils acheter leur électricité
Plus en détailGregory Renard CTO Wygwam - Research and Innovation Manager Usilink Microsoft Regional Director - Most Valuable Professional
Gregory Renard CTO Wygwam - Research and Innovation Manager Usilink Microsoft Regional Director - Most Valuable Professional La notion du retour de loi accélérée! Les technologies de l'information (tous
Plus en détail