Processus d'aide à la spécification et à la vérification d'application d'ingénierie à base de connaissances expertes
Les environnements informatiques de travail dans le domaine de l'ingénièrie donnent actuellement l'espoir d'une accélération (par automatisation partielle) des tâches répétitives, et d'une meilleure capitalisation des savoirs de l'homme de l'art au travers de la formali...
Saved in:
Main Author : | |
---|---|
Corporate Authors : | , , , , |
Other Authors : | , |
Format : | Thesis |
Language : | français |
Title statement : | Processus d'aide à la spécification et à la vérification d'application d'ingénierie à base de connaissances expertes / Samar Amar-Khodja; sous la direction d'Alain Bernard; co-encadrant Nicolas Perry |
Published : |
2007 |
Physical Description : | 1 vol. (185 p.) |
Note de thèse : | Thèse doctorat : Mécanique, thermique et génie civil : Nantes : 2007 |
Availability : | Publication autorisée par le jury |
Subjects : |
BU Sciences
Location | Call Number | Loan type | Status |
---|---|---|---|
Magasin aérotherme | 2007 NANT 2159 | Empruntable | Available |
Magasin aérotherme | 2007 NANT 2159 | Exclu du prêt | disponible |
Bib. Centrale Nantes
Location | Call Number | Loan type | Status |
---|---|---|---|
Bibliothèques | Th.2293 bis | Empruntable | Available |
Magasin 3 | Th.2293 | Exclu du prêt | Disponible |