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