Mécanisation de la réitilisation de composants logiciels : approches et outils
Les developpements de systemes d'information complexes ont montre la necessite de concevoir et d'ecrire des programmes ou composants logiciels reutilisables. Les systemes de gestion de bibliotheques logicielles (sgbl) sont des supports destines a mecaniser la reutilisation de composants au...
Kaydedildi:
| Yazar: | |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | Thèse et Mémoire papier |
| Dil: | Français |
| Baskı/Yayın Bilgisi: |
[Lieu de publication inconnu] :
[Éditeur inconnu]
1995.
|
| Konular: | |
| Not: |
1995ORLE2057 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | MECHANIZATION OF SOFTWARE COMPONENTS REUSE: APPROACHES AND TOOLS |
| LEADER | 03691nam a22002777a 4500 | ||
|---|---|---|---|
| 001 | 187205 | ||
| 008 | 990313s1995 xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN04403069X | ||
| 041 | 0 | |a fre |b fre | |
| 084 | |a 001.D.02.B.09_001.D.02.C.02_001.D.02.B.07.D | ||
| 084 | |a 620 | ||
| 100 | 1 | |a Parot, Patrick. | |
| 240 | 1 | 0 | |a MECHANIZATION OF SOFTWARE COMPONENTS REUSE: APPROACHES AND TOOLS |
| 245 | 1 | 0 | |a Mécanisation de la réitilisation de composants logiciels : |b approches et outils |c Patrick Parot ; sous la direction de P. Deransart. |
| 260 | |a [Lieu de publication inconnu] : |b [Éditeur inconnu], |c 1995. | ||
| 300 | |a 1 vol. (135 P.). | ||
| 500 | |a 1995ORLE2057 | ||
| 502 | |a Thèse de doctorat. Sciences appliquées. Orléans. 1995 | ||
| 504 | |a 68 REF. | ||
| 520 | |a Les developpements de systemes d'information complexes ont montre la necessite de concevoir et d'ecrire des programmes ou composants logiciels reutilisables. Les systemes de gestion de bibliotheques logicielles (sgbl) sont des supports destines a mecaniser la reutilisation de composants au travers d'une infrastructure de bibliotheque. Celle-ci doit etablir formellement les mecanismes de composition et de recherche des elements traites. Les composants sont decrits par un ensemble de facettes exprimant chacune une classe de specifications dans une semantique particuliere. La recherche est l'operation qui consiste a trouver des composants dont la specification est filtree par une requete donnee. La composition, exprimable par la parametrisation des composants, est une operation de creation de nouveaux elements. Celle-ci est definie a partir d'une relation d'ordre entre les specifications propres a une facette determinee. Ainsi, un langage de specifications, une relation de filtrage et une relation d'ordre seront definis pour chaque facette. Les proprietes de correction et de completude de la recherche mise en uvre devront etre prouvees. Nous suggerons une approche syntaxique ou les specifications des composants sont formees a partir de termes du premier ordre. Nous presentons un modele declaratif permettant d'automatiser la recherche dans une bibliotheque ou peuvent etre definis des modules de programmes et des operateurs du premier ordre (foncteurs) sur ces modules. En considerant les specifications de foncteurs comme des regles de deduction, une solution a une requete peut etre obtenue par l'application d'un foncteur a un resultat calcule par un moteur d'inferences. La conception precedente doit etre etendue pour traiter les specifications de foncteurs de tout ordre: la solution proposee repose sur une notion de modele syntaxique qui exprime une semantique des specifications traitees. Un systeme prototype a ete developpe et est utilise comme support des experimentations presentees. Une application de nos travaux en configuration automatique de systemes par synthese de programmes a ete realisee. Les resultats experimentaux obtenus encouragent une etude plus approfondie dans ce domaine | ||
| 650 | |a Thèses et écrits académiques | ||
| 700 | 1 | |a Deransart, Pierre, |d 1945- |4 ths | |
| 710 | 2 | |a Université d'Orléans. |4 dgg | |
| 787 | 0 | 8 | |i Reproduced as: |0 246279206 |t Mécanisation de la réitilisation de composants logiciels |o approches et outils |f Patrick Parot |d 1995 |c Grenoble |n Atelier national de reproduction des thèses |p Microfiches |s [Grenoble thèses] |
| 997 | |0 187205 |1 Thèse et Mémoire papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, TS 19-1995-57 |z Orléans, BU Sciences, Technologies, STAPS, TS 19-1995-57 a |z Orléans, BU Sciences, Technologies, STAPS, TS 19-1995-57 b | ||
| 999 | |5 452342104:053027043 |a ORLEANS | ||