Hasil Pencarian  ::  Simpan CSV :: Kembali

"Dalam teori komputasi dikenal beberapa kelas problema. Salah satu dari kelas-kelas tersebut adalah kelas NP—problem. Di daiam kelas ini terdapat himpunan problema—problema dimana sampai saat ini belum dapat ditemukan alqoritma—algoritma penyelesaian untuk masing—masing problema tersebut yaitu dapat bekerja dalam waktu polinormial agar menghasilkan solusi yang optimal. Selain kelas HP-problem terdapat kelas lain yaitu kelas HP—Complete. Kelas ini merupakan sebuah himpunan problema—problema yang paling berat (the hardest problem) dari himpunan problema-problema di dalam kelas HP—problem. Artinya jika dapat ditemukan algoritma penyelesaian yang bekerja dalam waktu polinomial untuk menghasilkan solusi optimal bagi salah satu anggota kelas ini maka seluruh kelas MP—problem akan dapat pula ditemukan algoritma penyelesaiannya yang polinomial untuk memperoleh solusi yang optimal. Dalam menentukan apakah sebuah anggota HP—problem termasuk di dalam HP—Complete dipergunakan suatu teknik pembuktian yang disebut reduksi. Teknik inilah yang dibahas dan merupakan inti dari tulisan berikut."

"Misalkan terdapat graf G, H dan F. Notasi F -> (G,H) mempunyai arti bahwa setiap pewarnaan merah-biru pada semua sisi graf F mengakibatkan adanya subgraf G berwarna merah atau subgraf H berwarna biru. Pewarnaan-(G,H) pada graf F adalah pewarnaan merah-biru pada semua sisi graf F sehingga tidak ada subgraf G merah maupun subgraf H biru. Graf F adalah graf Ramsey (G,H)-minimal jika F -> (G,H) dan untuk setiap e anggota sisi-sisi pada graf F berlaku (F-e) memiliki pewarnaan-(G,H). Himpunan semua graf Ramsey (G,H)-minimal dinotasikan dengan R(G,H). Himpunan R(G,H) dikatakan berhingga jika banyaknya anggota di R(G,H) berhingga. Bila tidak demikian, dikatakan R(G,H) tak-berhingga.Graf padanan mK2 adalah graf yang terdiri dari m sisi saling lepas. Graf lintasan Pn adalah graf yang terdiri dari satu lintasan dengan n titik. Penelitian pada tesis ini yaitu himpunan Ramsey R(G,H) berhingga. Penelitian berfokus ketika G merupakan graf padanan mK2 dan H merupakan graf lintasan P4 atau P5. Diperoleh semua graf tak-terhubung di R(3K2,P4) dan dua puluh graf terhubung yang bukan graf lingkaran di R(3K2,P4)Selanjutnya, dibahas salah satu operasi yang akan digunakan pada graf Ramsey minimal, yaitu operasi subdivisi. Dibuktikan bahwa jika F ∈ R(2K2,P5) maka setiap graf yang diperoleh dengan subdivisi (5 titik) pada sisi yang bukan pendan di F merupakan graf Ramsey (3K2,P5)-minimal. Kemudian, dilakukan perumuman untuk mengkonstruksi graf Ramsey minimal di R((m+1)K2,Pn) dari graf Ramsey minimal di R(mK2,Pn) untuk m>=4 dan n=4 atau n=5.

---

Let F, G, dan H be simple graphs. The notation F -> (G,H) means that any red-blue coloring of all edges of F will contain either a red copy of G or a blue copy of H. (G,H)-coloring on F means a red-blue coloring of all edges of F such that the red copy of G and the blue copy of H cannot be found. A graph F is Ramsey (G,H)-minimal if F -> (G,H) and for each edge element of all edges of F, (F-e) has (G,H)-coloring. The set of all Ramsey (G,H)-minimal graphs will be denoted by R(G,H). The pair (G,H) is called Ramsey-finite if R(G,H) is finite and Ramsey-infinite otherwise.

The matching graph mK2 is a graph consist of m independent edges. The path graph Pn is a graph consist of one path on n vertices. This thesis is about Ramsey finite. The focus is for G is matching graph and H is a path graph P4 or P5. We obtained all disconnected graphs and twenty connected graphs belonging to Ramsey (3K2,P4)-minimal graph.

