TY  - JOUR
T1  - Semi-Formal and Formal Notation Automated Assessment
AU - , Noraida Haji Ali AU - , Zarina Shukur AU - , Sufian Idris 
JO  - Asian Journal of Information Technology
VL  - 5
IS  - 12
SP  - 1356
EP  - 1360
PY  - 2006
DA  - 2001/08/19
SN  - 1682-3915
DO  - ajit.2006.1356.1360
UR  - https://makhillpublications.co/view-article.php?doi=ajit.2006.1356.1360
KW  - Object-oriented modeling
KW  -formal modeling
KW  -UML
KW  -object-Z
AB  - 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.
ER  -