Java Modeling Language
|
|
- Jean-Jacques Desjardins
- il y a 8 ans
- Total affichages :
Transcription
1 Java Modeling Language Benoit Darties ESIREM ITR4 bourgogne.fr
2 Bibliographie Documents références sur JML :
3 Java Langage de programmation orientée Objet Développé par Sun Projet OAK (1991), Java (1995) Java 1.5 (2004) Langage interprété JMV : Java Virtual Machine Multi-plateforme : Windows, Linux, MacOsX, etc... Niveau d'abstraction Code / Architecture machine
4 Java Compilation : javac Program.java Produit un fichier Program.class : bytecode Execution : java Fichier Interprétation du Bytecode par la JVM
5 Java concepts de la programmation Objet : encapsulation de données: public, private, protected notions d'objets : classe : «moule» à objet instance de classes : objets créés avec ce moule héritage : Class A extends B { } polymorphisme
6 Introduction à JML
7 Qu'est ce que JML? JML : Java Modeling Language Langage de modélisation formelle Associé au langage de programmation Java Inspiré par Eiffel : conception par contrat Auteur de départ : Gary T. Leavens, 1999 Exprime des propriétés sur les classes Java Supporté par différents outils : JML Runtime Assertion Checker JMLUnit, ESC/java2 Site de référence :
8 Outils JML Le compilateur jmlc Compile un fichier java en prenant en compte les annotations JML qu'il contient pour les transformer en vérifications à l'exécution (runtimes checks) Compilateur java amélioré produit un fichier Bytecode qui pourrait etre directement interprété par java s'il n'y avait pas de références vers les packages JML Le compilateur jmlrac Runtime Assertion Checker Ajoute les packages necessaires et appelle java
9 Invariants, Préconditions, Postconditions Invariant : propriété toujours vraie quel que soit l'état du système Précondition : propriété vraie avant l'invocation d'une méthode Postcondition : propriété vraie après la terminaison d'une méthode
10 Conception par contrat Logique d'hoare : pré/-postconditions des programmes Design by Contract : introduit dans langage Eiffel Contrat entre le système qui invoque une méthode, et la méthode qui est invoquée : L'environnement appelant s'engage à remplir les préconditions d'une méthode lors de l'invocation de celle-ci La méthode s'engage à établir les postconditions lorsqu'elle est invoquée La méthode et l'environnement s'engagent également à maintenir l'invariant de classe
11 Un premier exemple Calcul d'une racine carrée : fonction sqrt( ) /** double x réel positif double racine carrée de x */ Public static double sqrt(double x) { }
12 Un premier exemple Calcul d'une racine carrée : fonction sqrt( ) /** double x réel positif double racine carrée de x */ Public static double sqrt(double x) { } Définition des instructions JML : entre les balises /*@ et *@/
13 Un premier exemple Calcul d'une racine carrée : fonction sqrt( ) /** double x réel positif double racine carrée de x */ requires x >= 0.0; Définition d'une précondition : mot clé Public static double sqrt(double x) { }
14 Un premier exemple Calcul d'une racine carrée : fonction sqrt( ) /** double x réel positif double racine carrée de x */ Définition d'une /*@ postcondition requires x >= ensures x == \result *\result; mot clé Public static double sqrt(double x) { }
15 Un premier exemple requires x >= 0.0; Précondition assurant que le paramètre x est bien un réél positif ensures x == \result * \result; Postcondition assurant que le résultat \result est bien la racine carrée de x (à epsilon près) \result : identifie le résultat d'une méthode
16 Annotations JML Une spécification JML s'exprime par un programme Java annoté : annotations JML écrites dans le code Java Placées dans des blocs de commentaires Java spécifiques : Une seule ligne commence par //@ Un bloc est délimité par Cohérence avec syntaxe Java : un programme annoté continue de fonctionner normalement (compilation + exécution)
17 Clauses de spécification Modélisation composée de clauses (prédicats) Décrivent la classe ou les méthodes Spécification de types : parties statiques du modèle initially predicatuml invariant predicatuml constraint predicatuml Spécification de méthodes : parties dynamiques requires predicatuml diverges predicatuml assignable predicatuml ensures predicatuml signals predicatuml
18 Spécifications de types Propriétés portant sur les attributs de la classe Contrainte initiales : clause initially Doit être établie à la création de l'objet Invariant de classe : clause invariant propriété portant sur les attributs de classe qui doivent être vrais dans tous les états «visibles» du système (= état après exécution d'une méthode) Contrainte historique : clause constraint propriété entre un état visible et l'état visible précédent qui doit etre vraie dans tous les états du système
19 Spécifications de méthodes Propriétés relatives aux comportements autorisés des méthodes préconditions : clause requires condition a remplir par le système et les paramètres pour que la méthode puisse etre appelée Divergence : clause diverges condition sous laquelle la méthode ne peut pas se terminer, i.e. boucles infinies, etc.. Champs modifiés : clause assignable liste des attributs modifiés à l'exécution de méthode Postcondition normale : clause ensures condition que la méthode s'engage à établir lorsqu'elle termine normalement
20 Expression des prédicats JML Les prédicats JML sont exprimés à l'aide : des attributs (variables) et paramètres des méthodes de la classe java annotée d'appel à des méthodes pures des opérateurs du langage Java opérateurs arithmétiques opérateurs booléens des opérateurs spécifiques à JML «nouveaux» opérateurs arithmétiques «nouveaux» opérateurs booléens opérateurs avant / après opérateurs de typage Objet
21 Méthodes pures Méthode pure : méthode qui ne modifie aucun attribut peut être utilisée dans les prédicats JML Les méthodes de consultation des classes de l'api Java sont considérées comme pures déclarer une méthode comme étant pure : class C { int val; public /*@ pure */ int getval() { return val; } }
22 Opérateurs arithmétiques Opérateurs binaires Symbole Fonction Champ d'application + addition entiers ou réels - soustraction entiers ou réels * multiplication entiers ou réels / division réelle réels / division entière entiers % reste de la division entière entiers Opérations généralisées de JML \sum, \product, \min, \max, \num.of
23 Opérateurs booléens opérateurs logiques opérateurs relationnels Symbole Fonction & ET logique OU logique ^ OU exclusif! négation logique ==> implication <==> équivalence Symbole Fonction > supérieur >= supérieur ou égal < inférieur <= inférieur ou égal == égal!= différent quantification universelle Symbole ( \forall Type v; predicat1(v); predicat2(v)) Fonction v, (v Type predicat1(v) predicat2(v) ) quantification existentielle Symbole ( \exists Type v; predicat1(v); predicat2(v) ) Fonction v, (v Type predicat1(v) predicat2(v) )
24 Opérateurs avant / après Certaines clauses font référence à l'état avant et l'état après l'exécution d'une méthode \result fait référence au résultat de la méthode \old(x) permet de faire référence à la valeur de x à l'état d'avant exécution de la méthode x fait référence à la valeur de x après exécution de la méthode \not.modified(x) est un booléen indiquant si x n'a pas été modifié lors de l'exécution de la méthode
25 Opérateurs de typage Objet Opérateurs de typage Objet \type(maclasse) retourne le type décrit par la spécification de la classe MaClasse \typeof(monobj) retourne le type de l'objet monobj < : permet de savoir si un type est un sous-type d'un autre (héritage) //@ \typeof(monobj) < : \type(maclasse) est vrai si le type de l'objet monobj est un sous-type de la classe MaClasse. Dit autrement : monobj est une instance d'une sous-classe de Maclasse.
26 Visibilité des spécifications
27 Portée des spécifications Les prédicats d'une méthode font partie de son interface, donc de sa documentation méthodes privées : ont droit aux prédicats comme les méthodes publiques par contre, on n'a pas envie de publier les prédicats à l'extérieur à de la classe (dans Javadoc par ex) Spécifications : visibilité comme en Java public, private, protected, ou limitée au package par défaut : visibilité de la spécification = visibilité de la méthode / du type associé au prédicat
28 Portée des spécifications Attention : Mais : une spécification de doit pas autoriser plus d'accès que le source Java Ex : impossible de mentionner un attribut Java privé dans une spécification publique elle décrit comment l'état de l'objet évolue l'état de l'objet est représenté par ses attributs pour respecter le principe d'encapsulation, les attributs d'un objet sont le plus souvent privés les spécifications des attributs seraient le plus souvent privées peu d'utilité
29 Portée des spécifications La spécification suivante est incorrecte : utilisation d'un attribut privé dans une spec publique public class Disk { /** size of the disk */ private int size; //@ requires t > 0 //@ ensures this.size == t; public Disk(int t) { } } La postcondition d'une méthode publique n'a pas de visibilité sur l'attribut privé
30 Portée des spécifications Une solution : spec_public Autorise un attribut dans toute spécification Donne une visibilité publique pour les spécifications revient à dévoiler l'implémentation fort couplage avec la mise en oeuvre public class Disk { /** size of the disk */ private /*@ int size; //@ requires t > 0 //@ ensures this.size == t; public Disk(int t) { } }
31 Portée des spécifications Autre solution : attribut modèle Déclarer un attribut abstrait JML qui représente l'attribut Java dans les spécifications ne doit apparaître QUE dans les spécifications ne doit jamais apparaître dans le code plus orienté type abstrait de données, plus élégant met en valeur le fait que la spécification représente une abstraction du comportement de l'objet
32 Portée des spécifications Autre solution : attribut modèle public class Disk { /** size of the disk */ //@ public model int size; private int itssize; //@ private represents this.size < this.itssize; //@ requires t > 0 //@ ensures this.size == t; public Disk(int t) { } }
33 Portée des spécifications L'attribut modèle size est déclaré : public pour pouvoir l'utiliser dans une spécification de n'importe quel niveau de visibilité avec le modificateur model, qui le distingue d'un attribut Java classique. Pour corréler les valeurs de size et itssize : clause represents : size a la valeur de itssize clause privée, car elle mentionne un attribut privé
34 Portée des spécifications Autre exemple : private int hour; private int minuts; private int seconds; //@ public model long time; //@ private represents time < seconds + minuts*60 + hours*60*60; //@ ensures time == \old( time +1) % 24*60*60; public void tick { seconds++; if (seconds == 60) {seconds =0; minuts++;} if (minuts == 60) {minuts = 0; hours++;} if (hours == 24) {hours = 0;} }
35 Spécification de méthodes et de classes
36 Spécification de méthodes et de classes Quatre cas exclusifs pour la terminaison d'une méthode, propre à JML : terminaison normale terminaison exceptionnelle (levée d'exception) la JML génère une erreur la méthode diverge (ne lève pas d'exception, mais elle ne retourne rien)
37 Spécification de méthodes et de classes Précondition: la précondition doit être vraie lors de l'appel a la méthode mot clé requires //@ requires x >= 0.0; Public static double sqrt(double x) {... } valeur par défaut : \not_speficied, interprétée à true lors de l'exécution et par la majorité des outils
38 Spécification de méthodes et de classes Précondition: deux clauses requires P1; et requires P2; sont équivalentes à requires P1 && P2; l'opérateur && n'est pas commutatif : l'ordre des préconditions a son importance! //@ requires o!= null; //@ requires o.getval() > 10; différent de //@ requires o.getval() > 10; //@ requires o!= null;
39 Spécification de méthodes et de classes Précondition : l'outil jmlc sait générer automatiquement le code correspondant à la supervision des préconditions depuis JML 5.3 : pour tout paramètre formel x, x!= null est une précondition par défaut pour invalider ce mode par défaut : mot clé nullable public void nom(/*@ String x) {... }
40 Spécification de méthodes et de classes Postcondition : Si la précondition est vraie lors de l'appel à la méthode, et que celle-ci se termine normalement, alors la postcondition normale doit etre vraie mot clé ensures //@ requires x >= 0.0; //@ ensures x == \result *\result; public static double sqrt(double x) {... } valeur par défaut : \not_specified, interprétée à true lors de l'exécution et par la majorité des outils
41 Spécification de méthodes et de classes Postcondition: deux clauses ensures P1; et ensures P2; sont équivalentes à ensures P1 && P2; l'opérateur && n'est pas commutatif : l'ordre des postconditions a son importance! Résultat d'une fonction : \result Accès aux valeurs avant appel : \old Attention : \old copie les référence \old(o) souvent différent de \old(o.a)
42 Spécification de méthodes et de classes Attributs modifiables Appelés «frame action» Permet de dire dans une spéc. «ces attributs peuvent changer... et rien d'autre ne change» terme venant du domaine IA héritage des prouveurs
43 Spécification de méthodes et de classes Attributs modifiables exemple : classe Point avec coordonnées x et y l'accesseur en écriture sur x ne doit pas modifier y //@ ensures this.x == x; public void setx(int x) { this.x = x; }
44 Spécification de méthodes et de classes Attributs modifiables exemple : classe Point avec coordonnées x et y l'accesseur en écriture sur x ne doit pas modifier y //@ ensures this.x == x; //@ ensures \old(y) == y; public void setx(int x) { this.x = x; y = 1234; } ajout d'une post-condition pour détecter l'erreur
45 Spécification de méthodes et de classes Attributs modifiables exemple : classe Point avec coordonnées x et y l'accesseur en écriture sur x ne doit pas modifier y //@ assignable x //@ ensures this.x == x; public void setx(int x) { this.x = x; } En JML, on écrira que seul x peut changer
46 Spécification de méthodes et de classes Mot clé assignable exclut les paramètres formels et les variables locales si x est un attribut modèle, impossible d'utiliser x.toto dans une clause assignable; valeur par défaut : \not_specified, qui vaut dans la plupart des outils \everything autre valeur possible : \nothing; Raccourci pour assignable \nothing; : déclarer la méthode pure La validation des clauses assignable n'est pas faite à l'exécution (difficile)
47 Spécification de méthodes et de classes Postconditions exceptionnelles pour indiquer quelles exceptions une méthode peut lever : mot clé signals_only suivi d'une liste de noms d'exceptions valeur par défaut : liste des java.lang.exception déclarées dans la clause throws de la méthode java.lang.error pas pris en compte Pour indiquer dans quelles conditions une exception peut etre levée : mot clé signals suivi du nom d'exception, suivi d'une condition qui doit etre vraie si l'exception est levée par défaut : \not_specified, interprété par true dans la plupart des outils
48 Spécification de méthodes et de classes Exemple : public void mafonction(disk d) throws FullTowerExc eption, IllegalPushException, NullPointerException;
49 Spécification de méthodes et de classes Exemple : /*@ signals_only IllegalPushException, public void mafonction(disk d) throws FullTowerExc eption, IllegalPushException, NullPointerException;
50 Spécification de méthodes et de classes Exemple : /*@ signals_only IllegalPushException, signals (NullPointerException e) signals (IllegalPushException e) d.size> signals (FullTowerException e) public void mafonction(disk d) throws FullTowerExc eption, IllegalPushException, NullPointerException;
51 Spécification de méthodes et de classes Exemple : /*@ signals_only IllegalPushException, signals (NullPointerException e) signals (IllegalPushException e) d.size> signals (FullTowerException e) public void mafonction(disk d) throws FullTowerExc eption, IllegalPushException, NullPointerException; Attention : JML ne lève pas l'exception à la place du programmeur, il se contente de vérifier que l'exception a été levée à bon escient : verifie que si FullTowerException a été levé, isfull() est vrai
52 Spécification de méthodes et de classes Ordre des éléments de spécification préconditions : requires clauses assignable postconditions normales : ensures postconditions exceptionnelles : signals_only et signals
53 Quantificateurs
54 Quantificateurs Ajout de quantificateurs par rapport à Eiffel quantificateur universel \forall quantificateur existentiel \exists somme sur une collection de numériques : \sum produit sur une collection de numériques : \product Même syntaxe que le for de Java
55 Quantificateurs Quantificateurs généralisés \sum, \product, \min, \max utilisés avec types numériques, tels int ou float (\sum int i; 0 <= i && i < 5; i) == (\product int i; 0 < i && i < 5; i) == 1*2*3*4 (\max int i; 0 <= i && i < 5; i) == 4 (\min int i; 0 <= i && i < 5; i 1) == 1
56 Quantificateurs Exemple sur listes : type List Typer une liste en JML List l =... ; /*@ invariant (\forall Object o; l.contains(o); o instanceof Poser une contrainte d'initialisation List l =... ; /*@ invariant (\exists Object o; l.contains(o); o!=
57 Quantificateurs Exemple sur listes : type List Spécifier un résultat List l =... ; /*@ \result = \sum (Integer i; l.contains(i); Contraintes sur les éléments d'un tableau String[] array =... ; /*@ (\forall int i; 0 <= i && i < array.length; array[i]!=
58 Spécification par cas
59 Spécification par cas Permet de développer des spécifications en mini-contrats Mot clé : also Permet d'écrire des spécifications de la forme: Dans le cas précond1, alors postcond1; et aussi : dans le cas précond2, alors postcond2; etc...
60 Spécification par cas Exemple : calcul d'une valeur absolue //@ ensures x >=0 ==> \result == x; //@ ensures x <0 ==> \result == x; public /*@ int valabs(int x) {... } /*@ requires x >= ensures \result == requires x < ensures \result == public /*@ int valabs(int x) {...}
61 Spécification par cas Exemple : calcul d'une valeur absolue /*@ requires x >= 0 x < ensures \old(x>=0) ==> \result == ensures \old(x<0) ==> \result == public /*@ int valabs(int x) {... }
62 Application
63 Gestionnaire de cours Mise en place d'un gestionnaire de cours : Un cours a un nombre max de places disponibles Un étudiant (nom prénom) peut s'inscrire à un cours Seul un étudiant encore jamais inscrit peut s'inscrire Un étudiant inscrit peut passer l'examen S'il réussi l'examen, il obtient le diplome. Sinon il est collé Un étudiant collé peut repasser une fois l'examen avant d'etre définitivement refusé. etc...
64 Gestionnaire de cours Une classe Etudiant deux attributs : nom et prénom 1 constructeur : Etudiant (nom, prénom) 1 méthode : tostring() Une classe Cours 5 attributs : max, inscrits, collé, refusé, diplômé 1 constructeur : Cours(maxi) 4 méthodes : nouvel_etudiant(etudiant), test_reussi(etudiant), test_rate_colle(etudiant), test_rate_refuse(etudiant)
65 Gestionnaire de cours classe Etudiant public class Etudiant { private String nom ; private String prenom ; } Etudiant(String nom, String prenom) { this.nom = nom ; this.prenom = prenom ; } public String tostring() { return prenom + " " + nom ; }
66 Gestionnaire de cours classe Etudiant public class Etudiant { private /*@ spec public non null */ String nom ; private /*@ spec public non null */ String prenom ; } Etudiant(String nom, String prenom) { this.nom = nom ; this.prenom = prenom ; } public String tostring() { return prenom + " " + nom ; }
67 Gestionnaire de cours classe Etudiant public class Etudiant { private /*@ spec public non null */ String nom ; private /*@ spec public non null */ String prenom ; //@ invariant!nom.equals("") &!prenom.equals("") ; } Etudiant(String nom, String prenom) { this.nom = nom ; this.prenom = prenom ; } public String tostring() { return prenom + " " + nom ; }
68 Gestionnaire de cours classe Cours public class Cours { private int max ; private HashSet inscrits ; private HashSet colles ; private HashSet refuses ; private HashSet diplomes ; Cours(int maxi) { max = maxi ; inscrits = new HashSet(max) ; colles = new HashSet(max) ; refuses = new HashSet(max) ; diplomes = new HashSet(max) ; }
69 Gestionnaire de cours classe Cours public void nouvel_etudiant(etudiant etudiant) { inscrits.add(etudiant) ; } public void_test_reussi(etudiant etudiant) { inscrits.remove(etudiant) ; diplomes.add(etudiant) ; } public void test_rate_colle(etudiant etudiant) { colles.add(etudiant) ; } }
70 Gestionnaire de cours classe Cours public class Cours { private /*@ spec public *@/ int max ; private /*@ spec public *@/ HashSet inscrits ; private /*@ spec public *@/ HashSet colles ; private /*@ spec public *@/ HashSet refuses ; private /*@ spec public *@/ HashSet diplomes ;
71 Gestionnaire de cours classe Cours public class Cours { private /*@ spec public *@/ int max ; private /*@ spec public *@/ HashSet inscrits ; private /*@ spec public *@/ HashSet colles ; private /*@ spec public *@/ HashSet refuses ; private /*@ spec public *@/ HashSet diplomes ; invariant max > 0 invariant inscrits.size() <= max invariant (\forall Etudiant e ; colles.contains(e) ; inscrits.contains(e))
72 Gestionnaire de cours classe initially inscrits.isempty() initially colles.isempty() initially refuses.isempty() initially diplomes.isempty()
73 Gestionnaire de cours classe initially inscrits.isempty() initially colles.isempty() initially refuses.isempty() initially diplomes.isempty() Cours(int maxi) { max = maxi ; inscrits = new HashSet(max) ; colles = new HashSet(max) ; refuses = new HashSet(max) ; diplomes = new HashSet(max) ; }
74 Gestionnaire de cours classe initially inscrits.isempty() initially colles.isempty() initially refuses.isempty() initially diplomes.isempty() //@ requires maxi >0; Cours(int maxi) { max = maxi ; inscrits = new HashSet(max) ; colles = new HashSet(max) ; refuses = new HashSet(max) ; diplomes = new HashSet(max) ; }
75 Gestionnaire de cours classe Cours public void nouvel_etudiant(etudiant etudiant){ inscrits.add(etudiant) ; }
76 Gestionnaire de cours classe requires!inscrits.contains(etudiant) requires!diplomes.contains(etudiant) requires!refuses.contains(etudiant) requires inscrits.size() < max ensures inscrits.contains(etudiant) public void nouvel_etudiant(etudiant etudiant){ inscrits.add(etudiant) ; }
77 Gestionnaire de cours classe Cours public void test_reussi(etudiant etudiant) { inscrits.remove(etudiant) ; diplomes.add(etudiant) ; }
78 Gestionnaire de cours classe requires inscrits.contains(etudiant) ensures!inscrits.contains(etudiant) ensures diplomes.contains(etudiant) public void test_reussi(etudiant etudiant) { inscrits.remove(etudiant) ; diplomes.add(etudiant) ; }
79 Gestionnaire de cours classe Cours public void test_rate_colle(etudiant etudiant) { colles.add(etudiant) ; }
80 Gestionnaire de cours classe requires inscrits.contains(etudiant) requires!colles.contains(etudiant) ensures colles.contains(etudiant) public void test_rate_colle(etudiant etudiant) { colles.add(etudiant) ; }
81 Gestionnaire de cours classe Cours public void test rate refuse(etudiant etudiant){ inscrits.remove(etudiant) ; colles.remove(etudiant) ; refuses.add(etudiant) ; }
82 Gestionnaire de cours classe requires inscrits.contains(etudiant) requires colles.contains(etudiant) ensures!inscrits.contains(etudiant) ensures!colles.contains(etudiant) ensures refuses.contains(etudiant) public void test rate refuse(etudiant etudiant){ inscrits.remove(etudiant) ; colles.remove(etudiant) ; refuses.add(etudiant) ; }
Pour signifier qu'une classe fille hérite d'une classe mère, on utilise le mot clé extends class fille extends mère
L'héritage et le polymorphisme en Java Pour signifier qu'une classe fille hérite d'une classe mère, on utilise le mot clé extends class fille extends mère En java, toutes les classes sont dérivée de la
Plus en détailEncapsulation. L'encapsulation consiste à rendre les membres d'un objet plus ou moins visibles pour les autres objets.
Encapsulation L'encapsulation consiste à rendre les membres d'un objet plus ou moins visibles pour les autres objets. La visibilité dépend des membres : certains membres peuvent être visibles et d'autres
Plus en détailProgrammer en JAVA. par Tama (tama@via.ecp.fr( tama@via.ecp.fr)
Programmer en JAVA par Tama (tama@via.ecp.fr( tama@via.ecp.fr) Plan 1. Présentation de Java 2. Les bases du langage 3. Concepts avancés 4. Documentation 5. Index des mots-clés 6. Les erreurs fréquentes
Plus en détailHéritage presque multiple en Java (1/2)
Héritage presque multiple en Java (1/2) Utiliser deux classes ou plus dans la définition d'une nouvelle classe peut se faire par composition. class Etudiant{ int numero; Diplome d; float passeexamen(examen
Plus en détailTP1 : Initiation à Java et Eclipse
TP1 : Initiation à Java et Eclipse 1 TP1 : Initiation à Java et Eclipse Systèmes d Exploitation Avancés I. Objectifs du TP Ce TP est une introduction au langage Java. Il vous permettra de comprendre les
Plus en détailInitiation à JAVA et à la programmation objet. raphael.bolze@ens-lyon.fr
Initiation à JAVA et à la programmation objet raphael.bolze@ens-lyon.fr O b j e c t i f s Découvrir un langage de programmation objet. Découvrir l'environnement java Découvrir les concepts de la programmation
Plus en détailChapitre 10. Les interfaces Comparable et Comparator 1
Chapitre 10: Les interfaces Comparable et Comparator 1/5 Chapitre 10 Les interfaces Comparable et Comparator 1 1 Ce chapitre a été extrait du document "Objets, Algorithmes, Patterns" de [René Lalement],
Plus en détailTP n 2 Concepts de la programmation Objets Master 1 mention IL, semestre 2 Le type Abstrait Pile
TP n 2 Concepts de la programmation Objets Master 1 mention IL, semestre 2 Le type Abstrait Pile Dans ce TP, vous apprendrez à définir le type abstrait Pile, à le programmer en Java à l aide d une interface
Plus en détailIntroduction à Java. Matthieu Herrb CNRS-LAAS. Mars 2014. http://homepages.laas.fr/matthieu/cours/java/java.pdf
Introduction à Java Matthieu Herrb CNRS-LAAS http://homepages.laas.fr/matthieu/cours/java/java.pdf Mars 2014 Plan 1 Concepts 2 Éléments du langage 3 Classes et objets 4 Packages 2/28 Histoire et motivations
Plus en détailExpression des contraintes. OCL : Object C o n t r a i n t L a n g u a g e
P r o b l é m a t i q u e OCL : O b j e c t C o n s t r a i n t L a n g u a g e Le langage de contraintes d UML Les différents diagrammes d UML permettent d exprimer certaines contraintes graphiquement
Plus en détailPlan. Exemple: Application bancaire. Introduction. OCL Object Constraint Language Le langage de contraintes d'uml
OCL Object Constraint Language Le langage de contraintes d'uml Plan 1. Introduction 2. Les principaux concepts d'ocl Object Constraint Language 1 Object Constraint Language 2 Exemple: une application bancaire
Plus en détailUne introduction à Java
Une introduction à Java IFT 287 (Semaine 1) UNIVERSITÉ DE SHERBROOKE 1 Java - Historique Développé par Sun Microsystems en 1994 Inventeur James Gosling (canadien!) Objectif langage sûr (fortement typé)
Plus en détailJava Licence Professionnelle CISII, 2009-2010. Cours 2 : Classes et Objets
Licence Professionnelle CISII, 2009-2010 Cours 2 : Classes et Objets 1 Classes et Objets Objectifs des LOO : - Manipuler des objets - Découper les programmes suivant les types des objets manipulés - Regrouper
Plus en détailStructure d un programme et Compilation Notions de classe et d objet Syntaxe
Cours1 Structure d un programme et Compilation Notions de classe et d objet Syntaxe POO 1 Programmation Orientée Objet Un ensemble d objet qui communiquent Pourquoi POO Conception abstraction sur les types
Plus en détailRAPPELS SUR LES METHODES HERITEES DE LA CLASSE RACINE Object ET LEUR SPECIALISATION (i.e. REDEFINITION)
CLASSE RACINE Object ancêtre de toutes les classes RAPPELS SUR LES METHODES HERITEES DE LA CLASSE RACINE Object ET LEUR SPECIALISATION (i.e. REDEFINITION) définit donc des méthodes héritées par toutes
Plus en détailExceptions. 1 Entrées/sorties. Objectif. Manipuler les exceptions ;
CNAM NFP121 TP 10 19/11/2013 (Séance 5) Objectif Manipuler les exceptions ; 1 Entrées/sorties Exercice 1 : Lire un entier à partir du clavier Ajouter une méthode readint(string message) dans la classe
Plus en détailLMI 2. Programmation Orientée Objet POO - Cours 9. Said Jabbour. jabbour@cril.univ-artois.fr www.cril.univ-artois.fr/~jabbour
LMI 2 Programmation Orientée Objet POO - Cours 9 Said Jabbour jabbour@cril.univ-artois.fr www.cril.univ-artois.fr/~jabbour CRIL UMR CNRS 8188 Faculté des Sciences - Univ. Artois Février 2011 Les collections
Plus en détailRappel. Analyse de Données Structurées - Cours 12. Un langage avec des déclaration locales. Exemple d'un programme
Rappel Ralf Treinen Université Paris Diderot UFR Informatique Laboratoire Preuves, Programmes et Systèmes treinen@pps.univ-paris-diderot.fr 6 mai 2015 Jusqu'à maintenant : un petit langage de programmation
Plus en détailChapitre 2. Classes et objets
Chapitre 2: Classes et Objets 1/10 Chapitre 2 Classes et objets Chapitre 2: Classes et Objets 2/10 Approche Orientée Objet Idée de base de A.O.O. repose sur l'observation de la façon dont nous procédons
Plus en détailCours 1: Java et les objets
Ressources Les interface homme-machine et le langage Java DUT première année Henri Garreta, Faculté des Sciences (Luminy) Cyril Pain-Barre & Sébastien Nedjar, IUT d Aix-Marseille (Aix) Cours 1: infodoc.iut.univ-aix.fr/~ihm/
Plus en détailPlan du cours. Historique du langage http://www.oracle.com/technetwork/java/index.html. Nouveautés de Java 7
Université Lumière Lyon 2 Faculté de Sciences Economiques et Gestion KHARKIV National University of Economic Introduction au Langage Java Master Informatique 1 ère année Julien Velcin http://mediamining.univ-lyon2.fr/velcin
Plus en détailAuto-évaluation Programmation en Java
Auto-évaluation Programmation en Java Document: f0883test.fm 22/01/2013 ABIS Training & Consulting P.O. Box 220 B-3000 Leuven Belgium TRAINING & CONSULTING INTRODUCTION AUTO-ÉVALUATION PROGRAMMATION EN
Plus en détailINITIATION AU LANGAGE JAVA
INITIATION AU LANGAGE JAVA I. Présentation 1.1 Historique : Au début des années 90, Sun travaillait sur un projet visant à concevoir des logiciels simples et performants exécutés dans des PDA (Personnal
Plus en détailLangage et Concepts de ProgrammationOrientée-Objet 1 / 40
Déroulement du cours Introduction Concepts Java Remarques Langage et Concepts de Programmation Orientée-Objet Gauthier Picard École Nationale Supérieure des Mines de Saint-Étienne gauthier.picard@emse.fr
Plus en détailas Architecture des Systèmes d Information
Plan Plan Programmation - Introduction - Nicolas Malandain March 14, 2005 Introduction à Java 1 Introduction Présentation Caractéristiques Le langage Java 2 Types et Variables Types simples Types complexes
Plus en détailC++ COURS N 2 : CLASSES, DONNÉES ET FONCTIONS MEMBRES Classes et objets en C++ Membres d'une classe Spécification d'une classe Codage du comportement
C++ COURS N 2 : CLASSES, DONNÉES ET FONCTIONS MEMBRES Classes et objets en C++ Membres d'une classe Spécification d'une classe Codage du comportement des objets d'une classe Utilisation d'une classe Droit
Plus en détailDiplôme Européen de III ème cycle en Systèmes d'information!"" #!$%& ' (
$%&)"& Diplôme Européen de III ème cycle en Systèmes d'information!"" #!$%& ' ( 2002-2003 * #& % Introduction... 1 Contexte et motivation... 1 Objectif du Travail... 2 Partie I: Etat de l'art 1. Chapitre1
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étailFacultés Universitaires Notre-Dame de la Paix. Conception et Programmation Orientées- Object
Facultés Universitaires Notre-Dame de la Paix Conception et Programmation Orientées- Object 2008-2009 RÉSUMÉ PRATIQUE... 4 CLASSE OBJET... 4 NOTION D HÉRITAGE... 4 LE POLYMORPHISME... 5 LES CLASSES ABSTRAITES...
Plus en détailSHERLOCK 7. Version 1.2.0 du 01/09/09 JAVASCRIPT 1.5
SHERLOCK 7 Version 1.2.0 du 01/09/09 JAVASCRIPT 1.5 Cette note montre comment intégrer un script Java dans une investigation Sherlock et les différents aspects de Java script. S T E M M E R I M A G I N
Plus en détailChapitre VI- La validation de la composition.
Chapitre VI- La validation de la composition. Objectifs du chapitre : Expliquer les conséquences de l utilisation de règles de typage souples dans SEP. Présenter le mécanisme de validation des connexions
Plus en détailLicence Bio Informatique Année 2004-2005. Premiers pas. Exercice 1 Hello World parce qu il faut bien commencer par quelque chose...
Université Paris 7 Programmation Objet Licence Bio Informatique Année 2004-2005 TD n 1 - Correction Premiers pas Exercice 1 Hello World parce qu il faut bien commencer par quelque chose... 1. Enregistrez
Plus en détailProgrammation par les Objets en Java
Programmation par les Objets en Java Najib TOUNSI Les classes en Java (TD 3) I. Notion de classe I.1 Classe, champs, méthodes, instanciation, this, private vs. public. Créer une classe Point (coordonnée
Plus en détailInfo0101 Intro. à l'algorithmique et à la programmation. Cours 3. Le langage Java
Info0101 Intro. à l'algorithmique et à la programmation Cours 3 Le langage Java Pierre Delisle, Cyril Rabat et Christophe Jaillet Université de Reims Champagne-Ardenne Département de Mathématiques et Informatique
Plus en détailCours 1 : Introduction. Langages objets. but du module. contrôle des connaissances. Pourquoi Java? présentation du module. Présentation de Java
Langages objets Introduction M2 Pro CCI, Informatique Emmanuel Waller, LRI, Orsay présentation du module logistique 12 blocs de 4h + 1 bloc 2h = 50h 1h15 cours, 45mn exercices table, 2h TD machine page
Plus en détailJava Licence Professionnelle CISII, 2009-2010
Licence Professionnelle CISII, 2009-2010 Cours 1 : Introduction à Java A. Belaïd abelaid@loria.fr Cours disponible sur le site : http://www.loria.fr/~abelaid puis Teaching 1 Fonctionnement 12 séances :
Plus en détailCours intensif Java. 1er cours: de C à Java. Enrica DUCHI LIAFA, Paris 7. Septembre 2009. Enrica.Duchi@liafa.jussieu.fr
. Cours intensif Java 1er cours: de C à Java Septembre 2009 Enrica DUCHI LIAFA, Paris 7 Enrica.Duchi@liafa.jussieu.fr LANGAGES DE PROGRAMMATION Pour exécuter un algorithme sur un ordinateur il faut le
Plus en détailGénéralités. javadoc. Format des commentaires. Format des commentaires. Caractères spéciaux. Insérer du code
Généralités javadoc Université de Nice - Sophia Antipolis Richard Grin Version 1.4.1 8/2/11 javadoc produit de la documentation en partant de commentaires particuliers insérés dans le code source des classes
Plus en détailINTRODUCTION A JAVA. Fichier en langage machine Exécutable
INTRODUCTION A JAVA JAVA est un langage orienté-objet pur. Il ressemble beaucoup à C++ au niveau de la syntaxe. En revanche, ces deux langages sont très différents dans leur structure (organisation du
Plus en détailJava Licence Professionnelle CISII, 2009-10
Java Licence Professionnelle CISII, 2009-10 Cours 4 : Programmation structurée (c) http://www.loria.fr/~tabbone/cours.html 1 Principe - Les méthodes sont structurées en blocs par les structures de la programmation
Plus en détailTP1. Outils Java Eléments de correction
c sep. 2008, v2.1 Java TP1. Outils Java Eléments de correction Sébastien Jean Le but de ce TP, sur une séance, est de se familiariser avec les outils de développement et de documentation Java fournis par
Plus en détailEnvironnements de développement (intégrés)
Environnements de développement (intégrés) Tests unitaires, outils de couverture de code Patrick Labatut labatut@di.ens.fr http://www.di.ens.fr/~labatut/ Département d informatique École normale supérieure
Plus en détailBTS S.I.O. 2012-2013 PHP OBJET. Module SLAM4. Nom du fichier : PHPRévisionObjetV2.odt Auteur : Pierre Barais
BTS S.I.O. 2012-2013 PHP OBJET Module SLAM4 Nom du fichier : PHPRévisionObjetV2.odt Auteur : Pierre Barais Table des matières 1 But... 3 2 Les bases :... 3 3 Utilisation d'une classe : Instanciation...3
Plus en détailJava Licence Professionnelle 2009-2010. Cours 7 : Classes et méthodes abstraites
Java Licence Professionnelle 2009-2010 Cours 7 : Classes et méthodes abstraites 1 Java Classes et méthodes abstraites - Le mécanisme des classes abstraites permet de définir des comportements (méthodes)
Plus en détailLangage et Concepts de Programmation Objet. 1 Attributs et Méthodes d instance ou de classe. Travaux Dirigés no2
Langage et Concepts de Programmation Objet Travaux Dirigés no2 Pôle Informatique École Nationale Supérieure des Mines de St-Etienne Vous trouverez plus de détails sur les concepts abordés lors de ce TD
Plus en détailBases Java - Eclipse / Netbeans
Institut Galilée PDJ Année 2014-2015 Master 1 Environnements Java T.P. 1 Bases Java - Eclipse / Netbeans Il existe plusieurs environnements Java. Il est ESSENTIEL d utiliser la bonne version, et un environnement
Plus en détailP r ob lé m a t iq u e d e la g é n é r icit é. Pr in cip e d e la g é n é r icit é e n Ja v a ( 1 /3 )
P r ob lé m a t iq u e d e la g é n é r icit é les versions de Java antérieures à 1.5 permettaient de créer des classes de structures contenant n'importe quels types d'objet : les collections (classes
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étailTp 1 correction. Structures de données (IF2)
Tp 1 correction Structures de données (IF2) Remarque générale : compilez et exécutez le code au-fur-et-à mesure de son écriture. Il est plus facile de corriger une petite portion de code délimitée que
Plus en détailClasses et Objets en Ocaml.
Classes et Objets en Ocaml. Didier Rémy 2001-2002 http://cristal.inria.fr/ remy/mot/2/ http://www.enseignement.polytechnique.fr/profs/informatique/didier.remy/mot/2/ Cours Exercices Slide 1 1. Objets 2.
Plus en détailINF2015 Développement de logiciels dans un environnement Agile. Examen intra 20 février 2014 17:30 à 20:30
Examen intra 20 février 2014 17:30 à 20:30 Nom, prénom : Code permanent : Répondez directement sur le questionnaire. Question #1 5% Quelle influence peut avoir le typage dynamique sur la maintenabilité
Plus en détailF. Barthélemy. 17 mai 2005
Typage de la généricité en Java F. Barthélemy 17 mai 2005 1 Le shéma général La g én éricit é en Java est un ajout r éalis é sur un langage existant depuis d éjà une dizaine d ann ées, avec des contraintes
Plus en détailGénéralités sur le Langage Java et éléments syntaxiques.
Généralités sur le Langage Java et éléments syntaxiques. Généralités sur le Langage Java et éléments syntaxiques....1 Introduction...1 Genéralité sur le langage Java....1 Syntaxe de base du Langage...
Plus en détailApplication web de gestion de comptes en banques
Application web de gestion de comptes en banques Objectif Réaliser une application Web permettant à un client de gérer ses comptes en banque Diagramme de cas d'utilisation 1 Les cas d'utilisation Connexion
Plus en détailJAVA TD0. Prise en main du langage Environnement de base JAVA 1
JAVA TD0 Prise en main du langage Environnement de base JAVA 1 Mon premier programme public class HelloWorld { public static void main(string [] arg){ System.out.println("Hello, World!"); main(string []
Plus en détailObjets et Programmation. origine des langages orientés-objet
Objets et Programmation origine des langages orientés-objet modularité, encapsulation objets, classes, messages exemples en Java héritage, liaison dynamique G. Falquet, Th. Estier CUI Université de Genève
Plus en détailJava c est quoi? Java pourquoi?
Grandes lignes du cours Cours JAVA : Le bases du langage Java. Version 3.02 Julien Sopena 1 1 julien.sopena@lip6.fr Équipe REGAL - INRIA Rocquencourt LIP6 - Université Pierre et Marie Curie Licence professionnelle
Plus en détailRMI le langage Java XII-1 JMF
Remote Method Invocation (RMI) XII-1 Introduction RMI est un ensemble de classes permettant de manipuler des objets sur des machines distantes (objets distants) de manière similaire aux objets sur la machine
Plus en détailPrénom : Matricule : Sigle et titre du cours Groupe Trimestre INF1101 Algorithmes et structures de données Tous H2004. Loc Jeudi 29/4/2004
Questionnaire d'examen final INF1101 Sigle du cours Nom : Signature : Prénom : Matricule : Sigle et titre du cours Groupe Trimestre INF1101 Algorithmes et structures de données Tous H2004 Professeur(s)
Plus en détailTD/TP PAC - Programmation n 3
Université Paris Sud Licence d informatique/iup-miage2 - Année 2004-2005 auteur : Frédéric Vernier semaine : 11-16 octobre 2004 conditions : sur machine avec les outils standards java web: http://vernier.frederic.free.fr/indexpac.html
Plus en détailCréation d objet imbriqué sous PowerShell.
Création d objet imbriqué sous PowerShell. Par Laurent Dardenne, le 13/01/2014. Niveau Ce tutoriel aborde la création d objet composé, c est-à-dire que certains de ses membres seront eux-mêmes des PSObjects.
Plus en détailJava c est quoi? Java. Java. Java : Principe de fonctionnement 31/01/2012. 1 - Vue générale 2 - Mon premier programme 3 - Types de Programme Java
1 - Vue générale 2 - Mon premier programme 3 - Types de Programme 1 2 c est quoi? Technologie développée par SUN Microsystems lancée en 1995 Dans un des premiers papiers* sur le langage JAVA, SUN le décrit
Plus en détailGénie Logiciel avec Ada. 4 février 2013
Génie Logiciel 4 février 2013 Plan I. Généralités II. Structures linéaires III. Exceptions IV. Structures arborescentes V. Dictionnaires I. Principes II. Notions propres à la POO I. Principes Chapitre
Plus en détailArbres binaires de recherche
1 arbre des comparaisons 2 recherche dichotomique l'arbre est recalculé à chaque recherche 2 5 3 4 7 9 1 6 1 2 3 4 5 6 7 9 10 conserver la structure d'arbre au lieu de la reconstruire arbre binaire de
Plus en détailPage 1 sur 5 TP3. Thèmes du TP : l la classe Object. l Vector<T> l tutorial Interfaces. l Stack<T>
Page 1 sur 5 TP3 Lectures préalables : l Java_II l tutorial Interfaces Thèmes du TP : l la classe Object l Vector l Stack Une pile d'objects Les éléments de la classe Pile sont maintenant des instances
Plus en détailI. Introduction aux fonctions : les fonctions standards
Chapitre 3 : Les fonctions en C++ I. Introduction aux fonctions : les fonctions standards A. Notion de Fonction Imaginons que dans un programme, vous ayez besoin de calculer une racine carrée. Rappelons
Plus en détailTD/TP PAC - Programmation n 3
Université Paris Sud Licence d informatique/iup-miage2 Année 2004-2005 Auteur : Frédéric Vernier Semaine : 11-16 octobre 2004 Conditions : sur machine avec les outils standards java web: http://vernier.frederic.free.fr/indexpac.html
Plus en détailDiagramme de classes
Diagramme de classes Un diagramme de classes décrit les classes et leurs relations (associations, généralisation/spécialisation, ). classe association méthodes attributs héritage Diagramme de classes :
Plus en détailProgrammation Objet Java Correction
INSA - 4 AE 2007 2008 Durée : 1H00 Contrôle Programmation Objet Java Correction Consignes Tous les documents sont autorisés, mais ils seront peu utiles. Indiquez vos nom et prénom sur chaque feuille. Le
Plus en détailGOL-502 Industrie de services. Travaux Pratique / Devoir #7
GOL-502 Industrie de services Travaux Pratique / Devoir #7 Version 2012 Modélisation à l'aide du langage UML 1) Diagramme de cas d'utilisation 2) Diagramme de classes 3) Diagramme de séquence 4) Diagramme
Plus en détailPolymorphisme, la classe Object, les package et la visibilité en Java... 1
Polymorphisme, la classe Object, les package et la visibilité en Java. Polymorphisme, la classe Object, les package et la visibilité en Java.... 1 Polymorphisme.... 1 Le DownCast... 4 La Classe Object....
Plus en détailUML. Diagrammes de classes (suite) Delphine Longuet. delphine.longuet@lri.fr
Polytech Paris-Sud Formation initiale 3 e année Spécialité Informatique Année 2014-2015 UML Diagrammes de classes (suite) Delphine Longuet delphine.longuet@lri.fr Opérations Opérations Service qui peut
Plus en détailPolycopié Cours Programmation Orientée Objet sous Java Programme : Filière SMI S5
UNIVERISTE MOHAMMED PREMIER Faculté des Sciences d Oujda Oujda - Maroc Polycopié Cours Programmation Orientée Objet sous Java Programme : Filière SMI S5 Pr. El Mostafa DAOUDI Département de Mathématiques
Plus en détailProgrammation en Java IUT GEII (MC-II1) 1
Programmation en Java IUT GEII (MC-II1) 1 Christophe BLANC - Paul CHECCHIN IUT Montluçon Université Blaise Pascal Novembre 2009 Christophe BLANC - Paul CHECCHIN Programmation en Java IUT GEII (MC-II1)
Plus en détailGénéricité. en Java. (polymorphisme paramétrique) Philippe GENOUD UJF Janvier 2015 1
(polymorphisme paramétrique) en Java Philippe GENOUD UJF Janvier 2015 1 Motivations Supposons que l'on développe du code pour gérer une file d'attente (FIFO First In First Out) et que l'on veuille utiliser
Plus en détailPrésentation. Au programme. Fonctionnement. A l issue de ce module vous devriez...
Au programme Conception Orientée Objet Jean-Christophe Routier Licence mention Informatique Université Lille 1 Présentation L UE COO est le prolongement immédiat de l UE POO du S4 informatique. cf. http://portail.fil.univ-lille1.fr/portail/ls4/poo
Plus en détailLe langage C++ est un langage de programmation puissant, polyvalent, on serait presque tenté de dire universel, massivement utilisé dans l'industrie
Chapitre I : Les bases du C++ Le langage C++ est un langage de programmation puissant, polyvalent, on serait presque tenté de dire universel, massivement utilisé dans l'industrie du logiciel, et ce depuis
Plus en détailAnnexe : La Programmation Informatique
GLOSSAIRE Table des matières La Programmation...2 Les langages de programmation...2 Java...2 La programmation orientée objet...2 Classe et Objet...3 API et Bibliothèque Logicielle...3 Environnement de
Plus en détailObject Constraint Language (OCL)
Object Constraint Language (OCL) Eric Cariou Université de Pau et des Pays de l'adour UFR Sciences Pau Département Informatique Eric.Cariou@univ-pau.fr 1 Plan 1. Pourquoi OCL? Introduction par l'exemple
Plus en détailLambda! Rémi Forax Univ Paris-Est Marne-la-Vallée
Lambda! Rémi Forax Univ Paris-Est Marne-la-Vallée forax at univ-mlv dot fr - ParisJUG Java.next() - Mars 2012 What Else? Lambda == Inner class? Java a des lambdas depuis la version 1.1 Exemple utilisant
Plus en détailCours 1 : La compilation
/38 Interprétation des programmes Cours 1 : La compilation Yann Régis-Gianas yrg@pps.univ-paris-diderot.fr PPS - Université Denis Diderot Paris 7 2/38 Qu est-ce que la compilation? Vous avez tous déjà
Plus en détailProgrammation Objet - Cours II
Programmation Objet - Cours II - Exercices - Page 1 Programmation Objet - Cours II Exercices Auteur : E.Thirion - Dernière mise à jour : 05/07/2015 Les exercices suivants sont en majorité des projets à
Plus en détailLangage Java. Classe de première SI
Langage Java Table des matières 1. Premiers pas...2 1.1. Introduction...2 1.2. Mon premier programme...2 1.3. Les commentaires...2 2. Les variables et les opérateurs...2 3. La classe Scanner...3 4. Les
Plus en détailAnne Tasso. Java. Le livre de. premier langage. 10 e édition. Avec 109 exercices corrigés. Groupe Eyrolles, 2000-2015, ISBN : 978-2-212-14154-2
Anne Tasso Java Le livre de premier langage 10 e édition Avec 109 exercices corrigés Groupe Eyrolles, 2000-2015, ISBN : 978-2-212-14154-2 Table des matières Avant-propos Organisation de l ouvrage..............................
Plus en détailIntroduction à JDBC. Accès aux bases de données en Java
Introduction à JDBC Accès aux bases de données en Java Eric Cariou Université de Pau et des Pays de l'adour Département Informatique Eric.Cariou@univ-pau.fr 1 Introduction JDBC : Java Data Base Connectivity
Plus en détailACTIVITÉ DE PROGRAMMATION
ACTIVITÉ DE PROGRAMMATION The purpose of the Implementation Process is to realize a specified system element. ISO/IEC 12207 Sébastien Adam Une introduction 2 Introduction Ø Contenu Utilité de l ordinateur,
Plus en détailAide mémoire UML & Java 1ère partie : Introduction. marc.lemaire@u-cergy.fr
Aide mémoire UML & Java 1ère partie : Introduction marc.lemaire@u-cergy.fr 9 septembre 2014 1 2014 v1.11 Table des matières 1 Généralités 6 1.1 Notations utilisées.....................................
Plus en détailInstitut Supérieure Aux Etudes Technologiques De Nabeul. Département Informatique
Institut Supérieure Aux Etudes Technologiques De Nabeul Département Informatique Support de Programmation Java Préparé par Mlle Imene Sghaier 2006-2007 Chapitre 1 Introduction au langage de programmation
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étail4. Groupement d objets
Conception objet en Java avec BlueJ une approche interactive 4. Groupement d objets Collections et itérateurs David J. Barnes, Michael Kölling version française: Patrice Moreaux Rédigé avec 1.0 Principaux
Plus en détailPremiers Pas en Programmation Objet : les Classes et les Objets
Chapitre 2 Premiers Pas en Programmation Objet : les Classes et les Objets Dans la première partie de ce cours, nous avons appris à manipuler des objets de type simple : entiers, doubles, caractères, booléens.
Plus en détailINITIATION AU LANGAGE C SUR PIC DE MICROSHIP
COURS PROGRAMMATION INITIATION AU LANGAGE C SUR MICROCONTROLEUR PIC page 1 / 7 INITIATION AU LANGAGE C SUR PIC DE MICROSHIP I. Historique du langage C 1972 : naissance du C dans les laboratoires BELL par
Plus en détail2 e édition JAVA 5 et 6. Jérôme Bougeault. TSoft et Groupe Eyrolles, 2003, 2008, ISBN : 978-2-21212250-3
2 e édition JAVA 5 et 6 Jérôme Bougeault TSoft et Groupe Eyrolles, 2003, 2008, ISBN : 978-2-21212250-3 Classes et objets Les constructeurs Propriétés Les méthodes L héritage Les interfaces Les relations
Plus en détailChapitre I Notions de base et outils de travail
Chapitre I Notions de base et outils de travail Objectifs Connaître les principes fondateurs et l historique du langage Java S informer des principales caractéristiques du langage Java Connaître l environnement
Plus en détailClasse Interne, Anonyme & Enumération
Java Avancé Classe Interne, Anonyme & Enumération Rémi Forax forax@univ-mlv.fr 1 Rappel Nous nous intéressons aujourd'hui à deux formes de type abstrait en Java Les interfaces Les classes abstraites Les
Plus en détailCPR Informatique. (poste 3159 ou 3164) Septembre 2002
CPR Informatique (poste 3159 ou 3164) Septembre 2002 Programmer en Java Table des matières 1.- PRESENTATION GENERALE DU LANGAGE JAVA...3 1.1. Introduction...3 1.2. Historique...3 1.3. Les principales raisons
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étailServeur d'archivage 2007 Installation et utilisation de la BD exist
Type du document Procédure d'installation Auteur(s) Eric Bouladier Date de création 26/02/20007 Domaine de diffusion tous Validé par Equipe Versions Date Auteur(s) Modifications V1.00 26/02/2007 Eric Bouladier
Plus en détailExclusion Mutuelle. Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr. Université de Provence. 9 février 2011
Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr Université de Provence 9 février 2011 Arnaud Labourel (Université de Provence) Exclusion Mutuelle 9 février 2011 1 / 53 Contexte Epistémologique
Plus en détailQuelques patterns pour la persistance des objets avec DAO DAO. Principe de base. Utilité des DTOs. Le modèle de conception DTO (Data Transfer Object)
Quelques patterns pour la persistance des objets avec DAO Ce cours présente des modèles de conception utilisés pour effectuer la persistance des objets Université de Nice Sophia-Antipolis Version 1.4 30/8/07
Plus en détail