Mémoires de Fin d’Etudes
Etablissement
Université de Boumerdès - M’hamed Bougara
Affiliation
Département Electronique
Auteur
AZNI, Mohamed
Directeur de thèse
Boularas A. (Professeur)
Filière
Génie Electronique
Diplôme
Magister
Titre
A model based formal specification of a medical expert system
Mots clés
medical expert system
Résumé
In this thesis, the problem of the specification of the reasoning processes that are used in the development of the systems is investigated, and a specification model of a medical expert system is proposed. Traditionally, expert systems are developed by following an exploratory programming model of the software life-cycle. In this model of software development, the developer progresses towards the desired system by building an initial implementation, and gradually, refilining it into working prototypes,…
Date de soutenance
1994
Cote
621.3(043.2)/A106/AZ
Pagination
109 p.
Illusatration
ill.
Format
30 cm
Statut
Traitée
Tags & Categories
system
medical
etablissement
université
affiliation
electronique
boumerdes
hamed
bougara
model
expert
spécification
universitÉ
Établissement
Électronique
élèctronique
éléctronique
eléctronique
univérsité
établissement
électronique
établissement
boumerdes
departement
établissement
universite
affiliation
boularas
boumerdès
département
directeur
electronique
etablissement
université