Hasil Pencarian  ::  Simpan CSV :: Kembali

Abstrak :
This paper reports a preliminary work on using an aspect oriented attribute grammar system called UU-AG to develop computer aided verification tools. UU_AG provides an abstract and modular way to develop such a tool and later on incrementally upgrade them. This paper shows an example of a toy programming logic implemented in UU_AG. We will show the implementation of the verification condition generator (VCG). We extend the implementation with a new feature such as run-time-trace generator to validate the computation of the implemented inference engine.

Abstrak :
This paper reports a preliminary work on using an aspect oriented attribute grammar system called UU-AG to develop computer aided verification tools. UU-AG provides an abstract and modular way to develop such a tool and later on incrementally upgrade them. This paper shows an example of a toy programming logic implemented in UU_AG. We will show the implementation of the verification condition generator (VCG). We extend the implementation with a new feature such as run-time trace generator to validte the computation of the implemented infrence engine.

Abstrak :
Verifikasi merupakan tugas baru bagi Account Representative. Skripsi ini meneliti kompetensi account representative dalam menjalankan tugas verifikasi. Penelitian ini menggunakan teori kompetensi, analisis pekerjaan, manajemen sumber daya manusia dan pemeriksaan pengawasan. Penelitian ini bersifat kualitatif dengan studi literatur dan wawancara mendalam. Hasil penelitian menunjukkan kompetensi account representative dalam melaksanakan tugas verifikasi kurang memadai. Masalah yang dihadapi account representative dalam melaksanakan tugas verifikasi adalah jumlah account representative yang kurang untuk dapat menangani wajib pajak dengan efisien dan juga jumlah diklat sebagai bekal pendidikan account presentative yang sedikit kuotanya. ......Verification is a new task for Account Representative. This thesis examines account representative competence in performing the verification role. This study uses the competence theory, job analysis theory, human resource management theory and account representative task theory. This study is a qualitative research with literature study and interviews. The results show account representative incompetence in performing verification role. Problems that encountered in implementing the account representative verification task is the number of account representative is not sufficient in handling tax payers and the training amount is not sufficient too.

Abstrak :
IMRT merupakan salah satu teknik radio terapi menggunakan pesawat linear akselerator dengan banyak lapangan penyinaran yang menggunakan intensitsradiasi yang berbeda-beda untuk mendapatkan dosis maksimal pada organ target tumor dan dosis seminimal mungkin pada organ sehat. Sebelum dilakukan penyinaran ke pasien, diperlukan verifikasi penyinaran IMRT antara perhitungan pada TPS dan pada keadaan sebenarnya di lapangan. Verifikasi dilakukan dengan menggunakan MatriXXEvolution. Dari penelitian yang telah dilakukan pada 5 pasien dengan klinis Glioblastoma Multiforme, dimana 3 pasien dilakukan verifikasi pada setiap lapangan dan gabungan semua lapangan, 2 pasien dilakukan verifikasi gabungan semua lapangan. Didapatkan kesesuaian piksel bagus untuk semua pasien dengan kriteria γ ≤1pada2%deltadose,dan2mmDTA. Hasil verifikasi untuk semua lapangan penyinaran didapat kesesuaian piksel yaitu 99,64%; 99,81%; 99,69%; 99,35%; 99,67% untuk pasien 1-5. Kesesuaian piksel untuk verifikasi setiap lapangan penyinaran pada pasien 1; 99,38%; 95,47%; 99,63%; 98,98%; 99,86%; pasien 2; 96,56%; 98,65%; 99,54%; 99,63%; 98,00%; pasien 3; 98,67%; 97,70%; 99,81%; 99,52%; 99,26%. Perbedaan pengukuran disebabkan antara lain karena high dose gradient, daerah dosis rendah, dan penumbra. Pengukuran menggunakan detektor selain memiliki keuntungan dari waktu pengukuran yang lebih pendek, juga memiliki kelemahan ukuran detektor berdiameter 4,5mm dan jarak antara detektor7mm. Yang akan menunjukkan perbedaan besar ketika detektor melakukan pengukuran pada posisi tertentu seperti daerah dari dosis gradien, dosis rendah, penumbra sebagai detektor 4,5mm diameter.

Abstrak :
Contents : - Preface - Chapter 1 Verification Technologies - Chapter 2 Verification Languages - Chapter 3 Standards - Chapter 4 Functional Verification in the Context of Design Reuse - Chapter 5 Verification Plans:Top Ten - Chapter 6 Transaction-Based Predictor Models - Chapter 7 Formal Verification of High-Level Requirements - Chapter 8 HDL Lint - Chapter 9 Hardware/Software Co-Verification - Chapter 10 Coverage-Based Verification - Chapter 11 A Unified Functional Verification Approach for Mixed Analog- Digital ASIC Designs - Chapter 12 Generating Stimulus - Chapter 13 Automating System-on-Chip Debug - Chapter 14 Managing a 15+ Million Gate ASIC Design Verification - Chapter 15 Simplifying Mixed-Signal Simulation Using Modular Virtual Test Equipment in VHDL - Chapter 16 Assertion-Based Verification for ARM Based SoC Design - Chapter 17 Formal Verification of a Key Block of the TriCore2 Microprocessor - Chapter 18 Functional Verification of Configurable Embedded Processors - Acronym Guide

Abstrak :
Pada penelitian ini dirancang sistem pengendali banjir, serta dilakukan pengujian terhadap rancangan tersebut. Dalam tahap perancangan dan pengujian digunakan alat bantu software ObjectGEODE dari Verilog. ObjectGEODE memiliki antara lain : OMT (Object Modeling Technique) Editor yang digunakan untuk memodelkan ciri-ciri statis sebuah sistem dengan pendekatan objek, SDL (Specification and Description Language) Editor yang digunakan untuk menyatakan spesifikasi dan deskripsi sistem, MSC (Message Sequence Chart) Editor yang digunakan untuk menyatakan spesifikasi sistem, dan Simulation Builder yang digunakan untuk melakukan verifikasi serta validasi. Dalam perancangan ini terdapat 4 fase : requirement analysis, architectural design, detailed design, test design. Pada fase analisa kebutuhan (requirement analysis) digunakan OMT dan MSC. Pada fase rancangan arsitektural (architectural design) digunakan SDL. Rancangan tes (test design) yang menggunakan MSC, dilakukan secara paralel dengan fase ini. Rancangan Lengkap (Detailed design) dilakukan dengan menggunakan SDL, pada fase ini diagram proses dilengkapi. Arsitektur MSC yang telah dibuat diperhalus pasha fase ini untuk melengkapi rangkaian tes. Pengujian terhadap rancangan dilakukan dengan bantuan Simulation Builder. Untuk memperkirakan datangnya banjir digunakan diusulkan penggunaan rumus. Keadaan pada sistem pengendali banjir dibedakan atas Aman, Hati-hati 1, Hati-hati 2, Bahaya, Banjir I, Banjir 2, dan ditentukan faktor-faktor apa yang menyebabkan perpindahan dari suatu keadaan ke keadaan lain. Pembagian menjadi 6 keadaan ini cukup mewakili tahapan-tahapan kejadian yang akan terjadi dengan optimum.

Abstrak :
Kepailitan di Indonesia diatur dalam Undang-Undang Nomor 37 Tahun 2004 tentang Kepailitan dan Penundaan Kewajiban Pembayaran Utang. Kebangkrutan adalah perampasan umum seluruh harta kekayaan Debitor Pailit yang pengurusan dan penyelesaiannya dilakukan oleh Kurator di bawah pengawasan Hakim Pengawas berdasarkan UU. Dalam prosesnya, setelah dinyatakan pailit diadakan rapat verifikasi atau verifikasi piutang, dimana dalam rapat verifikasi, Dalam piutang ada pihak-pihak yang terlibat antara lain kurator, kreditur, debitur pailit dan juga hakim pengawas. Tidak jarang dalam proses ada perselisihan antara para pihak terhadap daftar piutang piutang yang dibuat oleh kurator dan hakim pengawas tidak dapat didamaikan kedua belah pihak, hakim pengawas dapat menasihati para pihak untuk mengajukan upaya hukum yaitu renvoi prosedural berdasarkan Pasal 127 ayat (1) UUKPKPU. Tujuan dari makalah ini adalah untuk mengidentifikasi konsep renvoi dalam hukum kepailitan berdasarkan teori renvoi dalam ilmu hukum, menganalisis penerapan prosedur renvoi dalam Putusan Mahkamah Agung Nomor 645K/Pdt.Sus- Kepailitan/2017 berdasarkan peraturan perundang-undangan yang berlaku dan menganalisis pertimbangan Majelis Hakim di tingkat pertama serta pertimbangan Majelis Hakim pada Mahkamah Agung yang memutus perkara tersebut antara Kurator PT Graha Anggoro Jaya (dalam Kepailitan) dengan Kreditur Lain yang merasa dirugikan terhadap PT Adhi Karya Tbk (Persero). Jenis penelitian yang yang digunakan dalam penelitian ini adalah penelitian yuridis normatif yang didasarkan pada UU No. 37 Tahun 2004 tentang Kepailitan dan PKPU serta Putusan Mahkamah Agung No. 645K/Pdt.Sus-Pailit/2017. Sifat dari penelitian ini adalah deskriptif analitis. Penelitian ini dilakukan dengan menggunakan metode penelitian penelitian kepustakaan dan analisis data kualitatif.
Bankruptcy in Indonesia is regulated in Law Number 37 of 2004 concerning Bankruptcy and Suspension of Debt Payment Obligations. Bankruptcy is the general confiscation of all assets of the Bankrupt Debtor whose management and settlement is carried out by the Curator under the supervision of the Supervisory Judge based on the Law. In the process, after being declared bankrupt, a verification meeting or verification of receivables is held, where in the verification meeting, in receivables there are parties involved including the curator, creditor, bankrupt debtor and also the supervisory judge. Not infrequently in the process there is a dispute between the parties on the list of receivables made by the curator and the supervisory judge cannot be reconciled by both parties, the supervisory judge can advise the parties to file legal remedies, namely procedural renvoi based on Article 127 paragraph (1) UUKPKPU. The purpose of this paper is to identify the concept of renvoi in bankruptcy law based on the theory of renvoi in legal science, to analyze the application of the renvoi procedure in the Supreme Court Decision Number 645K/Pdt.Sus- Bankruptcy/2017 based on the applicable laws and regulations and analyze the considerations of the Panel of Judges at the first level and the considerations of the Panel of Judges at the Supreme Court which decided the case between the Curator of PT Graha Anggoro Jaya (in Bankruptcy) and Other Creditors who felt aggrieved against PT Adhi Karya Tbk (Persero). The type of research used in this study is a normative juridical research based on UU no. 37 of 2004 concerning Bankruptcy and PKPU and Supreme Court Decision No. 645K/Pdt.Sus-Pailit/2017. The nature of this research is descriptive analytical. This research was conducted using library research research methods and qualitative data analysis.

Abstrak :
Dewasa ini proses pembuatan spesifikasi dan verifikasi perangkat lunak kurang begitu diperhatikan. Para pengembang sekarang ini lebih fokus kepada hasil akhir tanpa memperhatikan segala kemungkinan-kemungkinan yang tidak baik di kemudian hari. Proses pembuatan spesifikasi dan verifikasi-lah yang dapat menghindarkan pengguna perangkat lunak akibat kerugian yang akan ditanggungnya saat perangkat lunak tersebut mengalami kerusakan. Kerugian akibat kerusakan ini dibedakan menjadi dua yaitu kerugian langsung akibat rusaknya perangkat lunak tersebut dan kerugian biaya perbaikan perangkat lunak tersebut. Lingu dan LinguSQL adalah suatu jawaban atas kebutuhan dukungan terhadap proses pembuatan spesifikasi dan verifikasi. Lingu yang merupakan bahasa spesifikasi, dapat digunakan untuk spesifikasi perangkat lunak yang dikhususkan pada aplikasi transaksi basis data. Sementara itu, LinguSQL adalah suatu alat verifikasi bahasa Lingu dengan berbantukan theorem prover HOL. Selain melakukan verifikasi LinguSQL juga dapat mentransformasikan bahasa Lingu menjadi bahasa Java. Dalam tugas akhir ini akan digunakan studi kasus aplikasi perbankan dalam melakukan pembuatan spesifikasi dan pelaksanaan verifikasi terhadap perangkat lunak tersebut. Proses pembuatan spesifikasi dan verifikasi ini dijalankan dengan menggunakan Lingu dan LinguSQL. Setelah kegiatan tersebut dilakukan, selanjutnya proses pembuatan spesifikasi dan verifikasi yang dijalankan dengan menggunakan Lingu akan dibandingkan dengan Metode-B. Metode-B adalah bahasa spesifikasi yang sudah umum digunakan dalam melaksanakan proses pembuatan spesifikasi dan verifikasi terhadap perangkat lunak. Hasil dari tugas akhir ini adalah kesimpulan tentang perbandingan antara Lingu dan LinguSQL dengan Metode-B dan Atelier-B. Dalam penelitian ini disimpulkan bahwa Lingu mempunyai fasilitas dukungan terhadap aplikasi basis data. Selain itu, Metode-B didapatkan juga terjamin handal untuk melakukan refinement terhadap suatu perangkat lunak.

---

Nowadays, software specification and verification process is still lacking. Recent developers turn focus more to result without emphasizing any negative possibilities that could be occured next time. However, specification and verification process is able to minimize software failure so that a financial loss caused by either missing functionality or software alteration cost can be reduced. Lingu and Lingu SQL provide support for specification and verification process. Lingu is specification language for database transaction aplication purpose, while LinguSQL is Lingu's verification tool assisted by HOL theorem prover. In addition, LinguSQL transforms Lingu into Java programming language. Research reported here used banking case study. Specification and verification process was run by using Lingu and LinguSQL. Then, result of this process was compared with similar one that had been executed by B-Metode, a previous research by Theresia (2005). This final assignment produces a conclusion of the comparison between Lingu and B-method. Through this research, we conclude that Lingu has a supporting facility for an application that use database. Beside that, we also found that B-method is absolutely reliable for doing refinement on software.