|
Depot Institutionnel de l'UMBB >
Thèses de Doctorat et Mémoires de Magister >
Génie Eléctriques >
Magister >
Veuillez utiliser cette adresse pour citer ce document :
http://dlibrary.univ-boumerdes.dz:8080/handle/123456789/1581
|
| Titre: | A model based formal specification of a medical expert system |
| Auteur(s): | Azni, Mohamed |
| Mots-clés: | medical expert system |
| Date de publication: | 1994 |
| 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,… |
| Description: | 109 p. : ill. ; 30 cm |
| URI/URL: | http://dlibrary.univ-boumerdes.dz:8080123456789/1581 |
| Collection(s) : | Magister
|
Fichier(s) constituant ce document :
|
Tous les documents dans DSpace sont protégés par copyright, avec tous droits réservés.
|
