Java. Java Modeling Language (JML) Qu est-ce que JML? Java (suite) Conception par Contrat. Invariants, Pré-/Postconditions

Dimension: px
Commencer à balayer dès la page:

Download "Java. Java Modeling Language (JML) Qu est-ce que JML? Java (suite) Conception par Contrat. Invariants, Pré-/Postconditions"

Transcription

1 Java Java Modeling Language (JML) Arnaud LANOIX Université Nancy 2 Master1 GL Langage de Programmation Orientée Objet développé par Sun Projet OAK (1991), Java (1995),...Java 1.5 (2004) Langage interprété = la JVM (Java Virtual Machine est multi-plateforme (windows, linux, macosx, etc.) nono@mia : javac Program.java la compilation produit un fichier Program.class (Bytecode) nono@mia : java Fichier exécution / interprétation du Bytecode par la JVM Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 1 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 2 / 52 Java (suite) Qu est-ce que JML? Repose sur les concepts dela programmation Objet : Encapsulation des données : public, private, protected Héritage : Class A extends B {... Polymorphisme notion de classes (Définition du type objets) et d instances de classes (Objets) Personne moi = new Personne("Arnaud", "Lanoix") ; Nombreux cours de Java disponible sur le Web : Java Modeling Language = langage de modélisation formelle associé au langage de programmation Java Inspiré par Effeil : conception par contrat Auteur de départ : Gary T. Leavens, 1999 Exprime des propriétés sur les classes Java : invariants, pré-/postconditions, etc. Supporté par différents outils : JML Runtime Assertion Checker, JMLUnit, ESC/java2, etc. Site de référence : Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 3 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 4 / 52 Invariants, Pré-/Postconditions Conception par Contrat logique d Hoare : pré/-postconditions des programmes Invariant = propriété toujours vraie quelque 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 Design by Contract : introduit dans le langage Eiffel Contrat entre le système qui invoque une méthode et la méthode qui est invoquée : invariant : {precondition method() {postcondition 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 ses postconditions lorsqu elle est invoquée La méthode et l environnement s engagent également à maintenir l invariant de la classe Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 5 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 6 / 52

2 Un premier exemple Un premier exemple Sqrt.java /** double x réel positif double racine carrée de x requires x >= 0.0 ensures x == \result * \result ; public static double sqrt(double x) { Sqrt.java /** double x réel positif double racine carrée de x requires x >= 0.0 ensures x == \result * \result ; public static double sqrt(double x) { Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 8 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 8 / 52 Un premier exemple Un premier exemple Sqrt.java /** double x réel positif double racine carrée de x requires x >= 0.0 ensures x == \result * \result ; public static double sqrt(double x) { Sqrt.java /** double x réel positif double racine carrée de x requires x >= 0.0 ensures x == \result * \result ; public static double sqrt(double x) { Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 8 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 8 / 52 Un premier exemple (explication) Annotations JML requires x >= 0.0 ; Précondition assurant que le paramètre x est bien un réel positif ensures x == \result * \result ; Postcondition assurant que le résultat \result est bien la racine carrée de x à eps \result : identifie le résultat d une méthode Une spécification JML s exprime par un programme Java annoté : les annotations JML sont écrites au niveau du code Java les annotations JML se placent dans des blocs de commentaires Java spécifiques sur une seule ligne commencant par //@ dans un bloc délimité par les annotations JML sont cohérentes avec la syntaxe Java. un programme Java annoté continue à fonctionner normalement : compilation, exécution, etc. Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 9 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 10 / 52

3 Clauses de spécification Expression des prédicats JML Une modélisation JML est composée de clauses (des prédicats) décrivant la classe ou les méthodes : Spécifications de types : partie statique du modèle initially predicat JML invariant predicat JML constraints predicat JML Spécifications de méthodes : partie dynamique du modèle requires predicat JML diverges predicat JML assignable predicat JML ensures predicat JML signals predicat JML Les prédicats JML predicat JML sont exprimées à l aide des attributs (variables) et des 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 d opérateurs spécifiques à JML nouveau opérateurs arithmétiques nouveau opérateurs booléens opérateurs avant/après opérateurs de typage Objet Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 11 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 12 / 52 Méthodes pures Opérateurs arithmétiques Une méthode qui ne modifie aucun attribut est dite pure et peuvent être utilisée dans les prédicats JML. Les prédicats JML ne doivent pas changer l état du système : pas d effet de bord Les méthode de consultation des classes de l API Java sont considérées comme pures On peut déclarer qu une méthode est pure à l aide du modificateur pure : class C { int val ; //@ invariant getval() >= 0 ; //@ ensures \result == val ; public pure */ int getval() {return val ; 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 : \sum, \product, \min, \max, \num of Symbole (\sum int x ; x >= 1 & x <= 10 ; x + 3) 1 x 10 Fonction x N x + 3 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 14 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 15 / 52 Opérateurs arithmétiques Opérateurs booléens 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 : \sum, \product, \min, \max, \num of Symbole (\sum int x ; x >= 1 & x <= 10 ; x + 3) 1 x 10 Fonction x N x + 3 Opérateurs logiques Symbole Fonction & ET logique OU logique ^ OU logique exclusif! négation logique ==> Implication <==> Equivalence Opérateurs relationnels 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)) Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 15 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 16 / 52

4 Opérateurs booléens Opérateurs avant/après Opérateurs logiques Symbole Fonction & ET logique OU logique ^ OU logique exclusif! négation logique ==> Implication <==> Equivalence Opérateurs relationnels Symbole Fonction > supérieur >= supérieur ou égal < inférieur <= inférieur ou égal == égal!= différent Certaines clauses font référence à l état avant et à l état après l exécution d une méthode (prédicat avant-après) \result fait référence au résultat de la méthode (état après) \old(x) permet de faire référence à la valeur de x à l état d avant x représente la valeur de x après l exécution de la méthode 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)) \not modified(x) est une expression booléenne qui indique que x n a pas été modifié lors de l exécution de la méthode (i) si x est un type simple, x == \old(x) (ii) si x est un objet, x.equals(\old(x)) Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 16 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 17 / 52 Opérateurs de typage Objet Spécifications de types \type(maclasse) retourne le type décrit par la spécification de la classe MaClasse \typeof(monobjet) retourne le type de l objet monobjet < : permet de savoir si un type est un sous-type (héritage) d un autre //@ \typeof(o) < : \type(personne) est vrai si le type de l objet o est un sous-type de la classe Personne, c.a.d. que o est une instance d une sous-classe de Personne Propriétés portant sur les attributs de la classe. Contraintes initiales : clause initially propriété qui doit être établies à la création de l objet Invariant de classe : clause invariant propriété portant sur les attributs de la classe qui doit être vraie dans tous les états visibles du système Etat visible = état atteint après l exécution d une méthode Contraintes historiques : clause constraint propiété entre un état visible et l état visible précédent qui doit être vraie dans tous les états du système = invariant dynamique une clause constraints ne doit pas être vérifiée après un constructeur de classe s exprime grâce à des prédicats avant/après : \old(x) <= x Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 18 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 19 / 52 Spécifications de types Spécifications de types Propriétés portant sur les attributs de la classe. Contraintes initiales : clause initially propriété qui doit être établies à la création de l objet Invariant de classe : clause invariant propriété portant sur les attributs de la classe qui doit être vraie dans tous les états visibles du système Etat visible = état atteint après l exécution d une méthode Contraintes historiques : clause constraint propiété entre un état visible et l état visible précédent qui doit être vraie dans tous les états du système = invariant dynamique une clause constraints ne doit pas être vérifiée après un constructeur de classe s exprime grâce à des prédicats avant/après : \old(x) <= x Propriétés portant sur les attributs de la classe. Contraintes initiales : clause initially propriété qui doit être établies à la création de l objet Invariant de classe : clause invariant propriété portant sur les attributs de la classe qui doit être vraie dans tous les états visibles du système Etat visible = état atteint après l exécution d une méthode Contraintes historiques : clause constraint propiété entre un état visible et l état visible précédent qui doit être vraie dans tous les états du système = invariant dynamique une clause constraints ne doit pas être vérifiée après un constructeur de classe s exprime grâce à des prédicats avant/après : \old(x) <= x Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 19 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 19 / 52

5 Spécifications de comportements Spécifications de comportements Propriétés relatives aux comportements autorisés des méthodes. Préconditions : clause requires condition qui doit être remplie par le système et les paramètres de la méthode pour que la méthode puisse être appelée Divergence : clause diverges condition sous laquelle la méthode peut ne pas terminer, i.e. boucles infinies, etc. Champs modifiés : clause assignable liste des attributs qui sont modifiés par l exécution de la méthode Postcondition normale : clause ensures condition que la méthode s engage à établir lorsqu elle termine normalement (c.a.d. sans lever d exception). Prédicats avant/après Propriétés relatives aux comportements autorisés des méthodes. Préconditions : clause requires condition qui doit être remplie par le système et les paramètres de la méthode pour que la méthode puisse être appelée Divergence : clause diverges condition sous laquelle la méthode peut ne pas terminer, i.e. boucles infinies, etc. Champs modifiés : clause assignable liste des attributs qui sont modifiés par l exécution de la méthode Postcondition normale : clause ensures condition que la méthode s engage à établir lorsqu elle termine normalement (c.a.d. sans lever d exception). Prédicats avant/après Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 20 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 20 / 52 Spécifications de comportements Spécifications de comportements Propriétés relatives aux comportements autorisés des méthodes. Préconditions : clause requires condition qui doit être remplie par le système et les paramètres de la méthode pour que la méthode puisse être appelée Divergence : clause diverges condition sous laquelle la méthode peut ne pas terminer, i.e. boucles infinies, etc. Champs modifiés : clause assignable liste des attributs qui sont modifiés par l exécution de la méthode Postcondition normale : clause ensures condition que la méthode s engage à établir lorsqu elle termine normalement (c.a.d. sans lever d exception). Prédicats avant/après Propriétés relatives aux comportements autorisés des méthodes. Préconditions : clause requires condition qui doit être remplie par le système et les paramètres de la méthode pour que la méthode puisse être appelée Divergence : clause diverges condition sous laquelle la méthode peut ne pas terminer, i.e. boucles infinies, etc. Champs modifiés : clause assignable liste des attributs qui sont modifiés par l exécution de la méthode Postcondition normale : clause ensures condition que la méthode s engage à établir lorsqu elle termine normalement (c.a.d. sans lever d exception). Prédicats avant/après Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 20 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 20 / 52 Exemple : gestionnaire de cours Exemple : modélisation Objet (exemple vu en B) Une classe Etudiant 2 attributs : nom et prenom 1 constructeur : Etudiant(nom, prenom) etc. Un cours a max des places disponibles. Un étudiant (nom, prénom) peut s inscrire à 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 diplôme ; sinon, il est collé. Un étudiant collé peut repasser une fois l examen avant d être définitivement refusé. 1 méthode : tostring() Une classe Cours 5 attributs : max, inscrits, colles, refuses et diplomes 1 constructeur : Cours(maxi) 5 méthodes : nouvel etudiant(etudiant), test reussi(etudiant), test rate colle(etudiant), test rate refuse(etudiant), tostring() Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 21 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 22 / 52

6 Exemple : modélisation Objet Une classe Etudiant 2 attributs : nom et prenom 1 constructeur : Etudiant(nom, prenom) 1 méthode : tostring() Une classe Cours 5 attributs : max, inscrits, colles, refuses et diplomes 1 constructeur : Cours(maxi) 5 méthodes : nouvel etudiant(etudiant), test reussi(etudiant), test rate colle(etudiant), test rate refuse(etudiant), tostring() Etudiant.java 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 ; Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 22 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 24 / 52 Etudiant.java (JML) 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 ; Etudiant.java (JML) 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 ; Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 24 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 24 / 52 Cours.java import java.util.* ; public void nouvel etudiant(etudiant etudiant) { inscrits.add(etudiant) ; 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) ; public void test rate refuse(etudiant etudiant) { refuses.add(etudiant) ; public String tostring() { Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 26 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 28 / 52

7 Cours.java (JML) import java.util.* ; 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)) ; Cours.java (JML) import java.util.* ; 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)) ; Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 30 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 30 / 52 Cours.java (JML) import java.util.* ; 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)) ; Cours.java (JML) import java.util.* ; 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)) ; Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 30 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 30 / 52 Cours.java (JML) import java.util.* ; 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)) 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) ; Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 30 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 32 / 52

8 @ 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) 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) ; Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 32 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 32 / 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) ensures diplomes.contains(etudiant) 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) ensures diplomes.contains(etudiant) ; Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 34 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 34 / 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) ensures diplomes.contains(etudiant) 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) ensures diplomes.contains(etudiant) ; Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 34 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 34 / 52

9 @ 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) ensures diplomes.contains(etudiant) 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) ensures diplomes.contains(etudiant) ; Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 34 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 34 / requires!colles.contains(etudiant) ensures colles.contains(etudiant) requires colles.contains(etudiant) ensures!colles.contains(etudiant) ensures refuses.contains(etudiant) ; public void test rate refuse(etudiant etudiant) { refuses.add(etudiant) ; Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 36 / requires!colles.contains(etudiant) ensures colles.contains(etudiant) requires colles.contains(etudiant) ensures!colles.contains(etudiant) ensures refuses.contains(etudiant) ; public void test rate refuse(etudiant etudiant) { refuses.add(etudiant) ; Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 36 / requires!colles.contains(etudiant) ensures colles.contains(etudiant) requires colles.contains(etudiant) ensures!colles.contains(etudiant) ensures refuses.contains(etudiant) ; public void test rate refuse(etudiant etudiant) { refuses.add(etudiant) ; Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 36 / requires!colles.contains(etudiant) ensures colles.contains(etudiant) requires colles.contains(etudiant) ensures!colles.contains(etudiant) ensures refuses.contains(etudiant) ; public void test rate refuse(etudiant etudiant) { refuses.add(etudiant) ; Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 36 / 52

10 @ requires!colles.contains(etudiant) ensures colles.contains(etudiant) requires colles.contains(etudiant) ensures!colles.contains(etudiant) ensures refuses.contains(etudiant) ; public void test rate refuse(etudiant etudiant) { refuses.add(etudiant) ; Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 36 / requires!colles.contains(etudiant) ensures colles.contains(etudiant) requires colles.contains(etudiant) ensures!colles.contains(etudiant) ensures refuses.contains(etudiant) ; public void test rate refuse(etudiant etudiant) { refuses.add(etudiant) ; Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 36 / 52 JML Runtime Assertion Checker (RAC) public String tostring() { return "Inscrits = " + inscrits + ", Diplomes = " + diplomes + ", Colles = " + colles + ", Refuses = " + refuses ; Outil de base de JML qui compile un code Java enrichi pour la vérification des différentes annotations JML introduites (ligne de commande) jml : type-checker pour les assertions JML jmlc : compilateur JML/Java bytecode Java enrichi par les assertions JML jmlrac : exécuteur Java peut soulève des exceptions spécifiques aux différentes clauses JML Outils disponibles dans le package JMLSpecs ici : Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 38 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 39 / 52 Exceptions RAC Méthode test rate colle annotée JMLAssertionError JMLPreconditionError JMLEntryPreconditionError JMLInternalPreconditionError JMLPostconditionError JMLNormalPostconditionError JMLInternalNormalPostconditionError JMLExitNormalPostconditionError JMLExceptionalPostconditionError JMLInternalExceptionalPostconditionError JMLExitExceptionalPostconditionError JMLInvariantError JMLHistoryConstraintsError requires!colles.contains(etudiant) ensures colles.contains(etudiant) ; Les assertions invariant, requires, ensures,...vont être transformées en test et en levée d exceptions Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 40 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 42 / 52

11 Méthode test rate colle : principe du RAC Méthode test rate colle : principe du RAC throws JMLAssertionError { if (!(inscrits.contains(etudiant) /* requires */ &!colles.contains(etudiant))) { throw new JMLExitPreconditionError() ; if (!colles.contains(etudiant)) { /* ensures */ throw New JMLExitNormalPostconditionError() ; throws JMLAssertionError { if (!(inscrits.contains(etudiant) /* requires */ &!colles.contains(etudiant))) { throw new JMLExitPreconditionError() ; if (!colles.contains(etudiant)) { /* ensures */ throw New JMLExitNormalPostconditionError() ; Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 44 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 44 / 52 Méthode test rate colle : principe du RAC Méthode test rate colle : principe du RAC throws JMLAssertionError { if (!(inscrits.contains(etudiant) /* requires */ &!colles.contains(etudiant))) { throw new JMLExitPreconditionError() ; if (!colles.contains(etudiant)) { /* ensures */ throw New JMLExitNormalPostconditionError() ; throws JMLAssertionError { if (!(inscrits.contains(etudiant) /* requires */ &!colles.contains(etudiant))) { throw new JMLExitPreconditionError() ; if (!colles.contains(etudiant)) { /* ensures */ throw New JMLExitNormalPostconditionError() ; Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 44 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 44 / 52 Méthode test rate colle : principe du RAC Méthode test rate colle : principe du RAC throws JMLAssertionError { if (!(inscrits.contains(etudiant) /* requires */ &!colles.contains(etudiant))) { throw new JMLExitPreconditionError() ; if (!colles.contains(etudiant)) { /* ensures */ throw New JMLExitNormalPostconditionError() ; public void test rate colle(etudiant etudiant) throws JMLAssertionError { if (!(inscrits.contains(etudiant) /* requires */ &!colles.contains(etudiant))) { throw new JMLExitPreconditionError() ; if (!colles.contains(etudiant)) { /* ensures */ throw New JMLExitNormalPostconditionError() ; Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 44 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 44 / 52

12 Méthode test rate colle : principe du RAC public void test rate colle(etudiant etudiant) throws JMLAssertionError { if (!(inscrits.contains(etudiant) /* requires */ &!colles.contains(etudiant))) { throw new JMLExitPreconditionError() ; if (!colles.contains(etudiant)) { /* ensures */ throw New JMLExitNormalPostconditionError() ; Exemple : Main.java public class Main { public static void main(string args[]) { Cours GL = new Cours(3) ; Etudiant pascal = new Etudiant("Fontaine", "Pascal") ; Etudiant nono = new Etudiant("Lanoix", "Arnaud") ; Etudiant john = new Etudiant("Doe", "John") ; Etudiant totoro = new Etudiant("", "Totoro") ; Etudiant tao = new Etudiant("Kawai", "Tao") ; Etudiant tolkien = new Etudiant("Tolkien", "J.R.R") ; GL.nouvel etudiant(pascal) ; GL.nouvel etudiant(nono) ; GL.nouvel etudiant(john) ; GL.nouvel etudiant(tolkien) ; Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 44 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 46 / 52 Exemple : Main.java public class Main { public static void main(string args[]) { Cours GL = new Cours(3) ; Etudiant pascal = new Etudiant("Fontaine", "Pascal") ; Etudiant nono = new Etudiant("Lanoix", "Arnaud") ; Etudiant john = new Etudiant("Doe", "John") ; Etudiant totoro = new Etudiant("", "Totoro") ; Etudiant tao = new Etudiant("Kawai", "Tao") ; Etudiant tolkien = new Etudiant("Tolkien", "J.R.R") ; GL.nouvel etudiant(pascal) ; GL.nouvel etudiant(nono) ; GL.nouvel etudiant(john) ; GL.nouvel etudiant(tolkien) ; Exemple : Main.java public class Main { public static void main(string args[]) { Cours GL = new Cours(3) ; Etudiant pascal = new Etudiant("Fontaine", "Pascal") ; Etudiant nono = new Etudiant("Lanoix", "Arnaud") ; Etudiant john = new Etudiant("Doe", "John") ; Etudiant totoro = new Etudiant("", "Totoro") ; Etudiant tao = new Etudiant("Kawai", "Tao") ; Etudiant tolkien = new Etudiant("Tolkien", "J.R.R") ; GL.nouvel etudiant(pascal) ; GL.nouvel etudiant(nono) ; GL.nouvel etudiant(john) ; GL.nouvel etudiant(tolkien) ; Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 46 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 46 / 52 Exemple : Main.java public class Main { public static void main(string args[]) { Cours GL = new Cours(3) ; Etudiant pascal = new Etudiant("Fontaine", "Pascal") ; Etudiant nono = new Etudiant("Lanoix", "Arnaud") ; Etudiant john = new Etudiant("Doe", "John") ; Etudiant totoro = new Etudiant("", "Totoro") ; Etudiant tao = new Etudiant("Kawai", "Tao") ; Etudiant tolkien = new Etudiant("Tolkien", "J.R.R") ; GL.nouvel etudiant(pascal) ; GL.nouvel etudiant(nono) ; GL.nouvel etudiant(john) ; GL.nouvel etudiant(tolkien) ; System.out.println("*** Before : " + GL) ; GL.test rate refuse(pascal) ; GL.test reussi(nono) ; GL.test rate colle(pascal) ; GL.test rate colle(john) ; GL.test reussi(tao) ; GL.test rate colle(tolkien) ; GL.test rate refuse(john) ; GL.nouvel etudiant(john) ; GL.test reussi(nono) ; GL.test rate colle(pascal) ; GL.test reussi(tolkien) ; GL.test rate refuse(pascal) ; System.out.println("*** After : " + GL) ; Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 46 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 48 / 52

13 System.out.println("*** Before : " + GL) ; GL.test rate refuse(pascal) ; GL.test reussi(nono) ; GL.test rate colle(pascal) ; GL.test rate colle(john) ; GL.test reussi(tao) ; GL.test rate colle(tolkien) ; GL.test rate refuse(john) ; GL.nouvel etudiant(john) ; GL.test reussi(nono) ; GL.test rate colle(pascal) ; GL.test reussi(tolkien) ; GL.test rate refuse(pascal) ; System.out.println("*** After : " + GL) ; System.out.println("*** Before : " + GL) ; GL.test rate refuse(pascal) ; GL.test reussi(nono) ; GL.test rate colle(pascal) ; GL.test rate colle(john) ; GL.test reussi(tao) ; GL.test rate colle(tolkien) ; GL.test rate refuse(john) ; GL.nouvel etudiant(john) ; GL.test reussi(nono) ; GL.test rate colle(pascal) ; GL.test reussi(tolkien) ; GL.test rate refuse(pascal) ; System.out.println("*** After : " + GL) ; Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 48 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 48 / 52 Exemple : compilation / exécution Java Exemple : compilation / exécution Java nono@mia : javac *.java nono@mia : javac *.java nono@mia : java Main nono@mia : java Main *** Before : Inscrits = [Pascal Fontaine, Arnaud Lanoix, John Doe, Tao Kawai, J.R.R Tolkien], Diplomes = [], Colles = [], Refuses = [] *** After : Inscrits = [John Doe], Diplomes = [Arnaud Lanoix, Tao Kawai, J.R.R Tolkien], Colles = [J.R.R Tolkien], Refuses = [John Doe, Pascal Fontaine] *** Before : Inscrits = [Pascal Fontaine, Arnaud Lanoix, John Doe, Tao Kawai, J.R.R Tolkien], Diplomes = [], Colles = [], Refuses = [] *** After : Inscrits = [John Doe], Diplomes = [Arnaud Lanoix, Tao Kawai, J.R.R Tolkien], Colles = [J.R.R Tolkien], Refuses = [John Doe, Pascal Fontaine] Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 49 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 49 / 52 Exemple : compilation / exécution Java Exemple : compilation / exécution JML RAC nono@mia : javac *.java nono@mia : java Main *** Before : Inscrits = [Pascal Fontaine, Arnaud Lanoix, John Doe, Tao Kawai, J.R.R Tolkien], Diplomes = [], Colles = [], Refuses = [] *** After : Inscrits = [John Doe], Diplomes = [Arnaud Lanoix, Tao Kawai, J.R.R Tolkien], Colles = [J.R.R Tolkien], Refuses = [John Doe, Pascal Fontaine] nono@mia : jmlc *.java typechecking Cours.java typechecking Etudiant.java typechecking Main.java nono@mia : jmlrac Main Exception in thread "main" org.jmlspecs.jmlrac.runtime.jmlinvarianterror : by method Etudiant.<init>post<File "Etudiant.java", line 9, character 13> regarding specifications at File "Etudiant.java", line 6, character 34 when Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 49 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 50 / 52

14 Exemple : compilation / exécution JML RAC Exemple : compilation / exécution JML RAC nono@mia : jmlc *.java typechecking Cours.java typechecking Etudiant.java typechecking Main.java nono@mia : jmlrac Main Exception in thread "main" org.jmlspecs.jmlrac.runtime.jmlinvarianterror : by method Etudiant.<init>post<File "Etudiant.java", line 9, character 13> regarding specifications at File "Etudiant.java", line 6, character 34 when nono@mia : jmlc *.java typechecking Cours.java typechecking Etudiant.java typechecking Main.java nono@mia : jmlrac Main Exception in thread "main" org.jmlspecs.jmlrac.runtime.jmlinvarianterror : by method Etudiant.<init>post<File "Etudiant.java", line 9, character 13> regarding specifications at File "Etudiant.java", line 6, character 34 when Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 50 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 50 / 52 Exemple : compilation / exécution JML RAC Exemple : méthode test reussi corrigée nono@mia : jmlc *.java typechecking Cours.java typechecking Etudiant.java typechecking Main.java nono@mia : jmlrac Main Exception in thread "main" org.jmlspecs.jmlrac.runtime.jmlinvarianterror : by method Etudiant.<init>post<File "Etudiant.java", line 9, character 13> regarding specifications at File "Etudiant.java", line 6, character 34 ensures diplomes.contains(etudiant) ; if(colles.contains(etudiant)) { Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 50 / 52 Arnaud LANOIX (Université Nancy 2) Java Modeling Language (JML) Master1 GL 52 / 52

Programmer 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) 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étail

Langage 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. 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étail

Structure d un programme et Compilation Notions de classe et d objet Syntaxe

Structure 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étail

Java Licence Professionnelle CISII, 2009-10

Java 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étail

Une introduction à Java

Une 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étail

Initiation à JAVA et à la programmation objet. raphael.bolze@ens-lyon.fr

Initiation à 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étail

Plan du cours. Historique du langage http://www.oracle.com/technetwork/java/index.html. Nouveautés de Java 7

Plan 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étail

TP1 : Initiation à Java et Eclipse

TP1 : 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étail

Langage et Concepts de ProgrammationOrientée-Objet 1 / 40

Langage 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étail

Introduction à Java. Matthieu Herrb CNRS-LAAS. Mars 2014. http://homepages.laas.fr/matthieu/cours/java/java.pdf

Introduction à 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étail

INITIATION AU LANGAGE JAVA

INITIATION 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étail

Exceptions. 1 Entrées/sorties. Objectif. Manipuler les exceptions ;

Exceptions. 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étail

Info0101 Intro. à l'algorithmique et à la programmation. Cours 3. Le langage Java

Info0101 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étail

Pour signifier qu'une classe fille hérite d'une classe mère, on utilise le mot clé extends class fille extends mère

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étail

Premiers Pas en Programmation Objet : les Classes et les Objets

Premiers 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étail

Environnements de développement (intégrés)

Environnements 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étail

RAPPELS SUR LES METHODES HERITEES DE LA CLASSE RACINE Object ET LEUR SPECIALISATION (i.e. REDEFINITION)

RAPPELS 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étail

Encapsulation. 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. 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étail

Chapitre VI- La validation de la composition.

Chapitre 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étail

as Architecture des Systèmes d Information

as 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étail

Chapitre I Notions de base et outils de travail

Chapitre 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étail

LMI 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 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étail

Cours 1: Java et les objets

Cours 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étail

Expression des contraintes. OCL : Object C o n t r a i n t L a n g u a g e

Expression 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étail

Bases Java - Eclipse / Netbeans

Bases 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étail

Java Licence Professionnelle CISII, 2009-2010

Java 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étail

Diplô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! #!$%& ' ( $%&)"& 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étail

Cours 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. 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étail

INTRODUCTION A JAVA. Fichier en langage machine Exécutable

INTRODUCTION 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étail

Java Licence professionnelle CISII, 2009-2010

Java Licence professionnelle CISII, 2009-2010 Java Licence professionnelle CISII, 2009-2010 Cours 6 : le paquetage (package) Cours inspiré des cours de Richard Grin, Antoine Tabbone et Hazel Everett 1 Définition - Les classes Java sont regroupées

Plus en détail

Licence Bio Informatique Année 2004-2005. Premiers pas. Exercice 1 Hello World parce qu il faut bien commencer par quelque chose...

Licence 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étail

Exclusion Mutuelle. Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr. Université de Provence. 9 février 2011

Exclusion 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étail

TP 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 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étail

Remote Method Invocation Les classes implémentant Serializable

Remote Method Invocation Les classes implémentant Serializable Parallélisme Architecture Eric Goubault Commissariat à l Energie Atomique Saclay Classe qui implémente la méthode distante (serveur): - dont les méthodes renvoient un objet serializable - ou plus généralement

Plus en détail

Tp 1 correction. Structures de données (IF2)

Tp 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étail

Java Licence Professionnelle 2009-2010. Cours 7 : Classes et méthodes abstraites

Java 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étail

Un ordonnanceur stupide

Un ordonnanceur stupide Un ordonnanceur simple Université Paris Sud L objet des exercices qui suivent est de créer un ordonanceur implantant l algorithme du tourniquet ( round-robin scheduler ). La technique utilisée pour élire

Plus en détail

Objets et Programmation. origine des langages orientés-objet

Objets 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étail

Synchro et Threads Java TM

Synchro et Threads Java TM Synchro et Threads Java TM NICOD JEAN-MARC Master 2 Informatique Université de Franche-Comté UFR des Sciences et Techniques septembre 2008 NICOD JEAN-MARC Synchro et Threads avec Java TM 1 / 32 Sommaire

Plus en détail

OCL - Object Constraint Language

OCL - 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étail

TD/TP PAC - Programmation n 3

TD/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étail

Héritage presque multiple en Java (1/2)

Hé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étail

Remote Method Invocation (RMI)

Remote Method Invocation (RMI) Remote Method Invocation (RMI) TP Réseau Université Paul Sabatier Master Informatique 1 ère Année Année 2006/2007 Plan Objectifs et Inconvénients de RMI Fonctionnement Définitions Architecture et principe

Plus en détail

Cours 1 : Introduction. Langages objets. but du module. contrôle des connaissances. Pourquoi Java? présentation du module. Présentation de Java

Cours 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étail

Java Licence Professionnelle CISII, 2009-2010. Cours 2 : Classes et Objets

Java 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étail

Chapitre 10. Les interfaces Comparable et Comparator 1

Chapitre 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étail

PROGRAMMATION PAR OBJETS

PROGRAMMATION PAR OBJETS PROGRAMMATION PAR OBJETS Java Environnement et constructions spécifiques Walter Rudametkin Maître de Conférences Bureau F011 Walter.Rudametkin@polytech-lille.fr B. Carré Polytech Lille 2 Java (Sun 1995)

Plus en détail

Auto-évaluation Programmation en Java

Auto-é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étail

Généralités. javadoc. Format des commentaires. Format des commentaires. Caractères spéciaux. Insérer du code

Gé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étail

Programmation Réseau. Sécurité Java. Jean-Baptiste.Yunes@univ-paris-diderot.fr. UFR Informatique 2012-2013. jeudi 4 avril 13

Programmation Réseau. Sécurité Java. Jean-Baptiste.Yunes@univ-paris-diderot.fr. UFR Informatique 2012-2013. jeudi 4 avril 13 Programmation Réseau Sécurité Java Jean-Baptiste.Yunes@univ-paris-diderot.fr UFR Informatique 2012-2013 Java Sécurité? différentes sécurités disponibles et contrôlables intégrité contrôle d accès signature/authentification/cryptographie

Plus en détail

Faculté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 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étail

F. Barthélemy. 17 mai 2005

F. 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étail

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

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 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étail

Corrigé des exercices sur les références

Corrigé 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étail

Programmation Objet Java Correction

Programmation 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étail

RMI le langage Java XII-1 JMF

RMI 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étail

Polycopié Cours Programmation Orientée Objet sous Java Programme : Filière SMI S5

Polycopié 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étail

Threads. Threads. USTL http://www.lifl.fr/ routier 1

Threads. Threads. USTL http://www.lifl.fr/ routier 1 Threads USTL http://www.lifl.fr/ routier 1 Rappels - Définitions un Process est un programme qui tourne et dispose de ses propres ressources mémoire. OS multi-tâche plusieurs process en concurrence un

Plus en détail

ACTIVITÉ DE PROGRAMMATION

ACTIVITÉ 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étail

Page 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. 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étail

Java - la plateforme

Java - la plateforme Java - la plateforme Java la plateforme Java? VM GC JIT Java Aujourd'hui 3 environnements d'exécutions différents Java ME (Micro Edition) pour PDA, téléphone Android (Java SE moins certain paquetages)

Plus en détail

TP, première séquence d exercices.

TP, première séquence d exercices. TP, première séquence d exercices. Benoît Valiron benoit.valiron@lipn.univ-paris13.fr 7 novembre 2010 Introduction Vous écrirez les réponses aux questions courtes sur une feuille à rendre à la fin de la

Plus en détail

TD/TP PAC - Programmation n 3

TD/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étail

TP1. Outils Java Eléments de correction

TP1. 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étail

JAVA TD0. Prise en main du langage Environnement de base JAVA 1

JAVA 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étail

Java 1.5 : principales nouveautés

Java 1.5 : principales nouveautés Cours 6 - TEP - UPMC - 2008/2009 p. 1/34 Java 1.5 : principales nouveautés classes paramétrées : generics encapsulation des valeurs de types primitifs : auto[un]boxing itération sur les boucles types énumérés

Plus en détail

Java 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

Java 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étail

Programmation en Java IUT GEII (MC-II1) 1

Programmation 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étail

Lambda! Rémi Forax Univ Paris-Est Marne-la-Vallée

Lambda! 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étail

Programmation avec des objets : Cours 7. Menu du jour

Programmation avec des objets : Cours 7. Menu du jour 1 Programmation avec des objets : Cours 7 Menu du jour 1. Retour sur la classe Liste 2. Précisions sur l interface 3. Difficultés dans le cas d erreurs 4. Soulever des exceptions 5. Utilisation des Listes

Plus en détail

Utiliser Java sans BlueJ

Utiliser Java sans BlueJ Conception objet en Java avec BlueJ une approche interactive Utiliser Java sans BlueJ Michael Kölling version française: Patrice Moreaux Rédigé avec 1.0 Conception objet en Java avec BlueJ une approche

Plus en détail

Java DataBaseConnectivity

Java DataBaseConnectivity Java DataBaseConnectivity JDBC JDBC est une API Java (ensemble de classes et d interfaces défini par SUN et les acteurs du domaine des SGBD) permettant d accéder aux bases de données à l aide du langage

Plus en détail

ALGORITHMIQUE ET PROGRAMMATION ORIENTEE OBJET

ALGORITHMIQUE ET PROGRAMMATION ORIENTEE OBJET ALGORITHMIQUE ET PROGRAMMATION ORIENTEE OBJET I. INTRODUCTION 1.1. HISTORIQUE 1991: Concepts Java pour Sun -conception d'un langage pour des appareils électroniques(code embarqué) -syntaxe proche du C++

Plus en détail

Langage Java. Classe de première SI

Langage 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étail

Java c est quoi? Java pourquoi?

Java 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étail

Calcul Parallèle. Cours 5 - JAVA RMI

Calcul Parallèle. Cours 5 - JAVA RMI Calcul Parallèle Cours 5 - JAVA RMI Eric Goubault Commissariat à l Energie Atomique & Chaire Ecole Polytechnique/Thalès Saclay Le 28 février 2012 Eric Goubault 1 28 février 2012 Remote Method Invocation

Plus en détail

Rappel. Analyse de Données Structurées - Cours 12. Un langage avec des déclaration locales. Exemple d'un programme

Rappel. 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étail

RN2-Programmation Orientée Objet - JAVA CH 1 Introduction à la POO et Java

RN2-Programmation Orientée Objet - JAVA CH 1 Introduction à la POO et Java RN2-Programmation Orientée Objet - JAVA CH 1 à la POO et Java Licence Professionnelle 2006 Agnès Guerraz INRIA Rhône-Alpes agnes.guerraz@inria.fr LP UPMF, Grenoble Septembre 2006 Ce cours reprend en grande

Plus en détail

INF 321 : mémento de la syntaxe de Java

INF 321 : mémento de la syntaxe de Java INF 321 : mémento de la syntaxe de Java Table des matières 1 La structure générale d un programme 3 2 Les composants élémentaires de Java 3 2.1 Les identificateurs.................................. 3 2.2

Plus en détail

Arbres binaires de recherche

Arbres 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étail

Traduction des Langages : Le Compilateur Micro Java

Traduction 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étail

Présentation. Au programme. Fonctionnement. A l issue de ce module vous devriez...

Pré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étail

Programmation par les Objets en Java

Programmation 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étail

Package Java.util Classe générique

Package Java.util Classe générique Package Java.util Classe générique 1 Classe Vector La taille est dynamique: dès qu un tableau vectoriel est plein, sa taille est doublée, triplée, etc. automatiquement Les cases sont de type Object add(object

Plus en détail

La JVM. La machine virtuelle Java. La JVM. La JVM

La JVM. La machine virtuelle Java. La JVM. La JVM La machine virtuelle Java Historique et rappels Organisation mémoire de la JVM Le garbage collector Le bytecode, la machine à pile. Les threads Suivi, tracé, optimisation d un programme Java JVM embarquées

Plus en détail

TD3: tableaux avancées, première classe et chaînes

TD3: tableaux avancées, première classe et chaînes TD3: tableaux avancées, première classe et chaînes de caractères 1 Lestableaux 1.1 Élémentsthéoriques Déclaration des tableaux Pour la déclaration des tableaux, deux notations sont possibles. La première

Plus en détail

Programmation Par Objets

Programmation Par Objets Programmation Par Objets Structures de données package java.util B. Carré Polytech Lille 1 Tableaux et structures de données Tableaux «Objets» taille fixe type des éléments : primitif (homogène) ou objets

Plus en détail

OpenPaaS Le réseau social d'entreprise

OpenPaaS Le réseau social d'entreprise OpenPaaS Le réseau social d'entreprise Spécification des API datastore SP L2.3.1 Diffusion : Institut MinesTélécom, Télécom SudParis 1 / 12 1OpenPaaS DataBase API : ODBAPI...3 1.1Comparaison des concepts...3

Plus en détail

Aide 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 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étail

Derrière toi Une machine virtuelle!

Derrière toi Une machine virtuelle! Derrière toi Une machine virtuelle! Yann-Gaël Guéhéneuc guehene@emn.fr École des Mines de Nantes, France Object Technology International Inc., Canada D où ça vient? Calculatrice Machine de Turing 1936

Plus en détail

La technologie Java Card TM

La technologie Java Card TM Présentation interne au CESTI La technologie Java Card TM sauveron@labri.u-bordeaux.fr http://dept-info.labri.u-bordeaux.fr/~sauveron 8 novembre 2002 Plan Qu est ce que Java Card? Historique Les avantages

Plus en détail

RMI. Remote Method Invocation: permet d'invoquer des méthodes d'objets distants.

RMI. Remote Method Invocation: permet d'invoquer des méthodes d'objets distants. RMI Remote Method Invocation: permet d'invoquer des méthodes d'objets distants. Méthode proche de RPC. Outils et classes qui rendent l'implantation d'appels de méthodes d'objets distants aussi simples

Plus en détail

Classe Interne, Anonyme & Enumération

Classe 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étail

JADE : Java Agent DEvelopment framework. Laboratoire IBISC & Départ. GEII Université & IUT d Evry nadia.abchiche@ibisc.univ-evry.

JADE : Java Agent DEvelopment framework. Laboratoire IBISC & Départ. GEII Université & IUT d Evry nadia.abchiche@ibisc.univ-evry. : Java Agent DEvelopment framework Laboratoire IBISC & Départ. GEII Université & IUT d Evry nadia.abchiche@ibisc.univ-evry.fr Introduction à la plateforme JADE 1) Modèle d agent 2) Services 3) Norme FIPA

Plus en détail

Programmation Orientée Objet application au langage Java Version Novembre 2007

Programmation Orientée Objet application au langage Java Version Novembre 2007 Programmation Orientée Objet application au langage Java Version Novembre 2007 Mickaël BARON - 2007 mailto:baron.mickael@gmail.com ou mailto:mickael.baron@serli.com SERLI informatique SERLI : www.serli.com

Plus en détail

Développement Logiciel

Développement Logiciel Développement Logiciel Éxamen session 1-2012-2013 (Vendedi 25 mai, 9h-11h) Seuls les documents liés directement au cours sont autorisés (comme dit sur le site) : sujets de TD, notes de cours, notes personnelles

Plus en détail

Gestion distribuée (par sockets) de banque en Java

Gestion distribuée (par sockets) de banque en Java Gestion distribuée (par sockets) de banque en Java Université Paris Sud Rappel sur la solution locale de gestion simple de banque L objet de cet exercice était de créer une application java qui implante

Plus en détail

Gé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. 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étail

Machines Virtuelles. et bazard autour. Rémi Forax

Machines Virtuelles. et bazard autour. Rémi Forax Machines Virtuelles et bazard autour Rémi Forax Avant propos Quelle est la complexité du code ci-dessous? Avec un processeur à 1Ghz, combien de temps le calcul prendra t'il? public static void main(string[]

Plus en détail

Prénom : Matricule : Sigle et titre du cours Groupe Trimestre INF1101 Algorithmes et structures de données Tous H2004. Loc Jeudi 29/4/2004

Pré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étail