Actualités
POO-MIA TD 3
Lundi 15 mars 2010, par // TD
Travail sur l’héritage et le polymorphisme, ainsi que sur les classes abstraites. Document de TD joint à cet article. Lire la suite »
POO Cours 4 (MIA)
Mercredi 10 mars 2010, par // Cours
Héritage et polymorphisme. Classe abstraites. Document du cours joint à cet article. Lire la suite »
POO-MIA TD 2
Mercredi 24 février 2010, par // TD
Mise en œuvre du principe de l’encapsulation, à travers la réalisation de mini-applications à partir de leurs spécifications en français. Document du TD joint à cet article. Lire la suite »
POO Cours 3 (MIA)
Mercredi 24 février 2010, par // Cours
Chaîne de caractères, entrée/sortie, structures de contrôles et tableaux. Document de cours joint à cet article. Lire la suite »
Bibliography
Tuesday 23 February 2010, by // Bibliography
You will find in the attached zip file bibliographic references I have read, for the most part. Lire la suite »
Bibliographie
Mardi 23 février 2010, par // Bibliographie
Vous trouverez dans le fichier zip attaché les références bibliographiques des articles que j’ai en grande partie lus. Lire la suite »
POO-MIA TD 1
Mercredi 17 février 2010, par // TD
Énoncé du TD 1 disponible dans le document attaché. Lire la suite »
POO-Cours 2 (MIA)
Mercredi 17 février 2010, par // Cours
Premiers programmes en Java. Déclaration de classe. Structuration interne : attributs et méthodes. Création d’objets. Invocation de méthodes sur les objets. Organisation des classes en packages. Types primitifs. Variables et constantes. Conversion de types. Documents du cours joint à cet article. Le deuxième support de cours contient des slides avec champs de texte multiligne pour la prise de (...) Lire la suite »
POO-MIA TD 0
Mardi 16 février 2010, par // TD
Enoncé du TD 0. Document joint à cet article. Lire la suite »
POO1-Introduction
POO-Cours 1 (MIA)
Mercredi 10 février 2010, par // Cours
Cours introductif à la POO : conception OO et POO. Notions de classe et d’objet. Terminologie. Mise en perspective par rapport à la programmation procédurale. Document du cours joint à cet article. Lire la suite »
Derniers articles
PNML Framework
We have developed PNML Framework, which is a reference implementation of Part 2 of the Petri nets standard. Part 2 defines the interchange format, PNML. The main objective of PNML Framework is to (...) Lire la suite »
Behavioral Consistency Checker
In our model transformation framework of UML models to Instantiable Petri Nets to enable formal verification, we have participated in the development of Behavioral Consistency Checker (BCC). It (...) Lire la suite »
PNML Framework
Dans le cadre de l’élaboration de la norme ISO/IEC 15909 sur les réseaux de Petri, nous développons un outil de référence supportant celle-ci, PNML Framework. Son objectif est de fournir une API de (...) Lire la suite »
Derniers articles
- 28/09 — Contact — by
- 2/10 — About — by
- 4/10 — Présentation — par
- 5/10 — Centres d’intérêt — par
- 6/10 — Revues — par
- 12/10 — Thèse — par