Moreover, we discuss an operation on Ramsey minimal graphs, namely subdivision operation. We prove that if F ∈ R(2K2,P5) then a graph obtained by subdividing one non-pendant edge (5 times) is a Ramsey (3K2,P5)-minimal graph. Furthermore, we do generalization for constructing Ramsey minimal graphs in R((m+1)K2,Pn) from R(mK2,Pn) for m>=4 and n=4 or 5"

"Lintasan pelangi adalah lintasan pada suatu graf yang setiap busurnya diwarnai dengan warna berbeda. Bilangan keterhubungan pelangi pada graf $G$ atau dapat disimbolkan $rc(G)$ adalah warna minimal yang dibutuhkan untuk mewarnai busur-busur pada suatu lintasan pada graf $G$ sehingga setiap pasang simpul dihubungkan oleh suatu lintasan pelangi. Lintasan pelangi geodesic $u-v$ di $G$ adalah lintasan pelangi yang panjangnya sama dengan $d(u,v)$ dengan $d(u,v)$ adalah jarak antara $u$ dan $v$. Graf $G$ dikatakan memiliki keterhubungan pelangi kuat $src(G)$ jika \textit{geodesic} $u-v$ untuk sembarang dua simpul $u$ dan $v$ di $G$ adalah lintasan pelangi. Bilangan keterhubungan pelangi kuat $src(G)$ merupakan banyaknya pewarnaan minimum yang dibutuhkan untuk membuat $G$ terhubung pelangi kuat. Misalkan $G_{1}$ adalah graf dengan ${|V(G_{1})|= p_{1}}$. Suatu korona ${G_{1}\odot G_{2}}$ dari dua graf $G_{1}$ dan $G_{2}$ adalah graf yang diperoleh dengan mengambil satu salinan dari graf $G_{1}$ dan $p_{1}$ salinan dari $G_{2}$, kemudian pada simpul ke-$i$ dari $G_{1}$ dikaitkan, ke setiap simpul salinan ke-$i$ dari $G_{2}$. Pada tesis ini dibahas hasil kajian tentang $rc$ dan $src$ pada beberapa kelas graf yaitu graf kristal ${(CR_{m,r})}$, graf neuro5n ${(NR_{m})}$, dan graf ${K_{m}\odot W_{n}}$.

---

Rainbow path is a path which each edge colored with different colors. The rainbow connection number of $G$, denoted by $rc(G)$, is the smallest number of colors needed to color the edges of $G$ such that each pair of vertices in $G$ has a rainbow path. Rainbow ${u-v}$ geodesic of $G$ is rainbow path of length $d(u,v)$, where $d(u,v)$ is the distance between $u$ and $v$. A graph $G$ is a strongly rainbow connected if ${u-v}$ rainbow geodesic for any two vertices $u$ and $v$ in $G$. A strong rainbow connected number $src(G)$ of $G$ is the minimum number of colors needed to make $G$ strongly rainbow connected. Let $G_{1}$ is a graph with ${|V(G_{1})|= p_{1}}$. A corona product ${G_{1}\odot G_{2}}$ of $G_{1}$ and ${G_{2}$ is a graph obtained by taking one copy of ${G_{1}}$, and $p_{}$ in copies of $G_{2}$, and then joining the ith vertices of $G_{1}$, to every vertex in the ith copy of $G_{2}}$ . In this thesis we present some results regarding the $rc$ and $src$ for some classes of graphs, that are crystal graph ${(CR_{m,r})}$, neurons graph ${(NR_{m})}$, and ${K_{m}\odot W_{n}}$ graph."

