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 34/5 - 2015  - pp.493-494
TITRE
INTRODUCTION

RÉSUMÉ

Ce numéro est consacré aux 12e et 13e éditions de l’atelier AFADL (Approches Formelles dans l’Assistance au Développement de Logiciels), qui se sont déroulées à Nancy en 2013 et à Paris en 2014, conjointement avec les journées annuelles du GDR GPL (Génie de la Programmation et du Logiciel, http://gdr-gpl.imag.fr).

L’atelier AFADL a pour objectif de rassembler les communautés universitaire et industrielle francophones intéressées par la mise en œuvre des techniques formelles aux divers stades du développement des logiciels et/ou des systèmes. Les thèmes abordés portent sur les techniques et outils formels contribuant à assurer un bon niveau de confiance dans la construction de logiciels et de systèmes, les méthodes et processus permettant d’exploiter efficacement les techniques et outils formels existants ou nouveaux, les méthodes et processus mettant en œuvre des 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.

Ce numéro propose une version révisée et étendue de cinq articles présentés lors des journées AFADL 2013 et 2014. Il illustre bien la diversité thématique et méthodologique de cet atelier.



AUTEUR(S)
Catherine DUBOIS, Régine LALEAU

LANGUE DE L'ARTICLE
Français

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier