Hasil Pencarian  ::  Simpan CSV :: Kembali

"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..."

"Biostatistics with R is designed around the dynamic interplay among statistical methods, their applications in biology, and their implementation. The book explains basic statistical concepts. The development of ideas is in the context of real applied problems, for which step-by-step instructions for using R and R-Commander are provided. Topics include data exploration, estimation, hypothesis testing, linear regression analysis, and clustering with two appendices on installing and using R and R-Commander. A novel feature of this book is an introduction to Bayesian analysis. This author discusses basic statistical analysis through a series of biological examples using R and R-Commander as computational tools. "