PROGRAMME CONGRÈS INFORSID 1995


30 MAI au 2 JUIN 1995 à

IUT2, Place Doyen Gosse GRENOBLE

Le comité de programme.
Le comité d'organisation.

PARTIE COURS

MARDI 30 mai 1995

Responsable des cours : J-P. Giraudin, LGI-IMAG, Grenoble

E-mail : Jean-Pierre.Giraudin@imag.fr

  • Evaluation de méthodologies orientées objet
    J-P. Giraudin, LGI -IMAG, Grenoble

    Panorama des principales méthodes existantes. Critères de comparaison de modèles orientés objet. Evaluation des méthodes OMT, Coad &Yourdon, Shlaer &Mellor, Classe-Relation, O*, Merise-objet, etc.

  • Evolution des méthodologies d'acquisition de connaissances
    J-P. Marciano, IUP Miage, Aix en Provence

    Conception des systèmes à base de connaissances par rapport à celle des systèmes d'information. Acquisition des connaissances dans la conception de SBC et évolution des méthodologies (KOD, KADS ...)

  • Utilisation pratique des spécifications formelles
    Y. Ledru, LGI-IMAG, Grenoble

    Introduction et comparaison des méthodes Z et VDM. Insertion des spécifications formelles dans l'enseignement du Génie Logiciel. Avenir industriel des techniques formelles.

  • De la rétro-ingénierie à la ré-ingénierie d'application
    J.L. Hainaut, FUNDP, Namur

    Objectifs, principes et techniques de la rétro-ingéniérie d'applications. Exemple d'un modèle et d'un atelier générique de rétro-ingéniérie. Application à l'évolution et à la maintenance des applications.


    PROGRAMME DU CONGRES

    1. Session 1 : Spécifications formelles
    2. Session 2 : Documents Electroniques et hypermédias
    3. Session 3 : Recherche d'informations
    4. Session 4 : Bases de Données Orientées Objets
    5. Session 5 : Versions
    6. Session 6 : Acquisition et modélisation des connaissances
    7. Session 7 : Applications
    8. Session 8 : Systèmes coopératifs
    9. Session 9 : Méthodes de Conception Orientée Objets

    MERCREDI 31 Mai 1995

  • Ouverture du congrès
    1. Présentation du Congrès par C . Chrisment, Président d'INFORSID
    2. Présentation du programme par J. Kouloumdjian, Président du comité de programme
    3. Conférence invitée Président : J. Kouloumdjian, LISI-INSA, Lyon

  • Le travail coopératif assisté par ordinateur : quels enjeux pour les concepteurs ?
    A. Derycke , TRIGONE - LIFL, Lille


    Session 1 : Spécifications formelles

    Président : Y. Ledru, LGI-IMAG, Grenoble

  • Des spécifications informelles aux spécifications formelles : compilation ou interprétation ?
    P. Facon, R. Laleau, CEDRIC-IIE, CNAM, Evry

  • Génération automatique de spécifications VDM à partir d'un schéma conceptuel de données
    R. Laleau, N. Hadj-Rabia, CEDRIC-IIE, CNAM, Evry

  • Diachronie et synchronie en spécification, une illustration en Z
    P. Bernard, H. Habrias, A. Vailly, IRIN, Nantes


    Session 2 : Documents Electroniques et hypermédias

    Président : J.M. Pinon, LISI-INSA, Lyon

  • De la gestion des documents à la gestion des connaissances
    N. Alaya, LISI-Paris & BULL SA, Les Clayes sous Bois

  • Eléments de modélisation de systèmes multimédias artistiques
    P. Dagorret, A. Gastambide, C. Mendiboure, IUT de Bayonne, Pau

  • L'aide à l'exploration d'informations peu structurées, un préliminaire à la conception de documents hypermédias
    M. Nanard, J. Nanard, J. Chauché, C. Boksenbaum, S. Fraissé, LIRMM, Montpellier


    Session 3 : Recherche d'informations

    Président : M. Créhange, CRIN, Nancy

  • Une dénotation pour les graphes conceptuels : comparaison avec les logiques terminologiques en recherche d'informations
    I. Ounis, LGI-IMAG, Grenoble

  • Modèle flexible pour la recherche interactive de documents multimédias
    B. Simonnot, M. Smail, CRIN/CNRS, Nancy

  • Un outil de réécriture pour l'exploitation de documentation structurée
    C. Comparot, P.Y. Lambolez, F. Sedes, IRIT, Toulouse

  • A method of understanding semantics and context for abstracting text
    A. El-Gihani, B. Sharp,School of Computing, Staffordshire University, England


    JEUDI 1 Juin 1995

    Session 4 : Bases de Données Orientées Objets

    Président : L. Lakhal, Université de Clermont

  • Héritage des contraintes d'intégrité dans les bases de données orientées objet
    T. Bouaziz, M. Meziane,LISI-INSA, Lyon

  • La fragmentation d'un schéma conceptuel orienté objet
    F. Ravat, IRIT & CERISS, Toulouse

  • Using meta-rules to build a trace of inference in the
    active schéma URDOS
    A. Tchounikine, IRIT, Toulouse

  • Controle du comportement d'objets et réutilisation
    M. Augeraud, Uni. La Rochelle


    Session 5 : Versions

    Président : M.C. Fauvet, LGI-IMAG, Grenoble

  • Etude de la composition dans un modèle objet intégrant des versions d'entités et de classes
    G. Hubert, A. Le Parc, IRIT, Toulouse

  • Evolution de schéma & adaptation des instances
    B. Benatallah, M.C. Fauvet, LGI-IMAG, Grenoble


    Session 6 : Acquisition et modélisation des connaissances

    Président : B. Carré, LIFL, Lille

  • Une méthode de découverte de connaissances dans les bases de données: une approche par les objets symboliques -
    S. Smadhi, J.P. Marciano, Atelier de Prévision de Modélisation, FEA, Marseille
    A. Hocine- Université de Pau

  • Utilisation de métaconnaissances pour adapter l'aide et l'explication
    - A. Berthome-Montoy, J.M. Fouet, LISI, Lyon

  • Supports fonctionnels : des ateliers pour pérenniser et supporter les savoir-faire individuels dans les organisations -
    P. Maret, LISI-INSA, Lyon & S2Com, Paris

  • Représentation des connaissances basée sur plusieurs modèles qualitatifs pour l'élaboration d'un système tuteur intelligent -
    F. Blanc, LAPI, Toulouse


    Session 7 : Applications

    Président : H. Tattegrain, INRETS, Lyon.

  • An SQL Preprocessor for CIM applications
    P. Castori, EPFL-DI-LIT, Lausanne

  • Un langage visuel de bases de données associé à un modèle sémantique à objets
    B. Bélières, C. Trépied, E3i, Uni. F. Rabelais, Tours & SLIGOS, Vineuil


    Session 8 : Systèmes coopératifs

    Président : J. Trahand, ESA-UPMF, Grenoble

  • Une approche d'intégration des schémas fondée sur les logiques de description
    A. Saoudi, A.N. Benharkat, LISI-INSA, Lyon & IRESTE, Nantes

  • Développement d'une méthode de modélisation pour le problème de la coopération entre systèmes d'information
    F. Koriche, LIRMM, Montpellier

  • Une méthode d'analyse et de conception pour les applications workflow
    S. Nurcan, J.Y. Trolliet, LISI-INSA, Lyon

  • Vers un système hypermédia ouvert
    J.M. Filgueira, I. Usandizaga, T. A. Pérez, Inst. de Astrofisica de Canarias, Uni. del Pais Vasco

  • Conférence invitée Président : A. Flory, LISI, INSA de Lyon Ce que le multi-media changera aux documentations liées à un système d'information.
    F. Peccoud, GETA-IMAG, Grenoble

  • Assemblée générale de l'Association INFORSID


    VENDREDI 2 Juin 1995

    Session 9 : Méthodes de Conception Orientée Objets

    Président : R. Cicchetti, IUT-LIM, Aix-Marseille

  • Vérification, validation et prototypage dans un AGL supportant une méthode de spécification orientée-objet
    C. Clercin, S. Balde, O. Sarr, T. De Vallois, ENSUT, Dakar

  • Les liens inter-objets : discussion et proposition de règles pour les identifier
    N. Bonanno, Y. Lahlou, CRIN, Nancy

  • Analyse de la puissance d'expression des modèles orientés objet
    J.C. Freire Junior, LGI-IMAG, Grenoble

  • Méthodologie CASsiopéE : intégration et évaluation
    M. Ayache, LISI-INSA, Lyon

  • Conférence invitée Président : C. Chrisment, IRIT, Toulouse La vision objet du monde relationnel
    C. Delobel, LRI -Paris Sud & INRIA , présentation d'une collaboration avec C. Souza, INRIA & D. Tallot, O2-Technology