Appels à Communication:
9^eme Colloque Africain sur la recherche en Informatique
et en Mathématiques Appliquées
27-30 Octobre2008, Rabat, Maroc

Thème7: Méthodes formelles pour le génie logiciel

Coordinateur :
Eric Badouel


 

Cette session s’intéresse à l’utilisation des méthodes formelles pour la conception de méthodes,  d’outils et d’environnements pour le développement et la validation de logiciels.  Les fondements peuvent emprunter aussi bien à la théorie des automates et des langages formels, qu’à la logique et à la théorie des types ou encore à l’algèbre et à la théorie des catégories. Pour abstraire le processus de production du logiciel et en accroître ainsi l’efficacité tout en rendant  le logiciel produit plus fiable et plus adaptable aux changements, on s’intéresse  à divers mécanismes permettant d’accroître la modularité et la généricité de ce processus de création. On s’intéresse dans ce cadre aux architectures logicielles dirigées par les modèles, à  la conception d’applications à base de composants et d’aspects ou reposant sur l’utilisation de langages dédiés, ainsi qu’aux méthodes génératives qui permettent de dériver du code et de le manipuler de façon automatique ou semi-automatique. Afin de rendre le logiciel plus sûr on s’intéresse à toute méthode formelle  de spécification du comportement d’un programme et aux techniques de  vérification associées (e.g. model checking), aux techniques de  test du logiciel, de preuve de programmes ainsi qu’à l’utilisation d’assistants de preuves.   - Théorie des automates et des langages formels - Sémantique des langages de programmation - Logique et théorie des types en informatique - Catégories et algèbre en informatique - Théorie des treillis et interprétation abstraite - Spécification et vérification - Preuve de programmes, assistants de preuves - Test de logiciel - Architectures logicielles dirigées par les modèles - Modèles des objets et des composants logiciels - Programmation par aspects - Langages dédiés - Programmation générative - Transformations de programmes   Comité de lecture : Badara Ali Kaba (IAI, Libreville), Pascal Andre (Université de Nantes), Eric Badouel (Inria, Rennes), Olivier Barais (Université de Rennes I) Pierre Cointe (Ecole des Mines de Nantes et Inria), Jean-Claude Derniame (Inria Lorraine, Nancy), Ousmane Kone (CNRS, Irit, Toulouse), Derrick Kourie  (University of Pretoria), Ernest Ketcha Ngassam (University of Pretoria), Didier Parigot (Inria, Sophia-Antipolis), Houari Sahraoui (Université du Québec à Montréal), Yahya Slimani (Université d’El Manar, Tunisie), Théodore Tapsoba (EST, Université Polytechnique, Bobo Dioulasso), François Vernadat (CNRS, Laas, Toulouse),