-
Proses verifikasi piranti lunak basis data dengan Lingu dan Theorem Procer Hol
- Heru Suhartanto, dkk
- Fakultas Ilmu Komputer UI
- 2007
- 979-1421-02-1
Secara spesifik buku ini • menjelaskan Lingu — suatu bahasa spesifikasi baru untuk aplikasi basis data. Penuilsan 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. • membenikan 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.
- Jatiwaringin
Silahkan Login untuk dapat Melakukan Peminjaman Online
| Kode Buku | : | 220076 |
| Kode Klasifikasi | : | 005.12 |
| Judul Buku | : | Proses verifikasi piranti lunak basis data dengan Lingu dan Theorem Procer Hol |
| Edisi | : | - |
| Penulis | : | Heru Suhartanto, dkk |
| Penerbit | : | Fakultas Ilmu Komputer UI |
| Bahasa | : | Bahasa Indonesia |
| Tahun | : | 2007 |
| ISBN | : | 979-1421-02-1 |
| Tajuk Subjek | : | Software |
| Deskripsi | : | xiv, 188 hlm. : ill. ; 22 cm |
| Eksemplar | : | 1 |
| Stok | : | 1 |
| Petugas | : | Ria Indriani, S.Hum |
• menjelaskan Lingu — suatu bahasa spesifikasi baru untuk aplikasi basis data. Penuilsan 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.
• membenikan 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.
Terkait Subjek Buku yang sama
-
Koleksi lengkap software hacking
- Dedik Kurniawan dan Java Creativity
- PT Elex Media Komputindo
- 2013
- 978-602-0214337
"Hacking" merupakan suatu istilah yang sudah tidak asing lagi kita dengar. Teknik Hacking biasanya digunakan untuk menerobos suatu sistem secara ilegal dengan tujuan yang berbeda-beda. Misalnya ... Lihat Selengkapnya
-
Kupas tuntas tool gratis proteksi windows, jaringan, dan internet security
- Westriningsih (Ed)
- ANDI
- 2013
- 978-979-29-3887-6
Pada jaman sekarang tools software untuk sistem operasi windows sangat beragam dan bervariasi dari segi harga dan kemampuan yang dimiliki. Jika Anda pengguna komputer yang enggan mengeluarkan biaya ... Lihat Selengkapnya
-
-
Refactoring pada object oriented software dan object database
- Djon Irwanto
- Andi Offset
- 2010
- 978-979-29-1372-9
Framework ini diciptakan sedemikian rupa sehingga ia tidak dependent terhadap sebuah methodology object oriented software development tertentu. Ia bukanlah sebuah teori tentang refactoring, melainkan ... Lihat Selengkapnya
-
Panduan menjadi teknisi komputer
- Ahmad Yani
- Kawan Pustaka
- 2009
- 978-979-757-085
Pada saat ini, komputer sudah digunakan secara luas. Namun, tidak semua pengguna memiliki pengetahuan untuk mengambil tindakan jika terjadi kerusakan, meskipun kerusakannya hanya karena VGA card-nya ... Lihat Selengkapnya