PROMOTING ACCESS TO AFRICAN RESEARCH

Journal of the Nigerian Association of Mathematical Physics

Log in or Register to get access to full text downloads.

Remember me or Register



DOWNLOAD FULL TEXT Open Access  DOWNLOAD FULL TEXT Subscription or Fee Access

Formalization of Hostel Management System.

JC Obi, AA Imianvan, Iyamu Iziegbe

Abstract


The automation of the processing and activities of Hostel Management System (HMS) can invariably contribute greatly to the success, profitability and customerbased approach of such an organization. The use of formal specification creates a formal approach for specifying the underlying functions and properties of the system. This paper has attempted to give a formal description of the activities of HMS system Using Zed notations. The interaction within the system is visualized using Unified Modeling Language (UML) sequence diagrams.

Keywords: HMSp; Z-Notation; UML.




AJOL African Journals Online