LMO'2010 à Pau Mars 2010

Le site de LMO'2010 à Pau

• Président du Comité de Programme : Jean-Claude Royer
• Présidents du Comité d'Organisation : Eric Cariou et Franck Barbier
• Le bilan de 2009 par Amedeo Napoli

• Voici le programme détaillé en PDF

• Les actes sont édités par l'université de Pau

• Mardi 9 mars

• 9H30-9H45 : ouverture de LMO - Jean-Claude Royer

• 9H45-11H : conférencier invité - Patrick Heymans, FUNDP, Namur. Lignes de Produits Logiciels : Vers une Démocratisation des Méthodes Formelles. Résumé

• 11H30-13H : présentations

Yuan Lin, Thérèse Libourel, Isabelle Mougenot. Autour des chaînes de traitements dédiées aux applications environnementales

Fady Hamoui, Marianne Huchard, Christelle Urtado, Sylvain Vauttier. Un Système d'Agents à base de Composants pour les Environnements Domotiques

• 14H30-16 : présentations

Xavier Dolques, Lala Madiha Hakik, Marianne Huchard, Clémentine Nebut, Philippe Reitz. Correction des défauts de généralisation dans les diagrammes de cas d'utilisation UML

Olivier Corby, Catherine Faron Zucker. La machine abstraite KGRAM et son langage GRAAL pour l'interrogation de graphes de connaissance

Béatrice Fuchs, Marianne Huchard, Amedeo Napoli. Une étude sur la mise en forme de patrons de conception pour les ontologies avec l'analyse formelle de concepts

• 16H30-18H : table ronde

• Mercredi 10 mars Matinée commune aux quatre événements

• 9h00-10h30 : conférence invitée d'Ivica Crnkovic, Mälardalen Research and Technology Centre, Sweden. A Classification Framework for Component Models Résumé

• 11h-12h30 : session commune