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...

Full description

Saved in:
Bibliographic Details
Main Author : Ammar-Khodja Samar (Auteur)
Corporate Authors : Université de Nantes 1962-2021 (Organisme de soutenance), Université de Nantes Faculté des sciences et des techniques (Autre partenaire associé à la thèse), Centrale Nantes 1991-.... (Autre partenaire associé à la thèse), École doctorale mécanique, thermique et génie civil Nantes (Ecole doctorale associée à la thèse), Institut de recherche en communications et cybernétique Nantes 1958-2017 (Laboratoire associé à la thèse)
Other Authors : Bernard Alain (Directeur de thèse), Perry Nicolas (Directeur de thèse)
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

Holdings details from 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

Holdings details from 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