Article Per Year (5 Year)
p-Index From 2019 - 2024
0.408
P-Index
This Author published in this journals
All Journal International Journal of Electrical and Computer Engineering Indonesian Journal of Electrical Engineering and Computer Science
Bashar Alathari
University Of Kufa
Computer Science & IT Electrical & Electronics Engineering

Published : 2 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 2 Documents
Search

 1 
An integration of uml use case diagram and activity diagram with Z language for formalization of library management system Zainab Hassan Muhamad; Dhafer AbdulAmeer Abdulmonim; Bashar Alathari
International Journal of Electrical and Computer Engineering (IJECE) Vol 9, No 4: August 2019
Publisher : Institute of Advanced Engineering and Science

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (652.607 KB) | DOI: 10.11591/ijece.v9i4.pp3069-3076

Abstract

Unified Modeling Language (UML) is the effective standard for modeling object-oriented software systems. However, the ambiguity of semantics and the absence of consistency among UML diagrams lead to lack of precisely defining the requirements of a system. On the other hand, formal methods are techniques and tools use the mathematical notations, and they involve the precise syntax and semantics of the unambiguous software requirements specification. It applied in early stages of Software Development Life Cycle (SDLC). Therefore, an integrated between UML specification and formal specification is required to reduce the requirements' ambiguity and error, and to improve the quality and security of software systems. This paper proposes an approach involves the combining UML use-case diagram and activity diagrams with Z language for formalization of Library Management System (LMS). The focus of this paper is on consistency between the UML diagrams to Z Schema, and then verified by using the Z / EVEs tool.
A framework implementation of surveillance tracking system based on PIR motion sensors Bashar Alathari; Mohammed Falih Kadhim; Salam Al-Khammasi; Nabeel Salih Ali
Indonesian Journal of Electrical Engineering and Computer Science Vol 13, No 1: January 2019
Publisher : Institute of Advanced Engineering and Science

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.11591/ijeecs.v13.i1.pp235-242

Abstract

A motion tracking system made from affordable hardware components is implemented to be used inside the University of Kufa (UoK) buildings to track and detect any suspicious activities. The current research objectives are to automatically monitor, track intruders using sensors, servo, and camera that occurs around the system using Arduino microcontroller. The mounted camera track, capture the moving object and sending a live broadcast to a receiving host which could be a desktop computer, laptop, tablet or a smartphone. In this study, we consider the problem of automated position estimation using the electronic circuit of inexpensive binary motion sensors. We present simulation and experiments with Passive Infrared (PIR) motion sensors that suggest our current estimator. Fritzing software simulator is used to test and draw the circuits of the system. The proposed design worked efficiently during the experiments and shown high performance with 360 degrees of detection for the sensing environments.
Co-Authors Dhafer AbdulAmeer Abdulmonim Mohammed Falih Kadhim Nabeel Salih Ali Salam Al-Khammasi Zainab Hassan Muhamad