Précédent : Actions industrielles Remonter : Actions industrielles Suivant : Contacts industriels

Collaboration avec le CNET

Participants : Abdelkader Dekdouk, Paul Kaboré, André Schaff.

Le contrat Aide à la Construction et à la Réutilisation de Spécifications Formelles (Marché CNET/CNRS 93-1B-143) est commun au groupe DEDALE et au projet RESEDAS. Notre contribution a porté sur la prise en compte des aspects tests et temps lors de la construction de spécifications. Des détails sont fournis dans les paragraphes précédents et André Schaff a présenté une synthèse des résultats au colloque "Logiciels pour les Télécommunications" organisé par le CNET à Issy-les-Moulineaux les 22-23 octobre 1996. Ce contrat a pris fin en octobre 1996.