Articles by Zarina Shukur (19)

SNL2Z: Tool for Translating an Informal Structured Software Specification into Formal Specification

Mohamed A. Sullabi and Zarina Shukur

American Journal of Applied Sciences 5 ( 4 ): 378 - 384 , 2008

Review of User Authentication Methods in Online Examination

Nader Abdel Karim and Zarina Shukur

Asian Journal of Information Technology 14 ( 5 ): 166 - 175 , 2015

Proposed Features of Online Examination Interface Design

Nader Abdel Karim, Zarina Shukur and Mohammad Ghazal

Asian Journal of Information Technology 15 ( 16 ): 2733 - 2736 , 2016

A Survey on Data Carving in Digital Forensic

Nadeem Alherbawi, Zarina Shukur and Rossilawati Sulaiman

Asian Journal of Information Technology 15 ( 24 ): 5137 - 5144 , 2016

CuQuP: A Hybrid Approach for Selecting Suitable Information Systems Development Methodology

Maryati Mohd. Yusof, Zarina Shukur and Azlan Long Abdullah

Information Technology Journal 10 ( 5 ): 1031 - 1037 , 2011

Measurement Model for Deception Detection in Online Chat Software

Ade Adi Wibowo, Zarina Shukur and Rozmi Ismail

Information Technology Journal 13 ( 3 ): 485 - 492 , 2014

Formal Specification and Validation of Selective Acknowledgement Protocol using Z/EVES Theorem Prover

Zarina Shukur, Nursyahidah Alias, Mohd Hazali Mohamed Halip and Bahari Idrus

Journal of Applied Sciences 6 ( 8 ): 1712 - 1719 , 2006

Heavy-Weight and Light-weight UML Modelling Extensions of Aspect-Orientation in the Early Stage of Software Development

Aws A. Magableh, Zarina Shukur and Norazean Mohd Ali

Journal of Applied Sciences 12 ( 21 ): 2195 - 2201 , 2012

An Aspectual UML Modelling Tool

Aws A. Magableh, Zarina Shukur and Noorazean Mohd. Ali

Journal of Applied Sciences 12 ( 21 ): 2182 - 2194 , 2012

Systematic Review on Aspect-oriented UML Modeling: A Complete Aspectual UML Modeling Framework

Aws Magableh, Zarina Shukur and Noorazean Mohd Ali

Journal of Applied Sciences 13 ( 1 ): 1 - 13 , 2013

CSCW for Preparing Formal Software Specifications: Issues and Implementation

Mohamed A. Sullabi and Zarina Shukur

Journal of Computer Science 4 ( 4 ): 333 - 340 , 2008

The Design of ADAT: A Tool for Assessing Automata-Based Assignments

Zarina Shukur and Nurul Fatihah Mohamed

Journal of Computer Science 4 ( 5 ): 415 - 420 , 2008

The Conceptual Design of Module Documentation Based Testing Tool

Salmi Baharom and Zarina Shukur

Journal of Computer Science 4 ( 6 ): 454 - 462 , 2008

Animation of Natural Language Specifications of Authentication Protocols

Mabroka Ali Mayouf and Zarina Shukur

Journal of Computer Science 4 ( 7 ): 503 - 508 , 2008

A Study of Mashup as a Software Application Development Technique with Examples from an End-User Programming Perspective

Ahmed Patel, Liu Na, Rodziah Latih, Christopher Wills, Zarina Shukur and Rabia Mulla

Journal of Computer Science 6 ( 12 ): 1406 - 1415 , 2010

A Disruption-Tolerant Model for Building a Mobile Application Using Web Service

Maryati Mohd. Yusof, Mansor Omar and Zarina Shukur

Journal of Computer Science 6 ( 12 ): 1430 - 1437 , 2010

Analysis of the Model Checkers’ Input Languages for Modeling Traffic Light Systems

Pathiah Abdul Samat, Abdullah Mohd Zin and Zarina Shukur

Journal of Computer Science 7 ( 2 ): 225 - 233 , 2011

Current Techniques in JPEG Image Authentication and Forgery Detection

Nadeem Alherbawi, Zarina Shukur and Rossilawati Sulaiman

Journal of Engineering and Applied Sciences 12 ( 1 ): 104 - 112 , 2017

Proposed System Architecture for Integrity Verification of Embedded Systems

Abdo Ali A. Al-Wosabi and Zarina Shukur

Journal of Engineering and Applied Sciences 12 ( 9 ): 2371 - 2376 , 2017

Do you have a suggestion for journals

Suggest Journal