"Misalkan 𝐺 adalah graf berarah asiklik. Matriks adjacency dari graf berarah 𝐺 dengan 𝑉 𝐺 = 𝑣1, 𝑣2, ? , 𝑣𝑛 adalah matriks 𝐴 = 𝑎𝑖𝑗 berukuran 𝑛 × 𝑛 di mana 𝑎𝑖𝑗 = 1, untuk 𝑖 ≠ 𝑗 jika terdapat busur berarah dari 𝑣𝑖 ke 𝑣𝑗 , 𝑎𝑖𝑗 = 0 untuk yang lainnya. Matriks antiadjacency dari graf berarah G adalah matriks 𝐵 = 𝐽 − 𝐴 dengan 𝐽 adalah matriks berukuran n × n yang semua entrinya adalah 1. Pada tesis ini diberikan kaitan nilai eigen terbesar matriks antiadjacency dengan derajat terkecil, derajat terbesar graf berarah asiklik yaitu graf bipartit lengkap berarah 𝐾 𝑟,𝑠 dengan 𝑟, 𝑠 ≥ 1, graf lintasan lengkap berarah 𝐶 𝑃 𝑛 dengan 𝑛 ≥ 3, graf lingkaran berarah asiklik 𝐶𝑛 , dan graf lintasan berarah 𝑃 𝑛. Selain hal tersebut juga diberikan relasi nilai eigen terbesar matriks antiadjacency dengan operasi maksimum dari dua graf berarah asiklik.

---

Let 𝐺 be a directed acyclic graph. The adjacency matrix of directed graph 𝐺 with 𝑉 𝐺 = 𝑣1, 𝑣2, ? , 𝑣𝑛 is a matrix 𝐴 = 𝑎𝑖𝑗 of order 𝑛 × 𝑛, where 𝑎𝑖𝑗 = 1 for 𝑖 ≠ 𝑗 if there is an arc from 𝑣𝑖 to 𝑣𝑗 , otherwise 𝑎𝑖𝑗 = 0. Antiadjacency matrix of directed graph 𝐺 is a matrix 𝐵 = 𝐽 − 𝐴, with 𝐽 is a matrix of order 𝑛 × 𝑛 with all entries are 1. In this thesis is given relation between the largest eigen value of antiadjacency matrix with degree minimum and degree maximum of directed acyclic graphs that are complete bipartite directed graph 𝐾 𝑟 ,𝑠 with 𝑟, 𝑠 ≥ 1, complete path directed graph 𝐶 𝑃 𝑛 with 𝑛 ≥ 3, acyclic cycle directed graph with 𝑛 ≥ 4 and path directed graph with 𝑛 ≥ 3. In addition, here are also given relation between the largest eigen value of antiadjacency matrix and maximum operation of two directed acyclic graph."

"

Graf berarah G didefinisikan sebagai pasangan terurut dari himpunan (V,E) yang ditulis dengan notasi G=(V,E) dimana V merupakan himpunan berhingga tak kosong yang disebut simpul, dan E adalah himpunan pasangan terurut anggota dari V yang disebut busur. Graf berarah unisiklik adalah graf berarah yang memuat tepat satu subgraf lingkaran. Graf helm berarah unisiklik Hn adalah graf yang diperoleh dari graf roda berarah Wn dengan menambahkan 1 pendant berarah pada tiap simpul lingkaran graf roda. Suatu graf berarah dapat direpresentasikan dalam beberapa bentuk matriks, salah satunya adalah matriks antiketetanggaan. Matriks antiketetanggaan adalah suatu matriks yang setiap entrinya merepresentasikan ada atau tidaknya busur berarah dari suatu simpul kesimpul lainnya. Pada skripsi ini dibahas mengenai polinomial karakteristik dan nilai eigen matriks antiketetanggaan graf helm berarah unisiklik. Bentuk umum dari koefisien-koefisien polinomial karakteristik dari matriks antiketetanggaan diperoleh dengan menjumlahkan nilai-nilai determinan matriks antiketetanggaan dari semua subgraf terinduksi siklik dan asiklik. Nilai-nilai eigen dari matriks antiketetanggaan dari graf helm berarah unisiklik diperoleh dengan mencari akar-akar dari polinomial karakteristik dengan faktorisasi polinomial

---

