Inria / Raweb 2002
Project: oasis

Objets Actifs, Sémantique, Internet et Sécurité

• Members
• Overall Objectives
• Scientific Foundations
  • Spécifications, environnements, analyses et transformations
  • Programmation objet, concurrence et répartition
• Application Domains
  • Panorama
  • Maintenance et manipulation de programmes
  • Logiciels sécurisés pour le Commerce Electronique
  • Programmation répartie, collaborative et sécurisée pour Internet
• Software
  • Répartition, mobilité et sécurité : ProActive
  • Outils Interactifs Génériques : SmartTools
  • La bibliothèque C++//
• New Results
  • Environnement d'analyse et de vérification pour Java
  • Analyses statiques et transformations de programmes
  • Composants, spécifications sémantiques et vérifications
  • Implémentation des langages à objets
  • Bibliothèques pour la répartition
  • Etude formelle des modèles à objets distribués
  • Sécurisation des applications à objets distribuées
• Contracts and Grants with Industry
  • ARCAD - Architecture Répartie extensible pour Composants ADaptables
  • GRID RMI - Objets distribués haute performance pour la grille de calcul
  • Question-How
  • ProActive, projet du consortium ObjectWeb
  • Contrat SUN Microsystems
  • Projet Intellisurf
• Other Grants and Activities
  • Actions régionales
  • Actions nationales
  • Actions européennes
  • Actions internationales
  • Visites, Participations à des conférences, et invitations de chercheurs
• Dissemination
  • Animation de la Communauté scientifique
  • Enseignement
• Bibliography
  • Major publications
  • Year Publications