ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 27/8 - 2008  - pp.949-950
TITRE
Éditorial

RÉSUMÉ
Approches formelles dans l’assistance au développement de logiciels est consacré à la 8e édition de l’atelier AFADL, qui s’est déroulée aux Facultés Universitaires Notre-Dame de la Paix à Namur en juin 2007. Cet atelier se réunit environ tous les 18 mois et a pour objectif de rassembler la communauté francophone sur le thème des techniques et outils fondés sur des approches formelles permettant d’assurer un certain niveau de confiance dans la construction de logiciels. Les précédentes éditions de l’atelier AFADL ont été soutenues par le GDR-ALP (Algorithmique et Programmation) et depuis janvier 2008 par le GdR GPL (Génie de la Programmation et du Logiciel, http://gdr-gpl.imag.fr). L’Atelier AFADL s’intéresse à l’aide effective que peuvent apporter les méthodes formelles dans l’assistance au développement de logiciels, indépendamment des approches et techniques propres à chacun. 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 outils orientés vers l’assistance à la vérification, à la synthèse de programme ou à leur validation par le test à partir de modèles formels. Un accent important est mis sur l’aide au développement selon différents axes : maîtrise de la complexité du processus de conception et de validation des logiciels, proposition de démarches formelles s’intégrant dans un processus industriel (aspect technique et organisationnel, bénéfices et risques) et outillage. Une suite naturelle est d’intégrer ces approches dans une démarche d’ingénierie dirigée par les modèles, dans laquelle le processus de développement d’applications logicielles tend à être automatisé par transformation de modèles et en considérant différentes facettes des exigences (fonctionnalités, solutions et architecture métiers, fiabilité et sécurité, contraintes de temps réel). C’est d’ailleurs un des thèmes mis en avant pour le prochain atelier AFADL qui se déroulera à Toulouse en janvier 2009. Les méthodes formelles apportent là leur compétence en termes de méthodes de modélisation et de transformation permettant de proposer des analyses et des outils sémantiquement bien fondés. Ce numéro propose une version révisée et étendue d’articles présentés lors des journées AFADL’07. Il illustre bien la diversité thématique et méthodologique de cet atelier.

AUTEUR(S)


LANGUE DE L'ARTICLE
Français

 PRIX
GRATUIT
   
ACCÉDER A L'ARTICLE COMPLET  (86 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier