A model based formal specification of a medical expert system
| dc.contributor.author | Azni, Mohamed | |
| dc.date.accessioned | 2015-06-10T10:35:49Z | |
| dc.date.available | 2015-06-10T10:35:49Z | |
| dc.date.issued | 1994 | |
| dc.description | 109 p. : ill. ; 30 cm | en_US |
| dc.description.abstract | 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,… | en_US |
| dc.identifier.uri | https://dspace.univ-boumerdes.dz123456789/1581 | |
| dc.language.iso | en | en_US |
| dc.subject | medical expert system | en_US |
| dc.title | A model based formal specification of a medical expert system | en_US |
| dc.type | Thesis | en_US |