Azni, Mohamed2015-06-102015-06-101994https://dspace.univ-boumerdes.dz123456789/1581109 p. : ill. ; 30 cmIn 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,…enmedical expert systemA model based formal specification of a medical expert systemThesis