11e Rencontre INRIA-Industrie
L'ingénierie du logiciel
Mardi 27 janvier 2004
INRIA - Rocquencourt, France
Objectifs
- Comment répondre aux besoins de sûreté et sécurité dans le développement d'applications ?
- Comment renforcer le test et la vérification de conformité des programmes ?
- Qu'est-ce que la programmation par contraintes ? par aspects ?
- Quels outils pour les applications distribuées ?
- Quels sont les besoins encore insatisfaits ?
La journée de rencontre entre chercheurs de l'institut et praticiens
du domaine de l'ingénierie du logiciel a permis de faire le point sur
ces questions et de mieux connaître quelques uns des travaux en cours
à l'INRIA.
Organisée à l'initiative conjointe de Gilles Kahn, directeur
scientifique, et de Gérard Giraudon, directeur du développement
et des relations industrielles, cette 11eme Rencontre était placée
sous la responsabilité scientifique de Michel Mauny (Rocquencourt),
Denis Caromel (Sophia Antipolis), Charles Consel (Bordeaux), Hubert Garavel
(Grenoble), Thomas Jensen (Rennes), Philippe Merle (Lille) et Christophe Ringeissen
(Nancy).
