Penggunaan algoritma computational tree logic model checking untuk pemeriksaan rancangan sistem microwave oven
Ummu Maemunah;
Yahma Wisnani, supervisor; Kasiyah, supervisor
(Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2006)
|
Pengujian sistem harus dilakukan agar terhindar dari hal-hal yang tidak diinginkan. Salah satu metode pengujian rancangan sistem adalah model checking. Pada tugas akhir ini model yang digunakan untuk menyajikan rancangan sistem pada model checking adalah struktur Kripke dan spesifikasi sistem ditulis dalam bentuk formula computational tree logic yang merupakan salah satu bagian dari temporal logic. Algoritma computational tree logic model checking digunakan untuk memeriksa terpenuhi tidaknya spesifikasi yang ditulis dengan formula computational tree logic pada rancangan sistem. Pada tugas akhir ini dibahas penggunaan algoritma computational tree logic model checking untuk memeriksa rancangan sistem microwave oven. |
S27633-Ummu Maemunah.pdf :: Unduh
|
No. Panggil : | S27633 |
Entri utama-Nama orang : | |
Entri tambahan-Nama orang : | |
Entri tambahan-Nama badan : | |
Subjek : | |
Penerbitan : | Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2006 |
Program Studi : |
Bahasa : | ind |
Sumber Pengatalogan : | LibUI ind rda |
Tipe Konten : | |
Tipe Media : | |
Tipe Carrier : | |
Deskripsi Fisik : | viii, 52 hlm. ; 28 cm. |
Naskah Ringkas : | |
Lembaga Pemilik : | Universitas Indonesia |
Lokasi : | Perpustakaan UI, Lantai 3 |
No. Panggil | No. Barkod | Ketersediaan |
---|---|---|
S27633 | 14-20-022417156 | TERSEDIA |
Ulasan: |
Tidak ada ulasan pada koleksi ini: 20180862 |