Ditemukan 63 dokumen yang sesuai dengan query
Ade Azurat, author
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...
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...
Jurnal Ilmu Komputer dan Teknologi Informasi, 3 (2) Oktober 2003: 77-83, 2003
JIKT-3-2-Okt2003-77
Artikel Jurnal Universitas Indonesia Library
Martiman Prodjohamidjojo, author
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
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
-...
Chicago: International Engineering Consortium, 2005
e20452794
eBooks Universitas Indonesia Library
Yahya Mustofa, author
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...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2011
S1041
UI - Skripsi (Open) Universitas Indonesia Library
Franova Herdiyanto, author
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...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2009
S-Pdf
UI - Skripsi (Open) Universitas Indonesia Library
Audika Vania Ardini, author
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...
Depok: Fakultas Hukum Universitas Indonesia, 2020
S-pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Silalahi, Bib Paruhun, author
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...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 1999
T-Pdf
UI - Tesis (Membership) Universitas Indonesia Library
Nadiya Najmi, author
ABSTRAK
Sertipikat sebagai alat pembuktian yang kuat dalam penerbitannya seringkali membawa akibat hukum bagi pihak yang bersangkutan maupun pihak-pihak yang merasa kepentingannya dirugikan, sehingga tidak jarang terjadi perselisihan yang akhirnya diselesaikan di pengadilan. Sehubungan dengan marak terjadinya sengketa permasalahan tanah yang ada di Indonesia, atas dasar fakta tersebut Penulis berusaha meneliti...
2013
T33143
UI - Tesis (Membership) Universitas Indonesia Library
