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 26/7 - 2007  - pp.795-796
TITRE
Editorial

RÉSUMÉ
Approches formelles pour le développement de logiciels a été préparé suite aux 7e rencontres de l’atelier AFADL, qui s’est tenu en mars 2006 à Paris. Qu’est-ce qu’AFADL ? C’est un lieu de rencontre et d’échanges entre le monde académique et le monde industriel de la communauté francophone sur les méthodes formelles pour le développement de logiciels. Les thèmes abordés 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 orientés vers l’assistance à la vérification, à la synthèse de programmes ou à leur validation par le test à partir de modèles formels. AFADL encourage la participation des jeunes chercheurs offrant une durée d’exposé permettant aux orateurs de présenter le contexte de leurs recherches avant de mettre en valeur leur apport personnel.

AUTEUR(S)


LANGUE DE L'ARTICLE
Français

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier