Mémoire Online: UML et model checking

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...

UML Unified Method Language

Extrait du cours UML Unified Method Language ............ Principales influences • Booch : catégories et sous-systèmes • Embley : classes singletons et objets composites • Fusion : description des opérations, numérotation des messages • Gamma : frameworks, patterns et notes...

Cours UML: Les cas d’utilisation

Extrait du cours UML: Les cas d’utilisation 8.1 Les cas d’utilisation (Use Case) Les cas d’utilisation représentent un élément essentiel de la modélisation orientée objets : ils interviennent très tôt dans la conception, et doivent en principe permettre de concevoir,...

Interface utilisateur du package pst-uml

1 Introduction 1.1 Présentation 1.2 Dépendances 2 Les macros de création d’objet 2.1 \umlClass 2.2 \umlActor 2.3 \umlState, \umlPutStateIn et \umlPutStateOut 2.4 \umlCase et \umlCasePut 2.5 \umlNote 3 Les commandes auxiliaires de pst-uml 3.1 \umlStack 4 Positionnement des objets 4.1...

Le jeu du coyote, étude conceptuelle UML

Sommaire: Le jeu du coyote, étude conceptuelle UML Introduction I.  L'architecture client-serveur II.  L'étude conceptuelle UML III.  Insertion des liens d'héritage IV.  Diagramme des classes généralisé UML V.  Persistance des données Conclusion Extrait du cours le jeu du coyote, étude...

Cours implémentation d’UML avec Java et Design patterns

Sommaire: Cours implémentation d'UML avec Java et Design patterns • Les designs pattern • Généralisation avec le pattern Delegation • Le diagramme d'états-transitions avec le pattern State: – Principes généraux – Instanciation d'un objet à états – Etat composite Extrait...