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

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Ammar-Khodja Samar (Auteur)
Collectivités auteurs : 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)
Autres auteurs : Bernard Alain (Directeur de thèse), Perry Nicolas (Directeur de thèse)
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.)
Note de thèse : Thèse doctorat : Mécanique, thermique et génie civil : Nantes : 2007
Disponibilité : Publication autorisée par le jury
Sujets :

BU Sciences

Informations d'exemplaires de BU Sciences
Cote Prêt Statut
Magasin aérotherme 2007 NANT 2159 Empruntable Disponible
Magasin aérotherme 2007 NANT 2159 Exclu du prêt disponible

Bib. Centrale Nantes

Informations d'exemplaires de Bib. Centrale Nantes
Cote Prêt Statut
Bibliothèques Th.2293 bis Empruntable Disponible
Magasin 3 Th.2293 Exclu du prêt Disponible