Your Cart

Your cart is empty

Home  >  Volume 30 (2015)

Formalization of Hostel Management System by Obi J.C. and Imianvan A.A. and Iyamu Iziegbe, pp 263 – 266
Sale price: $5.00


The automation of the processing and activities of Hostel Management System (HMS) can invariably contribute greatly to the success, profitability and customer-based 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.