A directed Graph G is defined as ordered pairs from set (V,E) which is represented by notation G=(V,E) where V is a finite nonempty set of vertices and E is a set of ordered pairs of elements of V called edges.  A directed unicyclic graph is a directed graph that has only one directed cycle subgraph. A directed unicyclic helm graph Hn is obtained from a directed wheel graph Wn by adjoining a directed pendant edge at each vertex of the cycle. A directed graph can be represented into  several matrix representations, one of them is the antiadjacency matrix. The antiadjacency matrix is a matrix in which the entries represent whether there is a directed edge from one vertex to another. This paper discusses the characteristic polynomial and eigenvalues of the antiadjacency matrix of the unicyclic helm graph. The general form of the coefficients of the characteristic polynomial that obtained by adding all of the determinants of antiadjacency matrix from each induced acyclic and cyclic subgraphs. The eigenvalues of the antiadjacency matrix of the directed unicyclic helm graph obtained by factorization its characteristic polynomial.

"

"Misalkan graf dengan merupakan himpunan tak kosong simpul dan merupakan himpunan busur. Didefinisikan pewarnaan busur dari graf dimana busur yang bertetangga dapat memiliki warna yang sama. Untuk sembarang pasangan simpul berbeda, lintasan pelangi adalah lintasan yang semua warna busur pada lintasan tersebut berbeda. Lintasan terpendek dari sembarang dua simpul di yang di dalamnya tidak terdapat pengulangan warna disebut sebagai geodesik pelangi. Panjang lintasan terpendek merupakan jarak antara sembarang dua simpul. Pewarnaan pelangi dengan suatu geodesik pelangi untuk setiap pasang simpul berjarak maksimum disebut pewarnaan pelangi kuat lokal-. Banyak -warna minimum yang dibutuhkan untuk membentuk pewarnaan pelangi kuat lokal-pada graf disebut bilangan keterhubungan pelangi kuat lokal- pada graf . Graf hasil operasi korona didefinisikan sebagai graf yang terbentuk dari satu graf dan salinan graf , dimana untuk tiap simpul ke- di dihubungkan dengan tiap simpul dari salinan ke- graf . Penelitian ini bertujuan untuk mencari bilangan keterhubungan pelangi kuat lokal graf bipartit lengkap serta graf hasil operasi koronanya dengan komplemen graf lengkap. Graf bipartit lengkap adalah graf yang himpunan simpulnya dapat dipartisi menjadi dua sub-himpunan , sehingga setiap busur di menghubungkan simpul di dan simpul di dan setiap simpul di bertetangga dengan setiap simpul di dan graf lengkap adalah graf yang setiap pasang simpulnya bertetangga.

---

Let be graph where is a non-empty set of vertices and is set of edge. Define an edge coloring , of , where adjacent edges may be have the same color. For any distinct vertices , a rainbow path is a path whose edge color on that path are all distinct. The shortest path from any two vertices in where there are no repeating colors is called a rainbow geodesic. The smallest length of path is a distance between for any vertices and denoted by . A rainbow coloring such that any two vertices with a distance at most with a rainbow geodesic is called -local strong rainbow coloring. Minimum number of -colors required for a -local strong rainbow coloring in is called local strong rainbow connection number-, it can be written as . The corona product is define as a graph that form by taking one grah and copies of graph , where for every -th vertex of is connected to each vertex of the -th copy of . This study aims to find local strong rainbow connection number of complete bipartite graph and it’s corona product with a complement complete graph. Complete bipartite graph is a gaph that the set of vertices can be partitioned into two subset and , such that for every edge in connects the vertices in and vertices in and for every vertices in adjacent with every vertices in and complete graph is a graph that every vertices in that graph is adjacent."

