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