Hasil Pencarian  ::  Kembali

Hasil Pencarian

Ditemukan 152590 dokumen yang sesuai dengan query
cover
Dwi Teguh Priyantini, author
ABSTRAK Pada pengembangan sistem, dibutuhkan sebuah mekanisme untuk menjamin bahwa sistem tersebut berjalan dengan benar tanpa error atau rsquo;bug rsquo;. Sejauh ini, hal yang biasa dilakukan adalah dengan testing, tetapi hal ini sulit dilakukan untuk mencakup semua kemungkinan. Untuk sistem yang membutuhkan tingkat correctness yang tinggi, seperti misalnya pada hardware ,...
2017
T-Pdf
UI - Tesis (Membership)  Universitas Indonesia Library
cover
Ade Azurat, author
HOL is a theorem prover based on a higher order logic. Its expressive logic makes it suitable for embedding programming logics. Compared to other theorem provers, HOL is attractive because of its familiar and intuitive logic and because it is highly programmable. In this paper we will compare a number...
2002
JIKT-2-1-Mei2002-18
Artikel Jurnal  Universitas Indonesia Library
cover
Jakarta: Fakultas Ilmu Komputer Universitas Indonesia, 2007
005.13 PRO (1)
Buku Teks  Universitas Indonesia Library
cover
Caroline D. Puspa, author
Membangun piranti lunak tidaklah sulit, yang sulit adalah bagaimana membangun piranti lunak sesuai dengan spesifikasi yang ada. Kesalahan sering terjadi ketika pengembang tidak atau kurang memperhatikan spesifikasi pada awal pengembangan dan hanya memperhatikan hasil akhir saja. Kesalahan ini akan terus berlanjut sampai pada tahap piranti tersebut diuji coba. Penemuan kesalahan...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2006
S-Pdf
UI - Skripsi (Membership)  Universitas Indonesia Library
cover
cover
Octovianus Andriato, author
Depok: Fakultas Ilmu Pengetahuan Budaya Universitas Indonesia, 1998
S26954
UI - Skripsi (Membership)  Universitas Indonesia Library
cover
Ricky Suryadharma, author
Penelitian pendahuluan ini mempunyai tujuan untuk menghasilkan formalisasi sebagian dari teori graph. Graph merupakan ilmu yang cakupannya luas dan mempunyai banyak aplikasi. Akan tetapi, di dalam pustaka sistem HOL belum terdapat teori graph yang formal. Penyusunan formalisasi diawali dengan studi literatur mengenai sistem HOL, kemudian dilanjutkan dengan eksperimen-eksperimen. Terdapat enam...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2009
S-Pdf
UI - Skripsi (Open)  Universitas Indonesia Library
cover
Perry, Douglas L., author
New York : McGraw-Hill, 1991
621.392 PER v (1)
Buku Teks  Universitas Indonesia Library
cover
The McGraw-Hill Co. , 1988
1007000695
Multimedia  Universitas Indonesia Library
cover
Mohamad Sandi Suriagemilang, author
Skripsi ini membahas kemampuan mahasiswa Fakultas Teknik UI angkatan 2005 dalam membuat suatu program kalkulator digital dengan menggunakan VHDL. Percobaan ini adalah percobaan kualitatif dengan desain rekayasa pemrograman. Hasil percobaan menunjukan bahwa program kalkulator dapat terselesaikan dengan mengacu kepada prinsip-prinsip digital dan pemrograman assembly. Terdapat setidaknya empat keuntungan dalam pemrograman...
Depok: Fakultas Teknik Universitas Indonesia, 2010
S51066
UI - Skripsi (Open)  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>