Appel à contribution Approches Formelles dans l`Assistance
Contents
1. Appel contribution Approches Formelles dans l Assistance au D veloppement de Logiciels AFADL 2009 ENSEEIHT Toulouse 26 28 janvier 2009 www irit fr afadl09 Th mes de l atelier L atelier AFADL a vocation rassembler de nombreux acteurs acad miques et industriels int ress s par l application des techniques formelles aux divers stades du d veloppement des logiciels Il a pour objectif de faire le point sur les techniques et outils formels permettant d assurer un certain niveau de confiance dans la construction de logiciels les m thodes et processus permettant d exploiter efficacement les techniques et outils formels disponibles 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 assisteront 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 IHM 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 c2. ode r utilisation de composants l valuation rigoureuse de mod les formels ou codes Pour cette neuvi me dition d AFADL une attention particuli re sera attribu e aux travaux relatifs aux syst mes critiques et aux m thodes telles que l ing nierie dirig e par les mod les qui permettent de limiter les risques tant techniques qu conomiques Trois types de contributions sont attendus 1 tutoriels 2 articles longs pr sentant des travaux de recherche 3 articles courts et d monstration d outils 1 AFADL a t organis en 1997 l ONERA Toulouse en 1998 au LISI ENSMA au Futuroscope de Poitiers en 2000 au LSR IMAG Grenoble en 2001 au LORIA Nancy en 2003 l IRISA Rennes en 2004 au LIFC Besan on en 2006 au CNAM CEDRIC Paris et en 2007 l Universit de Namur Soumission Les contributeurs sont invit s soumettre leurs propositions lectroniquement partir de la page soumission du site web de l atelier Le format des documents envoy s doit tre analogue au format latex a4 times french 11pt Pour aider planifier le processus de lecture les auteurs sont pri s d envoyer avant le 12 septembre 2008 une lettre d intention avant le 28 septembre 2008 la contribution compl te 1 Proposition de tutoriel Les orateurs sont invit s soumettre une description du tutorial d au plus 2 pages mentionnant le titre du tutoriel la dur e envisag e de 1 3h le nom des in
3. tervenants leur biographie une liste de mots cl s l objectif du tutorial et les points abord s 2 Article long Les auteurs sont invit s soumettre un article d au plus 15 pages 3 Article court et d monstration d outil Les auteurs sont invit s soumettre avant le 28 septembre 2008 un article d au plus 3 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 Dates importantes Lettre d intention 12 septembre 2008 Soumission 28 septembre 2008 Notification d acceptation 14 novembre 2008 Texte d finitif 19 d cembre 2008 Dates des journ es 26 28 janvier 2009 Comit de programme Yamine Ait Ameur Jean Paul Bodeveix Sandrine Blazy Jean Louis Cola o Catherine Dubois Laurence Duchien Mamoun Filali Marc Frappier Alain Griffault Roland Groz Jean Marc J zequel Jacques Julliand R gine Laleau Thierry Lecomte Emmanuel Ledinot Yves Ledru Yves Le Traon Nicole Levy Bruno Marre Dominique M ry Pierre Michel Benjamin Monate Hassan Mountassir Marc Pantel Ioannis Parissis Charles Pecheur Marie Laure Potet Marc Pouzet Pierre Yves Schoebens Janine Souqui re Sylvie Vignes H l ne Waeselynck Robert Darimont Pierre Dissaux Daniel Doll Susanne Graf
Download Pdf Manuals
Related Search