Ditemukan 60 dokumen yang sesuai dengan query
Ade Azurat
"
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 ...
"
2003
JIKT-3-2-Okt2004-77
Artikel Jurnal Universitas Indonesia Library
"
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 ...
"
Jurnal Ilmu Komputer dan Teknologi Informasi, 3 (2) Oktober 2003: 77-83, 2003
JIKT-3-2-Okt2003-77
Artikel Jurnal Universitas Indonesia Library
Divalino Barid
"
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 ...
"
Depok: Fakultas Ilmu Sosial dan Ilmu Politik Universitas Indonesia, 2014
S-pdf
UI - Skripsi Membership Universitas Indonesia Library
Martiman Prodjohamidjojo
Jakarta: Ghalia Indonesia, 1983
347.016 MAR s
Buku Teks Universitas Indonesia Library
New York: United Nations, 1992
341 VER
Buku Teks Universitas Indonesia Library
Yahya Mustofa
"
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 ...
"
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2011
S1041
UI - Skripsi Open Universitas Indonesia Library
"
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 ...
"
Chicago: International Engineering Consortium, 2005
e20452794
eBooks Universitas Indonesia Library
Silalahi, Bib Paruhun
"
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 ...
"
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 1999
T-Pdf
UI - Tesis Membership Universitas Indonesia Library
Audika Vania Ardini
"
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 ...
"
Depok: Fakultas Hukum Universitas Indonesia, 2020
S-pdf
UI - Skripsi Membership Universitas Indonesia Library
Franova Herdiyanto
"
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 ...
"
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2009
S-Pdf
UI - Skripsi Open Universitas Indonesia Library
