|
Depot Institutionnel de l'UMBB >
Thèses de Doctorat et Mémoires de Magister >
Génie Eléctriques >
Magister >
Please use this identifier to cite or link to this item:
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 |
| Issue Date: | 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: | http://dlibrary.univ-boumerdes.dz:8080123456789/1581 |
| Appears in Collections: | Magister
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
