Judul: Mathematical Study for Proving Correctness of the  Serial Graph-Validation Queue (SG-VQ) Scheme
Abstrak: Selama beberapa tahun terakhir, terdapat peningkatan signifikan dalam kemampuan melakukan pekerjaan berbasis informasi dari jarak jauh. Peningkatan ini didukung oleh meluasnya penerapan aplikasi berbasis real-time collaboration. Aplikasi real-time collaboration memungkinkan banyak pengguna untuk bekerja secara bersamaan, bahkan ketika masing-masing berada terpisah secara geografis. Adapun aplikasi dengan fitur real-time collaboration biasanya mengadopsi arsitektur klien-server. Karena klien dapat mengakses server secara bersamaan, bahkan melakukan perubahan data, sistem klien-server memerlukan mekanisme kontrol konkurensi untuk menjaga konsistensi data. Sejumlah penelitian telah dilakukan untuk mengembangkan skema yang dapat diterapkan pada sistem klien-server, seperti skema Validation Queue (VQ) yang menggunakan cache objek di sisi klien. Skema ini kemudian dimodifikasi menjadi skema Serial Graph-Validation Queue (SG-VQ), yang menggunakan algoritma validasi berdasarkan queue di sisi klien dan graph di sisi server. Penelitian ini berfokus pada verifikasi kebenaran skema SG-VQ dengan menggunakan serializability sebagai indikator. Menerapkan grafik transaksi bebas siklus adalah syarat perlu dan syarat cukup untuk mencapai serializability. Untuk membuktikan Teorema, telah dirumuskan pernyataan matematika yang melibatkan sepuluh definisi, dua proposisi, dan tiga lemma. Pembuktian diawali dengan Lemma 1 yang menjamin bahwa urutan eksekusi secara global akan direfleksikan secara konsisten pada setiap klien k yang memunculkan transaksi terkait. Selanjutnya, Lemma 2 dan Lemma 3 menunjukkan bahwa transaksi konkuren pada skema SG-VQ dapat diserialkan. Hasil penelitian ini menunjukkan bahwa skema SG-VQ dapat menjalankan operasinya dengan benar, sesuai dengan Teorema Serializability Skema SG-VQ yang menyatakan bahwa setiap history (H) dari SG-VQ bersifat serializable., Over the past few years, there has been a significant increase in the ability to perform information-based work remotely. The widespread adoption of real-time collaboration applications has supported this increase. These applications enable many users to work simultaneously, even when geographically separated. Applications with real-time collaboration features typically adopt a client-server architecture. Since clients can access the server simultaneously and change data, the client-server system requires a concurrency control mechanism to maintain data consistency. Several studies have been conducted to develop schemes that can be applied to client-server systems, such as the Validation Queue (VQ) scheme, which uses object caching on the client side. This scheme was later modified into the Serial Graph-Validation Queue (SG-VQ) scheme, which uses a validation algorithm based on a queue on the client side and a graph on the server side. This research focuses on verifying the correctness of the SG-VQ scheme using serializability as an indicator. Applying a cycle-free transaction graph is a necessary and sufficient condition for achieving serializability. A mathematical statement has been formulated to prove the theorem involving ten definitions, two propositions, and three lemmas. The proof begins with Lemma 1, which ensures that the execution order is globally reflected consistently on each client k that issues the related transactions. Subsequently, Lemma 2 and Lemma 3 demonstrate that concurrent transactions in the SG-VQ scheme can be serialized. The results of this study indicate that the SG-VQ scheme can operate correctly, following the SG-VQ Scheme Serializability Theorem, which states that every history (H) of SG-VQ is serializable.
Keyword: Correctness, Klien-Server, Kontrol Konkurensi, Serializability

Judul: Evaluation of System Quality  and Class Diagram Design (Case Study: Agrowing Garden Information System)
Abstrak: Pengujian software merupakan salah satu bentuk verifikasi dan validasi dari kualitas sebuah software. Selain pengujian software, analisis class diagram perlu diperhatikan agar sistem yang dikembangkan dapat menjadi lebih mudah dan teratur untuk dibuat. Pengujian software dan pengukuran kualitas class diagram dapat dilakukan pada suatu sistem yang sudah ada. Sistem tersebut berupa KMS untuk pengelolaan kebun PT. Agrowing Agrikultura Indonesia. KMS tersebut saat ini hanya menyediakan pengelolaan buah jambu biji merah. Transaction Processing System merupakan dasar dari pembuatan KMS. Oleh karena itu, tujuan penelitian ini untuk melakukan pengujian white box dan pengukuran kualitas class diagram serta memperbaiki sistem yang sudah ada agar dapat digunakan untuk buah-buah lainnya selain buah jambu biji merah dari sisi backend. Metode penelitian dilakukan dengan menggunakan prototyping. Hasil dari penelitian ini diharapkan membantu proses budidaya dari segi pencatatan hariannya dalam menerapkan SOP yang sesuai sehingga kualitas komoditas yang dibudidayakan sesuai dengan yang diharapkan., Software testing is a form of verification and validation of the software quality. Beside that, class diagram analysis needs to be considered so that the system developed can be easier and more organized to make. Software testing and measurement of class diagram quality can be performed on an existing system. The system example is KMS for the management of PT. Agrowing Agrikultura Indonesia. The KMS currently only provides management of red guava fruit. The Transaction Processing System is the basis for the creation of a KMS. Therefore, the purpose of this research is to do white box testing and measure the quality of class diagrams and improve the existing system so that it can be used for other fruits besides red guava from the backend side. The research method was carried out using prototyping. The results of this study are expected to help in terms of daily recording in applying appropriate SOPs so that the quality of the cultivated commodities is as expected.
Keyword: backend, Transaction Processing System, white box, class diagram

Judul: Etno-ornitologi Burung Kancilan Flores (Pachycephala nudigula nudigula Hartert 1897) pada Masyarakat Lio di Taman Nasional Kelimutu
Abstrak: Bare-throathed whistler is one of several wild birds in Kelimutu National Park (TNKL) that is believed to have correlation with Lio Community‟s belief. The estimation of Bare-throated whistler‟s population in Kelimutu National Park was about 186.41-1668.07 individual by the density about 0.0389-0.3481 ind/ha with the sex ratio 6.2:1 that spreaded on area with height of 1100 – 1600 masl. The characteristic of Bare-throated whistler‟s habitat is a natural forest with various canopy level, high plant species diversity and high density. The habitat characteristics related to the availability of food in the form of insects, cover, safety and a nesting site. Generally the most of Lio community knew the existence of Bare-throated whistler directly or from their parents‟ stories. The perceptions of Lio Community to the Bare-throated whistler‟s existence is generally support the conservation efforts. The perceptions construct the Lio Community‟s atitude that tend to be conservative to the existence of Bare-throated whistler. The attitude shown by their behavior that not cathing the Bare-throated whistler from the TNKL‟s area or the outside. The attitude have an important role to the existence of Bare-throated whistler in Kelimutu National Park‟s area.
Keyword: