A formal system approach for cerebral malaria

Cerebral Malaria is a neurological complication caused by the plasmodium falciparum malaria. Therefore quality and prompt treatment in addition to fault tolerance is necessary due to critical safety. The use of formal specification creates a formal approach for specifying the underlying functions and properties of the cerebral malaria system. This paper has attempted to give a formal description of the activities cerebral malaria system Using Zed notations. The interaction within the system is visualized using Unified Modelling Language (UML) sequence diagrams.

Author: 
Ejiofor, C.I and Okengwu, U.A.
Volume No: 
02
Issue No: 
04
Paper Number: 
0320
Select Subjects: 
Select Issue: 
Download PDF: 

Editorial Board

David Johnson
Jessica Parker
Sarah Conor
John Franklin