"ABSTRAKWaktu merupakan konsep abstrak yang tidak bisa dilihat secara kasat mata sehinggamanusia menggunakan analogi dari konsep lain yang lebih konkrit dalam menjelaskankonsep waktu. Analogi tersebut tercermin dalam bentuk metafora yang digunakandalam berbahasa. Hasil-hasil penelitian memperlihatkan bahwa metafora waktu bisaberbeda antar budaya. Dalam konteks budaya Barat yang menggunakan bahasa Inggris,terdapat dua metafora yang menggambarkan pergerakan waktu dari sudut pandang egoreference,yakni ego-moving dan time-moving (Lakoff & Johnson, 1980). Di Indonesia,penelitian tentang waktu masih terbatas. Hasil-hasil penelitian lintas budaya terkaitwaktu menunjukkan adanya sikap maupun penalaran temporal yang berbeda antaraorang Indonesia dengan orang dari budaya lain (Boroditsky, Ham, & Ramscar, 2002;Levine & Norenzayan, 1999). Didasari oleh hasil-hasil penelitian tersebut danpandangan Linguistic Relativity Hypothesis dari Benjamin L. Whorf (1956), penelitiberargumen bahwa metafora pergerakan waktu yang dimiliki dalam konteks budayaIndonesia berbeda dengan yang terkandung dalam bahasa Inggris. Tiga studi padadisertasi ini mencoba melihat secara lebih detil tentang metafora waktu yang terkandungdalam budaya Indonesia serta pengaruh metafora pergerakan waktu terhadap ketepatanseseorang mengestimasi durasi waktu. Penelitian eksploratif pada Studi 1 (N=50 orang)memperlihatkan bahwa metafora waktu dalam budaya Indonesia dianalogikan dalamkonteks spasial, memiliki ciri fisik, dan pergerakan. Namun, metafora pergerakan waktuyang diperoleh belum mengkonfirmasi metafora pergerakan waktu dari sudut pandangdiri (ego-reference point). Penelitian eksperimental pada Studi 2a (N= 139 orang), Studi2b (N= 64 orang) dan Studi 3 (N=123 orang) menunjukkan bahwa metafora pergerakanwaktu dalam konteks budaya Indonesia lebih cenderung pada metafora time-movingdibanding ego-moving. Lebih lanjut, hasil Studi 3 memperlihatkan bahwa primingmenggunakan metafora pergerakan waktu (ego-moving vs. time-moving) tidakberpengaruh terhadap estimasi durasi waktu, namun durasi tugas (pendek vs. panjang)berpengaruh terhadap estimasi. Tiga studi yang dilakukan pada disertasi inimenggunakan mahasiswa sebagai partisipan penelitian. Hasil penelitian inimenunjukkan bahwa: (1) metafora waktu dalam konteks budaya Indonesia berbedadengan bahasa Inggris; (2) metafora pergerakan waktu dalam bahasa Indonesia lebihmencerminkan time-moving daripada ego-moving; dan (3) akurasi estimasi durasi waktulebih dipengaruhi oleh durasi tugas dibanding metafora pergerakan waktu. Implikasipenelitian selanjutnya didiskusikan pada disertasi ini.

---

ABSTARCTA concrete object, as an analogy or a metaphor, is often used to explain an abstractconcept, such as time. People can use a metaphor in their language to better explaintime movements. Previous research on time metaphor suggested that culture mayinfluence how people perceived time movements. From the ego-reference point of view,two metaphors, namely ego-moving and time-moving, are often used to describe timemovements in English in Western culture (Lakoff & Johnson, 1980). On the other hand,cross-cultural studies on time metaphor based on Linguistic Relativity Hypothesistheory showed that Indonesian had different time attitudes and temporal reasoning thanother cultures (Boroditsky, Ham, & Ramscar, 2002; Levine & Norenzayan, 1999;Whorf, 1956). Research on time metaphors in Bahasa Indonesia is still lacking.Therefore, this dissertation aimed to investigate if Indonesian have a differentperception of time movements than Western culture. Three studies on time metaphorswere conducted to look in a more detailed the effect of time movement metaphors onthe accuracy of time duration estimation. Participants of these studies were universitystudents. An explorative study from Study 1 (N= 50 participants) showed that timemetaphors in Indonesian culture were analogically described in spatial contexts,physical characteristics, and movement. However, in terms of time movement, Study 1did not confirm the type of metaphors that reflects ego-reference point. Usingexperimental studies in Study 2a (N= 139 participants), Study 2b (N= 64 participants)and Study 3 (N=123 participants) found that time movement metaphor in the context ofIndonesian culture was more likely to be a time-moving than an ego-moving metaphor.Furthermore, the results in Study 3 showed that priming using ego-moving vs. timemovingmetaphor did not affect the estimated time duration, but task duration (short vs.long) affected the estimation. The results of these studies indicate that: (1) timemetaphors in the context of Indonesian culture were different from English; (2) timemovement metaphors in Indonesian reflected more time-moving than ego-movingmetaphor; and (3) the accuracy of the estimated time duration was more influenced bythe length of the task than the time movement metaphor. The implications of thesestudies were further discussed."

