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

Nouveau: Transparents de l'ecole doctorale

Orateurs invités

Guillaume Brat, NASA

Odile Laurent, Airbus

Jean-Raymond Abrial, ETHZ

Pierre Wolper, U. de Liège

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.

  • 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 de la version finale

Les auteurs seront invités à soumettre un article d'au plus 16 pages respectant le format latex a4, times, french, 11pt, ou le format Word équivalent.

Publication

Les actes de la conférence ne sont pas publiés formellement, mais seront distribués aux participants. Un numéro spécial de Techniques et Sciences Informatiques sera proposé à partir d'une sélection des articles soumis.

Dates

Déclaration d'intention avec résumé 21 janvier 2007
Soumission des articles 7 février 2007
Soumission d'outils 28 février 2007
Notification d'acceptation 20 mars 2007
Texte définitif 1 mai 2007
Dates des journées 13-15 juin 2007