Il est propose dans cette thèse une méthode de composition modulaire de systèmes à partir d'éléments pouvant exister en plusieurs versions, ainsi qu'une base de données. Conservant les relations de compositions de versions. La réalisation de systèmes complexes s'accompagne de la vérification automatique de contraintes de composition. Une réalisation prototype de la base a été effectuée dans le cadre du projet ADELE
Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00307853 |
Date | 21 December 1983 |
Creators | Ghoul, Saïd |
Source Sets | CCSD theses-EN-ligne, France |
Language | French |
Detected Language | French |
Type | PhD thesis |
Page generated in 0.0019 seconds