"

Menurut Badan Pusat Statistik Indonesia (BPS) dalam sepuluh tahun terakhir (2007-2017) jumlah perusahaan konstruksi relatif meningkat setiap tahun rata-rata 7,82%, kondisi ini mengakibatkan peningkatan daya saing konstruksi perusahaan dalam memenangkan lelang. Kegiatan estimasi yang tepat diharapkan dalam proses lelang untuk memenangkan lelang pada harga yang kompetitif. Sulit bagi kontraktor untuk menentukan harga penawaran karena adanya risiko yang mempengaruhi penentuan harga proyek. Karena itu, strategi penawaran perlu dikembangkan dengan mengidentifikasi hal yang perlu dipertimbangkan dari tahap lelang berbasis risiko. Dalam studi ini, kami mengidentifikasi kegiatan dan output dari setiap proses pada tahap lelang yang perlu dipertimbangkan dalam proses estimasi  dan menganalisis risiko yang mungkin timbul dalam setiap proses tender. Data diperoleh melalui studi literatur dan kuesioner, kemudian diolah dengan analisa regresi dan analisa risiko. Hasil dari penelitian ini tahapan menerima informasi tender, keputusan keikutsertaan tender, penentuan tim tender, mengambil dan mempelajari dokumen lelang, mengikuti penjelasan lelang, peninjauan lapangan, penentuan jadwal pelaksanaan, penentuan metode kerja, kebutuhan jaminan penawaran, perhitungan harga penawaran hingga kelengkapan dokumen administrasi dan teknis berpengaruh terhadap kinerja lelang. Dengan 5 variabel berisiko tinggi yaitu data BQ tidak lengkap, kemungkinan kontraktor atau penyedia jasa akan mengalami kerugian, perhitungan volume tidak akurat, dan kurangnya informasi mengenai tender yang akan datang.

 

Kata kunci: Strategi Penawaran; Penawaran yang kompetitif; Kinerja lelang; Proses estimasi

 

---

