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 | ||
| Authors : Ejiofor C. I, Mgbeafuluike .I .J | ||
| DOI : 10.14445/22492593/IJCOT-V7I6P302 |
Citation
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, www.ijcotjournal.org. 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.
References
1) Adroit (2017), eHospital System, retrieved online from https://www.adroitinfosystems.com/ Products/ehospital-systems.
2) Practo, (2015), Hospital Management System, retrieved online from https://doctors.practo.com/hospital-management-system/ 10 October, 2017.
3) Rachita N. (2017),Hospital System,http://itprojectshub.com/documentation/hospital-management-system.docx.
4) Jiantao P. (1999), “Software Reliability”, retrieved online from http://ece.cmu.edu/koopman/Des_a 99/sw-reliability/.
5) Michael J. (2017), Formalism and Informality in Software System, retrieved online from https://link.springer.com/chapter/10.1007/3-540-46019-5_31.
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.
Keywords
HMS, Z-Notation