Hasil Pencarian  ::  Simpan CSV :: Kembali

"Dari pers release hasil survey/polling penggunaan software ilegal, sampai dengan hari ketujuh pada 23 Maret 2008, menunjukkan total responden adalah 441 orang dan rasio penggunaan sofware ilegal vs software legal adalah sebesar 75 persen (335 responden) versus 23 persen (96 responden)..."

"Studi tentang type theory telah memberikan kontribusi penting dalam dunia ilmu komputer, terutama dalam rekayasa perangkat lunak, basis data, computational linguistics, desain bahasa pemrograman, automated theorem proving, high performance compiler dan keamanan jaringan komputer. Tugas akhir ini berfokus pada varian type theory yang disebut Type Assignment (TA). Kontribusi dari tugas akhir ini terdiri dari tiga hal pokok. Pertama, algoritma Principal Type (PT) dan pencarian type inhabitant diimple- mentasikan dalam PROLOG dengan menggunakan Denite Clause Grammar (DCG).Hasil implementasi ini dapat dipakai untuk mencari tipe dari sebuah x-term dan juga sebaliknya, mencari inhabitant (berupa x-term) dari sebuah tipe. Kedua, seluk-belum TA, terutama algoritma PT dan pencarian type inhabitant, dipaparkan dengan bahasa yang lebih mudah dimengerti dibandingkan literatur yang sudah ada. Ketiga, sebuah antarmuka grafs dibangun untuk memudahkan user dalam menggunakan (mencoba) kedua algoritma tersebut. Dengan demikian, software ini bisa digunakan sebagai testbed untuk mempelajari TA, maupun untuk bereksperimen dalam type theory."

"Membangun piranti lunak tidaklah sulit, yang sulit adalah bagaimana membangun piranti lunak sesuai dengan spesifikasi yang ada. Kesalahan sering terjadi ketika pengembang tidak atau kurang memperhatikan spesifikasi pada awal pengembangan dan hanya memperhatikan hasil akhir saja. Kesalahan ini akan terus berlanjut sampai pada tahap piranti tersebut diuji coba. Penemuan kesalahan di akhir proses tentu memakan biaya lebih besar jika dibandingkan pada awal proses. Lingu merupakan bahasa baru untuk aplikasi basis data yang dapat melakukan verifikasi program dengan bantuan theorem prover HOL. 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. Aplikasi basis data merupakan aplikasi yang dekat dengan kehidupan sehari-hari. SET (Student Entrance Test atau Ujian Penerimaan Mahasiswa) merupakan salah satu aplikasi krusial basis data. Kesalahan dalam SET membawa dampak besar bagi calon mahasiswa, sehingga pembangunan SET tidak boleh sembarangan dan harus memperhatikan spesifikasi-spesifikasi tertentu yang menjadi perhatian penting dalam proses seleksi masuk. Tugas akhir ini bertujuan untuk memberikan wawasan baru dalam membangunpiranti lunak dan memverifikasi program dengan menggunakan Lingu. Studi kasus menggunakan SET. Analisis dilakukan terhadap perbandingan Lingu..."