According to the Indonesian Central Bureau of Statistics (BPS) in the last ten years (2007-2017) the number of construction companies has increased by an average of 7.82% every year, this condition has resulted in an increase in the company`s construction competitiveness in winning the auction. Appropriate estimation activities are expected in the auction process to win the auction at competitive prices. It is difficult for contractors to determine the bid price because of the risks that affect project pricing. Therefore, the bidding strategy needs to be developed by identifying things to consider from the risk-based auction stage. In this study, we identify the activities and outputs of each process at the auction stage that need to be considered in the estimation process and analyze the risks that may arise in each tender process. Data obtained through literature study and questionnaire, then processed with regression and risk analysis. The results of this study are stages of receiving tender information, tender participation decisions, determination of tender teams, taking and studying auction documents, following auction explanations, field review, determination of implementation schedule, work method determination, bid guarantee requirements, bid price calculation to administrative documents and technical effect on auction performance. With 5 high risk variables, namely BQ data is incomplete, it is likely that the contractor or service provider will experience losses, inaccurate volume calculations, and lack of information regarding upcoming tenders.

 

Keywords: Bidding Strategy; Competitive Bidding; Auction Performance; Estimation Process

 

"

"ABSTRAKPT XYZ telah menjalankan banyak kontrol TI untuk menjaga agar proses bisnis yang dijalankan dapat terhindar dari risiko-risiko kesalahan dan kecurangan. Kontrol tersebut diuji keefektifitasannya oleh Internal Audit Group IAG . Terdapat area dan kontrol yang diujikan secara berulang setiap tahun yang dilakukan secara manual oleh auditor menggunakan metode sampling. Selain itu, IAG juga melakukan pemantauan secara berkala terhadap temuan-temuan audit yang dikeluarkan. Pemantauan audit dilakukan berdasarkan dokumen tertulis oleh setiap divisi dengan mengacu pada timeline yang disepakati dengan Auditee.Berdasarkan hasil analisis dari permasalahan pengujian kontrol dan pemantauan hasil audit, penelitian ini bertujuan untuk membuat rancangan spesifikasi kebutuhan Sistem Pengujian Kontrol dan Pemantauan Hasil Audit yang dapat digunakan oleh IAG PT XYZ. Spesifikasi kebutuhan sistem dirancang menggunakan proses rekayasa perangkat lunak Rational Unified Process RUP pada satu iterasi fase inception dan dua iterasi fase elaboration dengan ruang lingkup business modeling workflow dan requirements workflow. Hasil dari penelitian didapatkan 18 stakeholder request STRQ , 19 NEED, 27 fitur FEAT , 33 kebutuhan spesifikasi sistem SRS dengan 10 kebutuhan fungsional UCS dan 28 kebutuhan non-fungsional SUPP . Seluruh hasil tersebut didokumentasikan pada artefak Requirement Management Plan, Stakeholder Request, Vision, Software Requirement Specification, Use Case Specification, Supplementary Specification, dan Glossary.

---

ABSTRACTPT XYZ has implemented many IT controls to prevent the business process from risk of fraudulent. The effectiveness of the controls are tested by conducting audit activities performed by the Internal Audit Group IAG . There are recurring audit of controls that are performed manually by the auditor using sampling method. In addition, IAG also conducts regular monitoring of audit findings. Audit monitoring is done manually by each division based on the agreed timeline with Auditee.Based on the problem analysis of control testing and monitoring audit results, this study aims to make the requirement specification design for continuous auditing and monitoring system that can be used by IAG PT XYZ. The requirement specification is designed using the Rational Unified Process RUP software process through inception and elaboration phases with the scope of business modeling workflow and requirements, analysis and design workflow.The result of this research are 18 stakeholder request STRQ , 19 NEED, 27 features FEAT , 33 software requirement specifications SRS that consist of 10 functional requirements UCS and 28 non functional requirements SUPP . All the results are documented in Requirement Management Plan, Stakeholder Request, Vision, Software Requirement Specification, Use Case Specification, Supplementary Specification, and Glossary artifacts."

"Tujuan dalam penelitian ini adalah mengevaluasi penerapan boundary system dalam upaya hubungan business to business (B2B) yang lebih baik dari perusahaan retail PT. X kepada pemasok yang menyesuaikan dengan konsep levers of control dengan dukungan programcompliance yang ada diperusahaan. Di dalam levers of control, boundary system adalah strategi pengendalian untuk mengetahui posisi kompetitif perusahaan. PT. X adalah perusahaan retail grocery yang beroperasi di Indonesia yang terus mengalami penurunan nilai pendapatan atas anggaran dukungan promosi dari pemasok sepanjang 2019-2022. Setelah ditelusuri hal tersebut dipicu oleh menurunnya kepercayaan dari pemasok terkait implementasiperjanjian kerjasama yang dilakukan, diantaranya keterlambatan pembayaran pembelian produk dan tagihan promosi yang tidak dimintai persetujuan pemasok sebelum implementasi promosi. Penelitian ini menggunakan metodologi kualitatif, yang dirancang dalam sebuahstudi kasus intensif yang melibatkan beberapa metode pengumpulan dan analisis data termasuk wawancara, observasi lapangan dan analisis dokumen. Hasil penelitian ini menunjukkan ketidakefektifan boundary system pada dukungan manajemen dalam pelaksanaan boundary system, penerapan business conduct boundary, dan penerapan peraturan pemerintah meskipunprogram compliance yang ada diperusahaan PT.X sudah efektif sehingga menyebabkan tidaktercapainya dimensi utama kesuksesan kolaborasi pada hubungan bisnis dengan pemasok.

---

The purpose of this research is to evaluate the implementation of the boundary system in an effort to better business to business (B2B) relations than the retail company PT. X to suppliers who conform to the concept of levers of control with the support of existing compliance programs in the company. Within the levers of control, the boundary system is a control strategy to determine the company's competitive position. This study used a qualitative methodology, which was designed as an intensive case study involving several methods of data collection and analysis including interviews, field observations and document analysis. The results of this study indicate the ineffectiveness of the boundary system in management support in the implementation of the boundary system, the application of business conduct boundaries, and the implementation of government regulations even though the compliance program in the PT. X company has been effective, causing the main dimensions of successful collaboration in business relations with suppliers to not be achieved."