We apologize for a recent technical issue with our email system, which temporarily affected account activations. Accounts have now been activated. Authors may proceed with paper submissions. PhDFocusTM
CFP last date
20 December 2024
Call for Paper
January Edition
IJCA solicits high quality original research papers for the upcoming January edition of the journal. The last date of research paper submission is 20 December 2024

Submit your paper
Know more
The week's pick
Responsive image
Improved Shuffled Frog Leaping Algorithm with Self-Adaptive Shuffling for Fuzzy Logic PD+G Controller Optimization in Robotic Manipulators

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