Sebuah framework untuk mekanisasi multi logika
oleh I.S.W.B. Prasetya, A. Azurat, S.D. Swierstra (Fakultas Ilmu Komputer Universitas Indonesia, 2001)
|
| 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. Framework yang ada cenderung berfokus pada mekanisasi dari sebuah logika saja dan ini menurut pengalaman kami kurang memuaskan untuk membangun sistem dengan multi logika. Dalam tulisan ini kami memberikan sebuah framework alternatif yang diharapkan lebih cocok untuk keperluan tersebut. |
|
|
| No. Panggil : | JIKT-1-2-Okt2001-35 |
| Entri utama-Nama orang : | |
| Entri tambahan-Nama orang : | |
| Penerbitan : | Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2001 |
| Sumber Pengatalogan : | |
| ISSN : | |
| Majalah/Jurnal : | Jurnal Ilmu Komputer dan Teknologi Informasi |
| Volume : | Vol. 1 (2) Oktober 2001: 35-43 |
| Tipe Konten : | |
| Tipe Media : | |
| Tipe Carrier : | |
| Akses Elektronik : | |
| Institusi Pemilik : | Universitas Indonesia |
| Lokasi : |
| No. Panggil | No. Barkod | Ketersediaan |
|---|---|---|
| JIKT-1-2-Okt2001-35 | 03-20-658087281 | TERSEDIA |
| Ulasan: |
| Tidak ada ulasan pada koleksi ini: 90396 |
