Claim Missing Document
Check
Articles

Found 14 Documents
Search

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.
PENGUNGKAPAN DIRI GOFAR HILMAN SEBAGAI INFLUENCER MELALUI MEDIA INSTAGRAM Saifulloh, Muhammad; Siregar, Maria Ulfah
JURNAL PUSTAKA KOMUNIKASI Vol 2, No 2 (2019)
Publisher : Universitas Prof. Dr. Moestopo (Beragama)

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

The purpose of this study was to find out Gofar hilman's self-disclosure as an influencer on Instagram social media and the relationship between Gofar hilman as an influencer with self-disclosure and what were revealed by Gofar Hilman on Instagram social media and the reasons for expressing these things. Using Alfred Schutz's phenomenology theory, Jauhari Window theory, the concept of new media and Computer Mediated Communication (CMC). The paradigm used is paradigm of constructivism and phenomenology methods. Self disclosure on Instagram that has network density characteristics makes Gofar Hilman prefer Instagram social media compared to features similar to Instagram on other social media, the density on social media Instagram makes Gofar Hilman as an influencer more likely to express the feelings he feels or he wanted to expose, this was related to the theory of self-disclosure put forward by Johari Window as an embodiment of how someone relates to other people who are described as a window.
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.
ANALISIS KESIAPAN PENGIMPLEMENTASIAN EDUROAM DI UIN SUNAN KALIJAGA Siregar, Maria Ulfah; Amalia, Alifah; Sugiantoro, Bambang
JURNAL TEKNIK INFORMATIKA Vol 13, No 1 (2020): JURNAL TEKNIK INFORMATIKA
Publisher : Department of Informatics, Universitas Islam Negeri Syarif Hidayatullah

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (195.248 KB) | DOI: 10.15408/jti.v13i1.11889

Abstract

This research is based on the existence of Eduroam in academia world which offers the easiness on managing data through internet. Inevitably, UIN Sunan Kalijaga as one of big campus in terms of number of population of academicians and the usage of internet in its area, has not joined in a group of institutions that implemented Eduroam. Through this research we aim to give brainstorming to academicians of UIN Sunan Kalijaga of the existence of Eduroam, then we will conclude the feasibility of implementing Eduroam on UIN Sunan Kalijaga. As guidances for this research are two hypotheses that we built. Our research method is conducting survey and interview to two domestic institutions which implemented Eduroam. It is followed by distributing online internal questionnare in UIN Sunan Kalijaga to do the brainstorming and collecting data. These data then were analyzed statistically to get the descriptive statistic, correlation and proved the hypotheses. Based on our analysis, it is found that there is a strong relation between the knowledge of Eduroam and the intention to join Eduroam, and a strong relation between the frequency of the usage of internet and the intention to join Eduroam. Therefore, we claim that it is feasible to implement Eduroam on UIN Sunan Kalijaga, by first improving the quality and quantity of the internet connection facilities on UIN Sunan Kalijaga.
Comparative Study of K-Means Clustering Algorithm and K-Medoids Clustering in Student Data Clustering Qomariyah; Siregar, Maria Ulfah
JISKA (Jurnal Informatika Sunan Kalijaga) Vol. 7 No. 2 (2022): Mei 2022
Publisher : UIN Sunan Kalijaga Yogyakarta

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (162.943 KB) | DOI: 10.14421/jiska.2022.7.2.91-99

Abstract

Universities as educational institutions have very large amounts of academic data which may not be used properly. The data needs to be analyzed to produce information that can map the distribution of students. Student academic data processing utilizes data mining processes using clustering techniques, K-Means and K-Medoids. This study aims to implement and analyze the comparison of which algorithm is more optimal based on the cluster validation test with the Davies Bouldin Index. The data used are academic data of UIN Sunan Kalijaga students in the 2013-2015 batch. In the k-Means process, the best number of clusters is 5 with a DBI value of 0.781. In the k-Medoids process, the best number of clusters is 3 with a DBI value of 0.929. Based on the value of the DBI validation test, the k-Means algorithm is more optimal than the k-Medoids. So that the cluster of students with the highest average GPA of 3,325 is 401 students.
Evaluasi Penggunaan Flowgorithm dalam Pembelajaran Algoritma Pemrograman menggunakan Technology Acceptance Model (TAM) Hisamuddin, Muhammad Zida; Siregar, Maria Ulfah
Jurnal Pendidikan Informatika (EDUMATIC) Vol 8 No 1 (2024): Edumatic: Jurnal Pendidikan Informatika
Publisher : Universitas Hamzanwadi

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.29408/edumatic.v8i1.25413

Abstract

be able to automate work and software development. However, a programmer must understand the basics of computational thinking that often causes a problem for students who are desirous of becoming programmers. This extensive research aims to evaluate student's acceptance of the use of flow Flogorithm using the Technological Acceptance Model (TAM) method. This type of research is quantitative and is conducted by using a survey method which involves distributing questionnaires to around 96 respondents who have particularly studied programming algorithms. Furthermore, the random sampling technique was used in the sampling. The analysis was carried out using the PLS-SEM method which consists of a measurement model and structural model with five variables, namely ease of use, perceived usefulness, attitude towards use, intention, and actual use. The result of the research shows that the acceptance of the Flowgorithm has a positive influence on all the set of variables, except for the perceived ease of use on attitude toward using.
Utilizing Prolog for Automatic Transformation of English Words Barkah, Nida Muhliya; Siregar, Maria Ulfah
Journal of Information Technology and Cyber Security Vol. 2 No. 2 (2024): July
Publisher : Department of Information Systems and Technology, Faculty of Intelligent Electrical and Informatics Technology, Universitas 17 Agustus 1945 Surabaya

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.30996/jitcs.11936

