Actions industrielles

Action KOALA, Gie Dyade

Environnement de programmation pour Java

Participants : Yves Bertot , Sidi Ould Ehmety , Valérie Pascual , Laurent Théry

Mots-clés : environnement de programmation, JAVA, syntaxe abstraite

Nous avons continué notre travail sur l'environnement interactif de programmation JAVA en nous intéressant plus spécialement aux aspects syntaxiques. D'une part nous avons mis à jour nos analyseurs syntaxiques pour tenir compte des évolutions du langage JAVA. D'autre part un travail important a été entrepris sur une définition de la syntaxe abstraite pour JAVA qui facilite à la fois la description de manipulations purement syntaxiques comme l'édition dirigée par les menus ainsi que la description d'outils sémantiques comme l'évaluateur en sémantique naturelle décrit en TYPOL (cf Section ).

Composant d'affichage bidimensionnel incrémental

Participants : Yves Bertot , Bruno Conductier , Laurent Théry

Mots-clés : affichage, JAVA, interactivité, incrémentalité

Nos travaux sur les environnements interactifs de programmation nous ont montré l'importance d'avoir un composant générique qui permette l'interaction avec des objets structurés comme le sont les programmes ou les structures de données. Dans le cadre de cette action, nous nous attachons à réaliser un tel composant dans le langage JAVA. Notre effort porte particulièrement, d'une part, sur la puissance de visualisation afin de permettre au moins d'appréhender des représentations bidimensionnelles comme les tableaux ou les arbres de preuves, d'autre part, sur l'incrémentalité pour permettre l'interaction avec de gros objets afin qu'une modification d'un objet ne nécessite pas systématiquement le re-calcul complet de sa visualisation. Après une phase de spécification, nous avons réalisé un prototype. Un premier outil qui permet la visualisation de programmes JAVA a été réalisé en utilisant ce composant générique.

Transformations de programmes au sein du système Foresys, convention de recherche avec SIMULOG

Participants : Christophe Roudet , Isabelle Attali

Mots-clés : transformation de programmes, intégration, FORTRAN, TRFL, FORESYS

Le système FORESYS, issu de CENTAUR et développé à SIMULOG, est un logiciel pour l'analyse et la transformation de programmes écrits en langage Fortran. Nous avons intégré TRFL (langage dédié aux transformations de programmes, voir section ) dans le système FORESYS, ce qui permet de spécifier une ou plusieurs transformations puis d'exécuter ces transformations sur un ensemble de bibliothèques.

Expertise en Malaisie pour le CNES

Participant : Yves Bertot

Yves Bertot a effectué une mission d'expertise d'une semaine pour le compte du CNES en Malaisie. L'objectif de cette mission était d'analyser le mode de fonctionnement d'une entreprise travaillant dans le domaine de la diffusion de programmes télévisuels par satellite. Les résultats de cette analyse sont la propriété du CNES et couverts par un accord de confidentialité.

Consultation Technique Informelle du CNET

Participants : Yves Bertot , Olivier Pons , Laurence Rideau

La Consultation Technique Informelle « Environnement de manipulation de spécifications et preuves formelles » a permis de collaborer avec le CNET et le projet COQ à l'INRIA Rocquencourt et à l'École Normale Supérieure de Lyon (et à partir de septembre à l'université de Paris Sud) sur le sujet des outils pour le développement de grandes preuves en COQ. Ce travail se fait dans le cadre de la thèse de Olivier Pons.

Précédent : Résultats nouveaux Remonter : Projet CROAP, Conception et réalisation Suivant : Actions régionales, nationales et internationales