Text

Proses verifikasi piranti lunak basis data dengan Lingu dan Theorem Prover HOL

---

Daftar isi:
Bab 1 Pendahuluan
Bab 2 Verifikasi program
Bab 3 Perkenalan HOL dan Meta-Languange
Bab 4 Cara pembuktian dengan HOL
Bab 5 LINGU dan LINGUSQL
Bab 6 Penulisan skrip LINGU
Bab 7 Student Entrance test
Bab 8 Implementasi dan verifikasi Modul set
Bab 9 Analisis
Bab 10 Penutup

Book Review:

Buku ini menjelaskan hasil Riset Unggulan Terpadu Internasional (RUTI) 2003-2005 di Fasilkom UI yang disponsori oleh Kementerian Riset dan Teknologi RI tentang pengembangan teknologi untuk membangun aplikasi basis data kritis. Teknologi yang dikembangkan adalah dengan memasukkan unsur pembuktian logik sehingga spesifikasi suatu piranti lunak lebih terjamin kebenarannya secara matematis.

Secara spesifik buku ini
• Menjelaskan Lingu – suatu bahasa spesifikasi baru untuk aplikasi basis data. Penulisan dalam bahasa ini dapat diverifikasi dengan bantuan theorem prover HOL.
• Mengulas contoh bagaimana suatu aplikasi basis data dapat dituliskan dalam Lingu dan memverifikasinya. Tujuan dari verifikasi program adalah memberikan jaminan bahwa program yang dibuat telah sesuai dengan spesifikasi yang diberikan. Dengan adanya jaminan tersebut, pengembang dapat melanjutkan proses pembuatan piranti lunak hingga tahap terakhir. Saat ini Lingu hanya memfokuskan diri pada aplikasi basis data.
• Memberikan wawasan baru dalam membangun piranti lunak dan memverifikasi program dengan menggunakan Lingu, dengan studi kasus menggunakan Student Entrance Test (SET).
• Melakukan analisis perbandingan Lingu dengan bahasa lain seperti SQL dan Metode B.

Buku ini dapat dipakai sebagai salah satu acuan perkuliahan Rekayasa Perangkat Lunak yang membutuhkan dukungan verifikasi kebenaran suatu spesifikasi. Karena disyaratkannya pengetahuan logika, buku ini akan tepat menjadi acuan mahasiswa S1 tingkat akhir atau mahasiswa Pascasarjana tingkat awal.

---

Availability

080045

005.74 PRO

My Library

Available

Detail Information

Series Title

-

Call Number

005.74 PRO

Publisher

Fakultas Ilmu Komputer Universitas Indonesia : Jakarta., 2007

Collation

xiv, 188 hlm.; 22 cm

Language

Indonesia

ISBN/ISSN

978-979-1421-02-7

Classification

005.74

Content Type

-

Media Type

-

Carrier Type

-

Edition

-

Subject(s)

DATABASE MANAGEMENT

Specific Detail Info

-

Statement of Responsibility

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment