AFADL'2003

Approches Formelles dans l'Assistance au
Développement de Logiciels

Irisa, Rennes
15-17 janvier 2003

http://www.irisa.fr/AFADL03

Organisé par l'Irisa et le groupe AFADL du GDR ALP

Télécharger au format pdf

Thèmes de l'atelier

L'atelier AFADL, organisé en 1997 au CERT/ONERA à Toulouse, en 1998 au LISI/ENSMA au Futuroscope de Poitiers, en 2000 au LSR/IMAG à Grenoble et en 2001 au Loria à Nancy a vocation à rassembler les acteurs académiques et industriels intéressés par l'application de techniques formelles aux différents stades du développement de logiciel. 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 formels orientés vers l'assistance à la preuve et à la synthèse de programmes ou à leur validation par le test.

Les contributions porteront plus particulièrement sur:

les outils d'aide au développement;
les techniques, méthodes et approches formelles de développement;
les approches intégrant différentes méthodes, semi-formelles et formelles;
les manipulations formelles de modèles de type UML
les techniques, méthodes et approches formelles de validation et d'analyse de spécifications;
des études de cas ou des applications industrielles, rapportant les résultats d'expériences liées aux points précédemment cités.

Sans exclure les thèmes habituels de l'atelier, nous souhaitons cette année encourager les contributions traitant de combinaisons, intégrations et manipulations d'UML avec des modèles formels, par exemple dans le contexte de l'initiative MDA (Model Driven Architecture) de l'OMG.

Soumissions

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 soumettre, deux semaines avant la soumission, le titre de leur contribution ainsi que son résumé à partir de la page
"Soumissions" du site Web de l'atelier: http://www.irisa.fr/AFADL03/Soumissions. A l'issue de cette soumission initiale, les auteurs recevront une URL qui leur permettra de télécharger leur article au format PDF sur le site Web de la conférence.

Dates importantes

Titre et résumé: 15 juin 2002
Soumission des articles: 30 juin 2002
Notification d'acceptation: 30 septembre 2002
Texte définitif: 15 novembre 2002
Dates des journées: 15-17 janvier 2003