Garuda - Garba Rujukan Digital

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

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.

An Implementation of Web-Based Payroll Information System in Universitas Proklamasi 45 Yogyakarta Siregar, Maria Ulfah; Mahardika, Devara Eko Katon
IJID (International Journal on Informatics for Development) Vol. 7 No. 2 (2018): IJID December
Publisher : Faculty of Science and Technology, Universitas Islam Negeri (UIN) Sunan Kalijaga Yogyakarta

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

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 of the employees are still done manually and have not utilized a computerized system, such as attendance recap, wage recapitulation that is additional salary to basic salary, and 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 information system of employee payroll in 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

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

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

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.

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, Universitas Islam Negeri (UIN) Sunan Kalijaga Yogyakarta

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

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.

Evaluation of IT Service Management (ITSM) Using e-GovQual Dimensions Case Study Regional Office Ministry of Law and Human Rights DIY Wijatmoko, Taufiq Effendy; Siregar, Maria Ulfah
IJID (International Journal on Informatics for Development) Vol. 8 No. 2 (2019): IJID December
Publisher : Faculty of Science and Technology, Universitas Islam Negeri (UIN) Sunan Kalijaga Yogyakarta

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

Along with the increasing need for services in organizations, especially in the field of Information Technology (IT), the IT paradigm, which initially only focused on data processing and manipulation, has now shifted to strategic planning and IT services. IT Service Management (ITSM) is an information technology system management method that seeks to align IT with business needs to manage the provision of efficient IT services with quality assurance. Public services cannot be separated from the role of information technology to provide services that are fast, cheap, effective, and reliable to the public. This study was conducted to assess the quality ITSM using the e-GovQual dimensional framework as a best practice. This study includes quantitative research involving some respondents for the survey. This research question based on the dimensions of e-Govqual and represent the attributes of each dimension of e-GovQual to assess the quality of ITSM at the Ministry of Law and Human Rights DIY e-Government. The question must pass the validation test using Cronbach’s α. The processing of data using confirmatory factor analysis to obtain the main factors that affect each of the dimensions of e-GovQual. The Importance Performance Analysis (IPA) method helps e-Govqual to measure the level of importance and level of performance of each e-Govqual attribute by classifying it in the Cartesian quadrants (concentrating here, keep up the good work, low priority, and possible overkill), which can help ensure the quality of ITSM according to the performance and importance of citizens as a service user. The results of this study are expected to give priority as a recommendation for Information and Communication Technology to the development of ITSM to improve service quality. With Information Technology Infrastructure Library (ITIL) as the best practice ITSM framework, especially the domain service transition, the Ministry of Law and Human Rights DIY are expected to get a roadmap and blueprint for the utilization and implementation of Information Technology in the government sector for public services.

Evaluation of E-Government Using COBIT 5 Framework (Case Study of Sistem Database Pemasyarakatan Implementation in Ministry of Law and Human Rights in the Special Region of Yogyakarta) Novianto, Fanny; Siregar, Maria Ulfah
IJID (International Journal on Informatics for Development) Vol. 8 No. 2 (2019): IJID December
Publisher : Faculty of Science and Technology, Universitas Islam Negeri (UIN) Sunan Kalijaga Yogyakarta

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

Information technology has become an important element in the industrial era 4.0, an era where the concept of automation is known in the production process carried out by technology by reducing the role of humans in its application. Since the issuance of Presidential Instruction Number 3/2003 concerning National Policies and Strategies for E-Government Development, both central government and local governments, have begun to move to develop e-government in their respective regions. The Ministry of Law and Human Rights of the Republic of Indonesia is currently implementing e-government in internal business processes and public services that aimed at serving prime communities, eliminating illegal payments, and creating transparent and accountable performance. One of them is the use of the Sistem Database Pemasyarakatan (SDP). Data and information in the SDP are confidential because one of them contains data and information on criminals in Indonesia. The research method used is a quantitative method using a questionnaire instrument and using the 5th edition of the COBIT framework model and emphasizes on information security. From the gap analysis, it can be recommended one of them is Organizations must integrate security into every facet of management and operations. This begins with identifying all business processes and associated stakeholders, including audit.

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, Universitas Islam Negeri (UIN) Sunan Kalijaga Yogyakarta

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

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.

Title

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

Abstract

Abstract

Abstract

Abstract

Abstract

Abstract

Abstract

Abstract

Abstract

Title Search

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

Abstract

Abstract

Abstract

Abstract

Abstract

Abstract

Abstract

Abstract

Abstract

Title

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