CFP last date
20 January 2025
Call for Paper
February Edition
IJCA solicits high quality original research papers for the upcoming February edition of the journal. The last date of research paper submission is 20 January 2025

Submit your paper
Know more
The week's pick
Responsive image
SFLA-Based Line Balancing and Task Optimization in Master-Slave Controlled Hanger Transportation Systems for Garment Production

Duc Hoang Nguyen
Random Articles
Reseach Article

Towards University Semester and Examinations Regulations Model Verification

by Calorine Katushabe, Nabaasa Evarist, Abubaker Nyanzi
journal cover thumbnail

International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 146 - Number 2
Year of Publication: 2016
Authors: Calorine Katushabe, Nabaasa Evarist, Abubaker Nyanzi
10.5120/ijca2016910622

Calorine Katushabe, Nabaasa Evarist, Abubaker Nyanzi . Towards University Semester and Examinations Regulations Model Verification. International Journal of Computer Applications. 146, 2 ( Jul 2016), 1-4. DOI=10.5120/ijca2016910622

@article{ 10.5120/ijca2016910622,
author = { Calorine Katushabe, Nabaasa Evarist, Abubaker Nyanzi },
title = { Towards University Semester and Examinations Regulations Model Verification },
journal = { International Journal of Computer Applications },
issue_date = { Jul 2016 },
volume = { 146 },
number = { 2 },
month = { Jul },
year = { 2016 },
issn = { 0975-8887 },
pages = { 1-4 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume146/number2/25367-2016910622/ },
doi = { 10.5120/ijca2016910622 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T23:49:10.625142+05:30
%A Calorine Katushabe
%A Nabaasa Evarist
%A Abubaker Nyanzi
%T Towards University Semester and Examinations Regulations Model Verification
%J International Journal of Computer Applications
%@ 0975-8887
%V 146
%N 2
%P 1-4
%D 2016
%I Foundation of Computer Science (FCS), NY, USA
Abstract

This paper reviewed the Mbarara University of Science and Technology semester and examinations regulations handbook and diagrammatically identified a number of flaws in the model. The next phase of this research is to identify parameters at each state in the model and redesign the model so as to try and eliminate or minimize the identified flaws by carrying out model checking for both the current model and the new model to be designed.

References
  1. Amherst University, of Massachusetts, “Academic Regulations University of Massachusetts Amherst year 2015/2016," 2016.
  2. E. Clarke, K. McMillan, S. Campos, and V. Hartonas Garmhausen, \Symbolic model checking," in Computer Aided Verification, pp. 419-422, Springer, 1996.
  3. J. A. et al., \An overview of formal methods tools and techniques," Rigorous Software Development, Undergraduate Topics in Computer Science, vol. 10, no. 2, 2011.
  4. E. A. Emerson, \Model checking: A personal perspective," in ACM Turing award lectures, ACM, 2007.
  5. J.-P. Queille and J. Sifakis, \Specification and verification of concurrent systems in cesar," in International Symposium on Programming, pp. 337-351, Springer, 1982.
  6. E. M. Clarke, O. Grumberg, and D. Peled, Model checking. MIT press, 1999.
  7. R. Harish, \Verification by model checking," 2014.
  8. E. Clarke, H. Jain, and N. Sinha, \Grand challenge:Model check software," NATO Security through Science Series D-Information and Communication Security, vol. 1, p. 55, 2006.
  9. Z. Yang, C. Wang, A. Gupta, and F. Ivancic, “Mixed symbolic representations for model checking software programs," in Formal Methods and Models for Co-Design, 2006. MEMOCODE'06. Proceedings. Fourth ACM and IEEE International Conference on, pp. 17-26, IEEE, 2006.
  10. MUST, “Mbarara University of science and technology Examination Regulations." 2016.
  11. S. Chandra, P. Godefroid, and C. Palm, \Software model checking in practice: an industrial case study," in Proceedings of the 24th International Conference on Software Engineering, pp. 431-441, ACM, 2002.
  12. K. Havelund and T. Press burger, “Model checking java programs using java pathfinder," International Journal on Software Tools for Technology Transfer, vol. 2, no. 4, pp. 366-381,2000.
  13. W. Visser, K. Havelund, G. Brat, S. Park, and F. Lerda, \Model checking programs,"Automated Software Engineering, vol. 10, no. 2, pp. 203-232, 2003.
  14. G. Brat, D. Drusinsky, D. Giannakopoulou, A. Goldberg, K. Havelund, M. Lowry,C. Pasareanu, A. Venet, W. Visser, and R. Washington, \Experimental evaluation of verification and validation tools on Martian rover software," Formal Methods in SystemDesign, vol. 25, no. 2-3, pp. 167-198, 2004.
  15. M. Musuvathi, D. R. Engler, et al., \Model checking large network protocol implementations." in NSDI, vol. 4, pp. 12-12, Cite seer, 2004.
Index Terms

Computer Science
Information Sciences

Keywords

Semester Examinations Regulations Flaws Model checking Verification.

Powered by PhDFocusTM