Ditemukan 4 dokumen yang sesuai dengan query
Ade Azurat, author
This paper reports a preliminary work on using an aspect oriented attribute grammar system called UU-AG to develop computer aided verification tools. UU_AG provides an abstract and modular way to develop such a tool and later on incrementally upgrade them. This paper shows an example of a toy programming logic...
2003
JIKT-3-2-Okt2004-77
Artikel Jurnal 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
Ade Azurat, author
HOL is a theorem prover based on a higher order logic. Its expressive logic makes it suitable for embedding programming logics. Compared to other theorem provers, HOL is attractive because of its familiar and intuitive logic and because it is highly programmable. In this paper we will compare a number...
2002
JIKT-2-1-Mei2002-18
Artikel Jurnal Universitas Indonesia Library
