Claim Missing Document
Check
Articles

Found 5 Documents
Search
Journal : IJID (International Journal on Informatics for Development)

A Scanner and Parser for Z Specifications Siregar, Maria Ulfah; Derrick, John
IJID (International Journal on Informatics for Development) Vol 7, No 1 (2018): IJID June
Publisher : Universitas Islam Negeri Sunan Kalijaga Yogyakarta

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.14421/ijid.2018.07104

Abstract

This paper describes our research on implementing a scanner and parsers for Z specifications. Rather to code them from scratch, we use tools that have specialities on creating such tasks. These tools generate several Java files which can be integrated with a main program in Java. Our research could produce a scanner and parser for Z specifications. These tools could benefit Z specifications to be studied further.
Design and Development of Web Based Employee Payroll Information System Using Codeigniter Framework and Extreme Programming Method Mahardika, Devara Eko Katon; Siregar, Maria Ulfah
IJID (International Journal on Informatics for Development) Vol 7, No 2 (2018): IJID December
Publisher : Universitas Islam Negeri Sunan Kalijaga Yogyakarta

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.14421/ijid.2018.07201

Abstract

Abstract—Universitas Proklamasi 45 Yogyakarta is a private university which is supervised by a Foundation that has implemented various information systems in various fields of work. However, in the payroll process the employees are still done manually and have not utilized a computerized system, such as attendance recap, wage recapitulation in addition to basic salary, as well as the sum of salary received by employees. This makes the payroll process less effective and efficient. This study aims to establish a proposed system that is a web-based employee payroll information system at the Universitas Proklamasi 45 Yogyakarta with the PHP programming language using Codeigniter Framework and MySQL as its database. The system development method used is the Extreme Programming method. This method was chosen because it promotes intense communication between the client and the system developer so that when there are changes or errors in the system, the developer is always ready to fix it. Extreme Programming also has a simple stage, namely planning, design, coding, and testing. The results of this study are the result of a web-based employee payroll information system that has various actors involved in the management and processing of its data. With this information system, the employee payroll process becomes more effective and efficient, because payroll data is processed and calculated by the system so that it has a high level of data accuracy and does not require a long time in the calculation process.
Translations of Embedded Theorems in Z Specifications Siregar, Maria Ulfah; Derrick, John; Yazid, Ahmad Subkhan
IJID (International Journal on Informatics for Development) Vol. 5 No. 2 (2016): IJID December
Publisher : Universitas Islam Negeri (UIN) Sunan Kalijaga Yogyakarta

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (240.873 KB) | DOI: 10.14421/ijid.2016.05205

Abstract

This paper discusses our proposal on how to embed theorems in Z specifications. One reason behind this proposal is to ease Z users in writing theorems directly in their Z specifications. Another reason is not to overwhelm Z users in learning other language, which in this case is SAL language. In doing so, we need to inform Z2SAL programmers how to translate these embedded theorems into equivalence theorems in SAL specifications. Based on our experiments, Z2SAL is able to translate these kind of theorems and SAL model checker is also able to model check SAL specifications with theorems that are written directly in the Z specifications.
An Efficient Journal Articles Searching using Vector Space Model Algorithm Alvriyanto, Azis; Nuruzzaman, Muhammad Taufiq; Siregar, Maria Ulfah; Hidayat, Rahmat
IJID (International Journal on Informatics for Development) Vol. 9 No. 1 (2020): IJID June
Publisher : Faculty of Science and Technology, UIN Sunan Kalijaga Yogyakarta

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.14421/ijid.2020.09104

Abstract

One of the main feature of digital library is a search engine which depends on keywords submitted by a user. However, in the traditional algorithm, the computation performance, searching speed, significantly relies on the number of journal articles stored in the databases. Some irrelevant search results also increase the speed of article searching process. To solve the problem, in this paper we propose vector space model (VSM) algorithm to search for relevant journal articles. The VSM algorithm considers a term frequency - inversed document frequency (TF-IDF). The VSM algorithm will be compared to the baseline algorithm namely traditional algorithm. Both algorithms will be evaluated using combination of keywords which can be a synonym, phrase, error typography, or suffix and prefix. By using the data consist of 635 journal articles, both algorithms are compared in terms of 11 evaluation criteria. The results show that VSM algorithm is able to obtain the intended journal at 5th rank on average as compared to the traditional algorithm which can obtain the intended journal at rank of 171st on average. Therefore, our proposed algorithm can improve the performance to accurately sort the journal articles based on the submitted keywords as compared to traditional algorithm.   
Price Forecasting of Chili Variant Commodities Using Radial Basis Function Neural Network Ramadhan, Ade Umar; Siregar, Maria Ulfah; Nafisah, Syifaun; Anshari, Muhammad; Ndungi, Rebeccah; Mulyawan, Rizki; Nurochman, Nurochman; Gunawan, Eko Hadi
IJID (International Journal on Informatics for Development) Vol. 12 No. 1 (2023): IJID June
Publisher : Faculty of Science and Technology, UIN Sunan Kalijaga Yogyakarta

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.14421/ijid.2023.5129

Abstract

This study addresses the challenge of price instability in chili markets, which can lead to economic losses and inflation. To mitigate this issue, we propose a machine learning model using Radial Basis Function Neural Networks (RBFNN) to predict prices of various chili variants. Our quantitative approach involves a comprehensive data preparation process, including preprocessing and normalization of time series data collected from 2018 to 2022. The RBFNN model is constructed with K-Means clustering for optimal hidden layer configurations and evaluated using Mean Absolute Percentage Error (MAPE) and Root Mean Square Error (RMSE). The results demonstrate promising accuracy, with MAPE error rates below 20% and relatively low RMSE values for large red chili (10.37%, 4484) and curly red chili (14.77%, 5590). Our findings indicate the potential for creating a reliable forecast model for predicting chili prices over 7 days, enabling better supply and demand management. The study's results also suggest that increased training data enhances forecasting accuracy. This research contributes to the development of effective price forecasting models, providing valuable insights for policymakers and stakeholders in the chili industry.