Cette thèse s?inscrit de manière générale dans le cadre de la conception et la réalisation d?environnements de développement coopératifs. Nous montrons comment, en utilisant un modèle transactionnel, nous pouvons supporter des exécutions non plus concurrentes mais coopératives d'activités de développement. D'une manière générale, nous voulons garantir aux utilisateurs la propriété suivante : si individuellement ils font correctement leur travail, alors ensemble, ils produiront des résultats cohérents sans avoir à se préoccuper des problèmes de concurrence d?accès. Notre thèse se situe à l'intersection des domaines du génie logiciel et des systèmes transactionnels. Nous proposons un nouveau modèle transactionnel supportant les exécutions coopératives d?activités de développement sans faire appel à la connaissance des procédés de fabrication. Ceci est en opposition avec tous les travaux relatifs en ce domaine. Nos résultats sont les suivants : 1. deux critères de correction des exécutions coopératives : la CS-sérialisabilité et la COO-sérialisabilité. Ces critères fixent des règles à respecter pour entrelacer correctement des opérations de lecture/ écriture sur des résultats intermédiaires et finaux. 2. Un protocole permettant d'évaluer de manière incrémentale ces critères. Ce protocole est validé par une implantation au sein de l'environnement COO développé par le groupe ECOO au CRIN.