Ditemukan 4 dokumen yang sesuai dengan query
I.S.W.B. Prasetya, author
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 1997
R 324.6 PRA s
Buku Referensi Universitas Indonesia Library
I.S.W.B. Prasetya, author
Karya tulis ini membahas konsep dan rancangan sistem transaksi elektronik untuk kampus atau administrasi universitas, yang bersifat aman, terbuka, dan terotentikasi. sistem transaksi elektronik terbuka (open electronic transaction system) memungkinkan suatu transaksi elektronik dilakukan melalui jaringan komputer publik (public computer network), oleh karena itu masalah keamanan (security) terutama masalah privacy...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 1999
LP-pdf
UI - Laporan Penelitian Universitas Indonesia Library
I.S.W.B. Prasetya, author
Teori komposisi komponen adalah dasar dari modularitas dalam pengembangan dan verifikasi perangkat lunak. Teori ini terutama digunakan untuk memberikan justifikasi formal untuk konsistensi kerja komponen-komponen yang mudah dipakai ulan (reusable). Hambatan terbesar dalam menyusun bukti formasil untuk komponen seperti itu adalah konsistensi perilakku temporal yang berhubungan dengan kemajuan (progress) sulit...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2001
JIKT-I-1 Mei 2001-1
Artikel Jurnal Universitas Indonesia Library
I.S.W.B. Prasetya, author
Otomasi dari verifikasi formal sebuah sistem membutuhkan mekanisasi logika yang menjadi basis metoda verifikasi yang digunakan. Logika yang dibutuhkan sering kali cukup rumit dan sebetulnya merupakan komposisi dari beberapa logika lainnya. Ini memberikan komplikasi ekstra karena sekarang aspek seperti hirarki antar logika dan modularitasnya merupakan aspek yang juga erlu diperhatikan....
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2001
JIKT-1-2-Okt2001-35
Artikel Jurnal Universitas Indonesia Library
