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



Yüklə 445 b.
tarix03.11.2017
ölçüsü445 b.
#29227







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



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 :
    • 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)

  • 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

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



Yüklə 445 b.

Dostları ilə paylaş:




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©muhaz.org 2024
rəhbərliyinə müraciət

gir | qeydiyyatdan keç
    Ana səhifə


yükləyin