DEDALE

Développement de spécifications

Département 2 : Méthodes formelles

Responsable de l’équipe : Jeanine Souquières
Tél. : +33 3 83 59 20 12
Mail : jeanine.souquieres@loria.fr

Site de l’équipe

Présentation

La réalisation de logiciels sûrs nécessite une bonne maîtrise de la construction. L’objectif de l’équipe DEDALE est d’étudier les mécanismes de construction de spécifications et de programmes, dans le but d’acquérir une meilleure maîtrise de la production, de l’évolution et de la qualité des logiciels. L’idée sous-jacente est que les développements de spécifications et de programmes sont des objets à part entière que l’on peut étudier, modéliser, construire, modifier et réutiliser. Ils visent à :
>> apporter des aides dans la démarche de construction d’un logiciel, depuis l’analyse du cahier des charges fourni par le client jusqu’à la production d’une spécification formelle,
>> comprendre et décrire des méthodes de développement en utilisant les langages de spécification existants et les outils associés à ces langages tout au long du développement, et pas uniquement lorsque la spécification est terminée.

Axes thématiques

  • Spécification formelle des systèmes à base de composants
  • Assemblage confiant de composants
  • Méthodes et outils pour le développement des spécifications formelles

Collaborations

  • LACL, LIFC et LAMIH pour les systèmes à base de composants
  • Université de Duisbourg
  • Université de Sfax
  • Université de Tunis

Mots-clés

Ingénierie de logiciel, méthodes formelles, composants, méthodologie

En ce moment

Logo du CNRS
Logo Inria
Logo Université de Lorraine