Approches Formelles dans l'Assistance au Développement de Logiciels
- Soumission de résumé : 23/9/2011
- Soumission article complet : 30/9/2011
- Notification aux auteurs : 18/11/2011
- Soumission version finale : 9/12/2011
Appel à contributions
L'atelier AFADL rassemble de nombreux acteurs académiques et industriels intéressés par la mise en œuvre des techniques formelles aux divers stades du développement des logiciels et/ou des systèmes. Il a pour objectif de mettre en valeur les travaux récents effectués autour de thèmes comme :
- les techniques et outils formels contribuant à assurer un bon niveau de confiance dans la construction de logiciels,
- les méthodes et processus permettant d'exploiter efficacement les techniques et outils formels disponibles ou conçus,
- les méthodes et processus mettant en œuvre de techniques formelles différentes et hétérogènes dans un développement,
- les leçons tirées de la mise en œuvre de ces outils ou principes sur des études de cas ou des applications industrielles.
Les techniques et outils présentés assistent notamment les activités suivantes :
- la modélisation, la validation et la gestion d'exigences formelles applicables aux logiciels,
- les spécialisations ou extensions de techniques de modélisation et évaluation induites par des domaines applicatifs (télécommunication, contrôle-commande, robotiques, systèmes interactifs, architectures, composition de services, applications distribuées sur le web, ..) ou des points de vue particuliers sur les systèmes (sécurité informatique, exécution temps réel, ...),
- le passage d'une étape de conception à la suivante: patrons de raffinement de spécifications, déploiement d'une architecture logicielle sur une architecture matérielle, génération automatique de code, réutilisation de composants, ...
- l'évaluation rigoureuse de modèles formels ou codes.
Quatre types de contributions sont attendus :
- Tutoriels :
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. - Articles longs présentant des travaux de recherche :
Les auteurs sont invités à soumettre un article d'au plus 15 pages. - Articles courts :
Les auteurs sont invités à soumettre un article d'au plus 6 pages. - Démonstration d'outils :
Les auteurs sont invités à soumettre un article d'au plus 4 pages précisant les noms des auteurs, le nom de l'outil, 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, ...).