Abstract

Artificial Intelligence is a branch of computer science that focuses on developing systems that emulate human intelligence to execute commands or tasks by applying the concept of automatic reasoning. Automatic reasoning is the ability of a system to draw logical conclusions, make decisions, and solve problems independently, without human intervention, based on provided information or rules. The complexity of grammatical rules in English often causes difficulties in understanding and remembering them, hindering mastery of correct English structures. To address these challenges, this research uses automatic reasoning as the primary foundation for developing automatic transformation systems for English words—specifically, transforming singular nouns into plural forms and adjectives into adverbs of manner. The objective of this research is to apply grammatical rules during word transformation in Prolog. Furthermore, this study tests the effectiveness and accuracy of the process by evaluating the success rate of correct transformations. The system's performance is assessed by comparing the transformed words to their correct plural forms and corresponding adverbs of manner, based on predefined grammatical rules. This research does not involve participants directly but evaluates the system's performance on a set of predefined words. The results demonstrate that the system successfully transformed all tested words with 100% accuracy, effectively altering their structure. This indicates that the system is both effective and reliable for use in English language learning. Additionally, the system's high accuracy in handling various morphological transformations makes it a valuable tool for improving English grammar and writing skills.
PENGEMBANGAN MEDIA PEMBELAJARAN INTERAKTIF BERBASIS QUIZIZZ DAN GOOGLE SLIDES Bahar , Afdi Fauzul; Dewi , Bella Tasya Kumala; Mansur, Ejah Said; Siregar, Maria Ulfah
Aplikasia: Jurnal Aplikasi Ilmu-ilmu Agama Vol. 24 No. 2 (2024)
Publisher : UIN Sunan Kalijaga

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.14421/aplikasia.v24i2.3611

Abstract

The COVID-19 pandemic has revolutionized the learning process, including online learning which requires educators to be more adaptive and innovative in teaching. Educators, especially teachers, must master the latest technology and learning methods, especially with the challenges in the post-pandemic era, where students tend to prefer the Learning by Doing approach. This community service activity is a Quizizz and Google Slides training for Teachers at SMA Abu Bakar IT Yogyakarta. The target of this activity is 22 educators who are community service partners. Activities are carried out offline or face-to-face consisting of presentation of materials and practices and evaluation of activities by providing training activity questionnaires. The research method used is Asset-Based Community Development (ABCD). This method can optimize organization, connect and utilize assistance from external institutions. The results of the questionnaire responses given to participants for this training activity showed positive results, this was felt because the teacher gained skills and knowledge in using the Quizizz and Google Slides platforms. ========================================== Pandemi Covid-19 telah membuat revolusi proses pembelajaran, diantaranya adalah proses pembelajaran daring yang mengharuskan para pendidik untuk lebih adaptif dan inovatif dalam pengajarannya. Tenaga pendidik khususnya guru perlu menguasai teknologi dan metode pembelajaran terkini, terutama dengan adanya tantangan di era pasca pandemi, siswa cenderung menyukai pendekatan Learning by Doing. Kegiatan pengabdian ini diwujudkan dalam bentuk pelatihan Quizizz dan Google Slides bagi para guru di SMA IT Abu Bakar Yogyakarta. Sasaran dari kegiatan ini adalah 22 Tenaga Pendidik yang merupakan mitra pengabdian. Kegiatan dilakukan secara luring yang terdiri dari pemaparan materi dan praktek serta evaluasi kegiatan dengan memberikan angket kegiatan pelatihan. Metode penelitian yang digunakan adalah Asset-Based Community Development (ABCD). Metode tersebut mampu untuk mengoptimalkan pengorganisasian, menghubungkan serta memanfaatkan bantuan dari lembaga eksternal. Hasil respon angket yang diberikan kepada peserta pelatihan ini menunjukan hasil yang positif, para guru mendapatkan keterampilan dan pengetahuan dalam penggunaan Platform Quizizz dan Google Slides.
A Survey on Software Requirements Engineering in Information Technology Institutions Akbar, Muhammad Tulus; Siregar, Maria Ulfah
Elinvo (Electronics, Informatics, and Vocational Education) Vol 9, No 2 (2024): November 2024
Publisher : Department of Electronic and Informatic Engineering Education, Faculty of Engineering, UNY

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.21831/elinvo.v9i2.70862

Abstract

Requirements engineering is a crucial phase in software development. In theory, requirements gathering should follow structured and systematic steps to ensure all requirements are complete, consistent, and clear. However, there is a lack of research in real-world contexts, particularly in small and medium-sized software development organizations, which often face challenges related to human resources, infrastructure, and financial constraints. This study aims to explore the practices of requirements engineering in software development agencies. A qualitative approach was used, employing a narrative (descriptive) research design. Data were gathered through interviews, observations, and documentation from six institutions involved in developing various types of software. The data were then analyzed using Yin's Five Cycle content analysis method, supported by Nvivo 12 software. The findings reveal that the time required for gathering requirements varies between institutions (four institutions take 1 week to 1 month, two take 1 to 3 months, and two take over 3 months). Regarding the analysts' backgrounds, all institutions consider requirements elicitation a critical stage in software development, leading them to hire analysts with IT educational backgrounds, most of whom possess significant work experience. This is further evidenced by the fact that all institutions consider staff experience when forming requirements analysis teams and assigning senior staff to specific roles. There is limited practical variation in the sources of requirements and elicitation techniques. All institutions rely on objectives, domain knowledge, stakeholders, and the operational environment as sources of requirements. As for elicitation techniques, they primarily use interviews, facilitated meetings, and document reviews.