Hospital Management System (HMS): A Formal Approach using Z-notation

International Journal of Computer & Organization Trends  (IJCOT)          
© 2017 by IJCOT Journal
Volume - 7 Issue - 6
Year of Publication : 2017
AuthorsEjiofor C. I, Mgbeafuluike .I .J


Ejiofor C. I, Mgbeafuluike .I .J "Hospital Management System (HMS): A Formal Approach using Z-notation", International Journal of Computer & organization Trends (IJCOT), V7(6):11-13 November - December  2017, ISSN:2249-2593, Published by Seventh Sense Research Group.

Abstract The use of formal specification creates a formal approach for specifying the underlying functions and properties of the software system. This paper has attempted to give a formal description of the activities Hospital management System(HMS) using Zed notations.


1) Adroit (2017), eHospital System, retrieved online from Products/ehospital-systems.
2) Practo, (2015), Hospital Management System, retrieved online from 10 October, 2017.
3) Rachita N. (2017),Hospital System,
4) Jiantao P. (1999), “Software Reliability”, retrieved online from 99/sw-reliability/.
5) Michael J. (2017), Formalism and Informality in Software System, retrieved online from
6) Sannella D., (1988), “A Survey of formal software development methods”, appeared in Software Engineering: A European Perspective, A. McGettrick and R. Thayer (eds.), IEEE Computer Society Press, pp 281-297, 1993.
7) Spivey J. M. (1992), “The Z Notation: A Reference Manual, 2nd Edition”, Prentice Hall International (UK) limited, United Kingdom.
8) Spivey J. M. (1998), “The Z Notation: A Reference Manual”, Oxford, United Kingdom.
9) Stuart R., and Norvig P. (1995), “Artificial Intelligence: A Modern Approach”, Prentice Hall (UK) International.

HMS, Z-Notation