Asian Journal of Information Technology
ISSN: Online 1993-5994ISSN: Print 1682-3915
Abstract
Computer-Aided Software Engineering (CASE) is the application of information technology to system development activities, techniques and methodologies. CASE tools are software that automate or support one or more phases of a systems development life cycle. Basically students or academicians use CASE tools to understand the theory of the concept. However, some versions of these tools do not focus on the needs of students or academic users who will need more assistance to understand the theory itself. In this paper, we discussed the formalizing object-oriented and previous researches. Also we discussed the architecture of Object-Oriented Model Assessor (OOMA) which is proposed for development. The specification approach presented in this prototype is focused on the development of diagram assessment system for mapping diagram from UML model into Object-Z specification. The objectives of this research is to improve student’s understanding on how to represent the system requirement in UML model and Object-Z specification model. In addition, it could also improve students’s understanding on the relationship between these two models.
How to cite this article:
Noraida Haji Ali , Zarina Shukur and Sufian Idris . Semi-Formal and Formal Notation Automated Assessment.
DOI: https://doi.org/10.36478/ajit.2006.1356.1360
URL: https://www.makhillpublications.co/view-article/1682-3915/ajit.2006.1356.1360