Travaux de Recherche 1998-fév 2000 : Outils de développement pour Java Card

Travaux de Recherche

• 1998-fév 2000 : Outils de développement pour Java Card

• Etude de la sémantique du JCRE et des APDUs
• Editeur structuré, outil d’extraction des formats d’APDU, prototype de simulation d’applications réalisés avec Centaur (Bull Cp8)

• 2000- : Méthodologies de Conception et de Développement de logiciels

• Utiliser la programmation générative, à partir de modèles, pour intégrer les technologies/besoins (~ MDA)

• SmartTools, un atelier de développement logiciel, construit sur cette idée + utilisation de standards (Bull Cp8, Microsoft Research, W3C)
• Travail d’équipe (1 CR, 2IE, et moi-même)
• cf. http://www-sop.inria.fr/oasis/SmartTools/st4up

Instantiation, à différents niveaux, dans SmartTools

• SmartTools = Atelier de Genie Logiciel

• Pour aider à développer des langages métiers/outils

Positionnement des Travaux

• A la Frontière de plusieurs Domaines :

• Langages de Programmation (prog. à Objets)
• Nouveaux paradigmes : AOP, SOP, IP, prog. adaptative, prog. par composant (Projet ObAsCo)
• Traitement des Documents (Technologies XML)
• Système de type pour filtrage plus fin (Martin Odersky)
• Architecture logicielle (prog. par composant, MDA)
• Assemblage de composants flexibles et adaptables
• Environnements interactifs et graphiques

Publications

• Journal international : 1

• Computer network (édition sur les cartes à puce), 2001

• Journal francophone : 1 + 1 soumis

• L’Objet (édition sur XML et les objets), 2003
• TSI (édition sur les systèmes à composants adaptables et extensibles), soumis

• Conférences internationales : 2 + 1 soumis

• CARDIS’2000 (carte à puce), ETAPS’2001 CC,
• OOPSLA’2003 3D Track, soumis

• Workshops internationaux : 3

• ETAPS’2001 LDTA, ICSE’2001 XSE, ETAPS’2002 LDTA

• Workshop français : 1

• Journée systèmes à composants adaptables et extensibles, 2002

• Réalisation logicielle : SmartTools (travail d’équipe)

Intégration Recherche : équipe OASIS, I3S - INRIA -CNRS

• Poursuite des Travaux avec Didier Parigot :
• Les Technologies XML
• Programmation par Aspects
• Programmation par Composants
• L’approche MDA
• Plusieurs collaborations dont deux avec l'équipe OCL :
• COLOR protection dans les langages de programmation
• ACI sécurité logicielle (composants)

Enseignements

Un cours : Programmation en C

• Public : IUT GTR 1ère année (135 étudiants)

• cycle traditionnel, année spéciale et alternance

• Activités :

• Supports de cours (10 séances de 1h30)
• Sujets de TPs accompagnés d’une correction
• Sujet d’examen et correction des copies
• Co-réalisation du sujet d’examen de TP sur machine
• (cf. http://www-sop.inria.fr/oasis/personnel/Carine.Courbis/c )

Intégration Enseignement : Université de Nice Sophia-Antipolis

• ATER au département Informatique en 2001/02

• DEUG MI, Licence Informatique et Licence MIAGE

• Enseignements possibles :

• Algorithmique/programmation, Système (Unix), SGBD,
• Compilation, Technologies XML, Composants
•  Enseignements proches des Travaux de Recherche
•  SmartTools : possible support pour les TPs

Résumé

• Expérience Enseignement

• 242 h dont

• 15 h de cours
• 71 h de TD
• 156 h de TP

• Montage d’un cours, création et correction de sujets de TP et d’examen