Artikel Jurnal :: Kembali

Artikel Jurnal :: Kembali

Sebuah framework untuk mekanisasi multi logika

oleh I.S.W.B. Prasetya, A. Azurat, S.D. Swierstra (Fakultas Ilmu Komputer Universitas Indonesia, 2001)

 Abstrak

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.

 File Digital: 1

 Metadata

Jenis Koleksi : Artikel Jurnal
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 :
  • Ketersediaan
  • Ulasan
  • Sampul
No. Panggil No. Barkod Ketersediaan
JIKT-1-2-Okt2001-35 03-20-658087281 TERSEDIA
Ulasan:
Tidak ada ulasan pada koleksi ini: 90396
Cover