AFADL 2010
10es Journées Francophones Internationales sur les
Approches Formelles dans l'Assistance au Développement de Logiciels
LISI / ENSMA, Poitiers, France, 9 - 11 Juin 2010
|
||||||
|
||||||
|
Soumissions
Pour aider à planifier le processus de lecture, les contributeurs sont priés d'envoyer
Les meilleurs articles retenus seront sélectionnés pour publication dans un numéro spécial de la revue TSI. Proposition de tutoriel
Les orateurs sont invités à soumettre une description du tutoriel d'au plus 2 pages, mentionnant le titre du tutoriel, la durée envisagée (de 1 à 3h), le nom des intervenants, leur biographie, une liste de mots clés, l'objectif du tutoriel et les points abordés. Article long
Les auteurs sont invités à soumettre un article d'au plus 15 pages. Article court et démonstration d'outil
Les auteurs sont invités à soumettre un article d'au plus 4 pages précisant le nom de l'outil, les noms des auteurs, les services offerts par l'outil et éventuellement des pointeurs vers des sources d'informations complémentaires (principes techniques sous-jacents, mode d'emploi, compte-rendu d'application, ...). |