Equipe de recherche CPR

Systèmes sûrs : Conception et Programmation Raisonnées

Centre de recherche: 

CNAM-Laboratoire Cédric

Présentation: 

L’idée fédératrice de l’équipe CPR est que si les outils de preuve commencent à atteindre une certaine maturité, leur intégration au sein du processus de conception/développement n’est pas encore acquise.

Les membres de l’équipe CPR travaillent au développement de langages de spécification/conception orientée structuration et réutilisation. En effet, ces deux points sont essentiels pour l’activité de développement de logiciels certifiés comme ils le sont dans un cadre plus traditionnel de génie logiciel.

Structurer et réutiliser les preuves est d’autant plus important que faire des preuves reste une activité difficile et souvent fastidieuse.

Réalisations
Projet(s): 

Ressources produites (Brevets, Thèses, Articles…)

 

=> Connectez vous pour avoir accès aux contacts de personnes qui travaillent au sein de CPR.

 

Mots-clés





 

 
Taux de remplissage de la fiche : 41%

 

Last updated date

23/09/2010 – 17:19

 

Recommandations automatiques