Ditemukan 1 dokumen yang sesuai dengan query
I.S.W.B. Prasetya
"
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 dijaga dalam konteks sistem terdistribusi atau paralel. Teori yang ada sifatnya terlalu umum dan tidak memberikan petunjuk yang jelas bagaimana cata memberikan batasan (constraint) kepada ...
"
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2001
JIKT-I-1 Mei 2001-1
Artikel Jurnal Universitas Indonesia Library
