Proses verifikasi piranti lunak basis data dengan Lingu dan Theorem Procer Hol
- Heru Suhartanto, dkk
- Fakultas Ilmu Komputer UI
- 2007
- 979-1421-02-1
Sinopsis

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.

Kata Kunci
- Software
Tersedia di Perpustakaan Kampus:
- Kalimalang
Silahkan Login untuk dapat Melakukan Peminjaman Online

Detail Informasi
Sinopsis Buku

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

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.

Terkait Subjek Buku yang sama

Laptop anda error ? atasi hanya dalam waktu 5 menit
- Kurniawan,Doni
- Kawan Pustaka
- 2010
- 979-757-383-4
Sinopsis

... Lihat Selengkapnya
Kursus kilat 24 jam jurus pendayagunaan internet melalui Netscape 6
- Rijanto Tosin
- Dinastindo
- 2000
- 979-552-380-5
Sinopsis

... Lihat Selengkapnya
Melacak dan menyelamatkan berbagai data
- Ian Chandra K
- PT Elex Media Komputindo
- 2008
- 978-979-27-2101-0
Sinopsis

... Lihat Selengkapnya
Manajemen modern dengan SCRUM : Sebuah petualangan baru di abad 21 menjadi manajer software development modern
- Joshua Partogi, Th. Arie Prabawati (Ed)
- ANDI
- 2015
- 978-979-29-5357-2
Sinopsis

Buku ini tidak berisi resep singkat atau jalan pintas untuk menerapkan Scrum di Perusahaan anda. Buku ini menyediakan sebuah fondasi berfikir di abad 21 sama seperti Scrum yang merupakan sebuah ... Lihat Selengkapnya
Cepat menguasai visual studio.NET 2008 express
- Renati Winong Rosari (Ed)
- ANDI
- 2008
- 978-979-29-0605-9
Sinopsis

Setelah sukses dengan visual studio 2005, Microsoft kembali mengeluarkan Visual Studio versi terbarunya dengan berbgaai macam peningkatan dalam kemampuan pengembangan software. Teknologi visual ... Lihat Selengkapnya

TENTANG PERPUSTAKAAN

Perpustakaan Universitas Bina Sarana Informatika merupakan layanan yang diberikan kepada civitas akademik khususnya mahasiswa untuk memperoleh informasi seperti buku, majalah, jurnal, prosiding, dll.