Penerapan logika UNITY dalam sertifikasi perangkat lunak berbasis komponen dengna studi kasus aplikasi e-voting
Prastudy Mungkas Fauzi;
Ade Azurat, supervisor
(Fakultas Ilmu Komputer Universitas Indonesia, 2007)
|
| Teknologi perangkat lunak berbasis komponen adalah sebuah trend yang menjanjikan dalam pengembangan perangkat lunak. Hal ini disebabkan oleh sifat reusability dari sebuah komponen, dimana komponen dapat digunakan kembali dan dikomposisikan menjadi aplikasi yang diinginkan. Konsep perangkat lunak berbasis komponen ini didasari oleh komponen dalam bidang elektronika, dimana pihak yang ingin mengembangkan suatu alat elektronika tidak perlu mulai dari awal untuk tiap alat baru. Untuk merealisasikan hal tersebut untuk perangkat lunak, ada banyak tantangan yang harus dihadapi. Salah satu tantangan tersebut adalah masalah sertifikasi.Penelitian ini mempelajari tentang sertifikasi perangkat lunak berbasis komponen, dengan studi kasus aplikasi E-Voting. Dalam penelitian ini, penulis mencoba menerapkan logika UNITY dalam mempelajari studi kasus aplikasi EVoting tersebut. Selain itu, penulis juga menggunakan HOL theorem prover sebagai alat bantu dalam pembuktian. |
 SK-690-Penerapan logika-Kesimpulan.pdf :: Unduh SK-690-Penerapan logika-Abstrak.pdf :: Unduh SK-690-Penerapan logika-HA.pdf :: Unduh SK-690-Penerapan logika-Pendahuluan.pdf :: Unduh SK-690-Penerapan logika-Lampiran.pdf :: Unduh SK-690-Penerapan logika-Pembahasan.pdf :: Unduh SK-690-Penerapan logika-Literatur.pdf :: Unduh
|
| No. Panggil : | S-Pdf |
| Entri utama-Nama orang : | |
| Entri tambahan-Nama orang : | |
| Entri tambahan-Nama badan : | |
| Subjek : | |
| Penerbitan : | Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2007 |
| Bahasa : | ind |
| Sumber Pengatalogan : | |
| Tipe Konten : | |
| Tipe Media : | |
| Tipe Carrier : | |
| Deskripsi Fisik : | iv, 59 lembar; il; 29 cm. |
| Naskah Ringkas : | |
| Lembaga Pemilik : | Universitas Indonesia |
| Lokasi : | Perpustakaan UI, Lantai 3 |
| No. Panggil | No. Barkod | Ketersediaan |
|---|---|---|
| S-Pdf | 14-19-319589165 | TERSEDIA |
| Ulasan: |
| Tidak ada ulasan pada koleksi ini: 123300 |
