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

"The complexity of software is continuously growing as a result of today’s interconnected business processes. Governance of architecture and technology strategy helps to ensure coherence of software and avoid excessive complexity. At the same time software development needs room for creativity and empowerment to provide solutions to business problems of increasing complexity. The book looks at this software dilemma from the perspectives of CIOs/CTOs, software architects, and auditors. Each of these groups has different interests which need to be considered, reconciled, and balanced. CIOs/CTOs are provided with the boundary conditions they have to establish assuring the achievement of strategic objectives. Architects and auditors find proven concepts for effectively assessing software projects and architectures, as well as for effectively communicating identified issues to responsible persons. The book is based on the author’s long experience in software engineering, governance, and auditing."

"This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. The papers are organized in topical sections on testing in practice, test frameworks for distributed systems, testing of embedded systems, test optimization, and new testing methods."

"Software and systems traceability provides a comprehensive description of the practices and theories of software traceability across all phases of the software development lifecycle. "

"Software engineering, is widely recognized as one of today's most exciting, stimulating, and profitable research areas, with a significant practical impact on the software industry and academia. The LASER school, held annually since 2004 on Elba Island, Italy, is intended for professionals from industry (engineers and managers) as well as university researchers, including PhD students. This book contains selected lecture notes from the LASER summer schools 2008-2010, which focused on concurrency and correctness in 2008,software testing in 2009, and empirical software engineering, in 2010. "

"This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques, parallel model checking, case studies, model checking for concurrency, and tool demonstrations."