Dixième Anniversaire de la Conférence Francophone sur les
Approches Formelles dans l'Assistance au Développement de Logiciels
AFADL'07
175e anniversaire de l'Université de Namur, Belgique
13-15 juin 2007
-  Accueil
 
-  Appel à communications
-  Soumission
-  Programme
-  Conférence invitée
-  Actes
 
-  Namur
-  Voyage
-  Logement
-  Inscription
 
-  Comités
-  Éditions précédentes
-  Mécènes
 
Photo de Namur

Appel à communications

Thème de la conférence

Cet atelier a pour objectif de faire le point sur les techniques et outils, fondés sur des approches formelles, permettant d'assurer un certain niveau de confiance dans la construction de logiciels. Les thèmes portent aussi bien sur la définition, l'évaluation et la validation de modèles de développement que sur la définition de méthodes et d'outils orientés vers l'assistance à la vérification (preuve et vérification algorithmique), à la synthèse de programmes ou à leur validation par le test à partir de modèles formels.

Contributions

Les contributions porteront plus particulièrement sur :

  • Méthodes d'aide au développement :
    • composition, raffinement, intégration de différentes notations formelles et semi-formelles,
    • introduction des méthodes formelles dans un processus industriel (aspect technique, organisationnel),
    • bénéfices et risques de l'introduction des méthodes formelles dans un processus industriel,
  • Modélisation qualitative ou quantitative :
    • systèmes : systèmes d'événements, automates, algèbres de processus, systèmes temporisés, ...
    • propriétés : logique, logique temporelle, automates, logique temporisée, ...
  • Analyses :
    • vérification
    • génération de tests,
    • animation,
    • évaluation,
    • intégration test et vérification,
  • Outils et application :
    • outils d'analyse de modèles,
    • applications industrielles,
    • résultats d'expérience et évaluation.

Soumission

Les auteurs sont invités à soumettre un article d'au plus 15 pages respectant un format analogue au format latex a4, times, french, 11pt. Pour nous aider à planifier le processus de lecture, nous demandons aux auteurs de nous soumettre le titre de leur contribution ainsi que son résumé à partir de la page "soumission" du site web de l'atelier avant le 21 janvier 2007.