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...
Enregistré dans:
Auteurs principaux : | , , |
---|---|
Collectivités auteurs : | , , , , |
Format : | Thèse ou mémoire |
Langue : | français |
Titre complet : | 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 |
Publié : |
2007 |
Description matérielle : | 1 vol. (185 p.) |
Condition d'utilisation et de reproduction : | Publication autorisée par le jury |
Note de thèse : | Thèse doctorat : Mécanique, thermique et génie civil : Nantes : 2007 |
Sujets : | |
Documents associés : | Reproduit comme:
Processus d'aide à la spécification et à la vérification d'application d'ingénierie à base de connaissances expertes |
Particularités de l'exemplaire : | BU Sciences, Ex. 1 : Titre temporairement indisponible à la communication |
BU Sciences
| Cote | Prêt | Statut |
---|---|---|---|
Communication impossible | 2007 NANT 2159 | Empruntable | Disponible |
Communication impossible | 2007 NANT 2159 | Exclu du prêt | disponible |
Bib. Centrale Nantes
| Cote | Prêt | Statut |
---|---|---|---|
Bibliothèques | Th.2293 bis | Empruntable | Disponible |
Magasin 3 | Th.2293 | Exclu du prêt | Disponible |