Ditemukan 38 dokumen yang sesuai dengan query
Ricky Suryadharma, author
Penelitian pendahuluan ini mempunyai tujuan untuk menghasilkan formalisasi sebagian dari teori graph. Graph merupakan ilmu yang cakupannya luas dan mempunyai banyak aplikasi. Akan tetapi, di dalam pustaka sistem HOL belum terdapat teori graph yang formal. Penyusunan formalisasi diawali dengan studi literatur mengenai sistem HOL, kemudian dilanjutkan dengan eksperimen-eksperimen. Terdapat enam...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2009
S-Pdf
UI - Skripsi (Open) Universitas Indonesia Library
Prastudy Mungkas Fauzi, author
Teknologi perangkat lunak berbasis komponen adalah sebuah trend yang menjanjikan dalam pengembangan perangkat lunak. Hal ini disebabkan oleh sifat reusability dari sebuah komponen, dimana komponen dapat digunakan kembali dan dikomposisikan menjadi aplikasi yang diinginkan. Konsep perangkat lunak berbasis komponen ini didasari oleh komponen dalam bidang elektronika, dimana pihak yang ingin...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2007
S-Pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Agung Widiyarto, author
Pengujian perangkat lunak merupakan salah satu hal terpenting dalam pengembangan perangkat lunak. Namun, banyak pengembang perangkat lunak yang kurang memperhatikan pengujian pada perangkat lunak yang mereka kembangkan. Salah satu alasannya adalah proses pengujian memakan waktu dan biaya yang tidak sedikit.
Rational Suite merupakan software yang dikembangkan oleh IBM untuk membantu para...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2008
S-Pdf
UI - Skripsi (Open) Universitas Indonesia Library
Aziz Yudi Prasetyo, author
Verifikasi perangkat lunak merupakan hal yang dilakukan untuk memastikan bahwa suatu perangkat lunak adalah valid terhadap spesifikasi yang telah ditetapkan sebelumnya. Proses verifikasi dari suatu perangkat lunak merupakan hal yang terkait pengujian-pengujian yang dilakukan terhadap perangkat lunak yang bersesuaian, baik secara otomatis maupun manual. Dalam penelitian ini dilakukan implementasi dan...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2008
S-Pdf
UI - Skripsi (Open) Universitas Indonesia Library
Gultom, Ricky Timothy, author
Skripsi ini membahas tentang melakukan konversi sistem berorientasi objek menjadi sofware product line dengan menggunakan konsep pemodelan delta yang dimiliki oleh Abstract Behavioral Specification (ABS). ABS merupakan bahasa pemodelan yang ditargetkan untuk mengembangkan sistem dengan tingkat variasi yang tinggi dan mendukung pengembangan Software Product Line (SPL) melalui pemodelan delta. Sistem...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2013
S-Pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Riri Edwina Renaganis, author
Perusahaan XYZ merupakan start up baru yang bergerak di bidang properti. Dalam pembuatan aplikasi yang digunakan perusahaan XYZ, kualitas dari suatu API merupakan salah satu hal yang perlu diperhatikan. Untuk menjamin kualitas API dalam pengembangan aplikasi, perusahaan XYZ menggunakan metode pengecekan manual. Namun, pada implementasinya penggunaan manual testing memiliki beberapa...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2021
S-pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Ichlasul Affan, author
Perkembangan teknologi internet membuat kebutuhan masyarakat akan pembuatan produk web yang beragam perlu dilakukan secara cepat. Pendekatan software product line engineering (SPLE) dapat menjadi salah satu alternatif yang baik untuk menghadapi tantangan tersebut. Berbagai penelitian telah berhasil mengaplikasikan SPLE untuk pembuatan produk web, namun penelitian tersebut masih dilakukan secara terpisah....
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2020
S-pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Fakhri Rhizadi, author
The approach of software product line engineering produces multiple application variant based on their commonality and variability. We need to collect information regarding the application variants for them to have an automatically produced compatible database to conduct their business processes. In this research, we try to define adaptive database which...
Depok: Fakultas Komputer Universitas Indonesia, 2020
T-pdf
UI - Tesis (Membership) Universitas Indonesia Library
Fardhan Dhiadribratha Sudjono, author
Dalam Game Development, proses penyusunan objek dalam permainan merupakan proses yang repetitif. Fitur-fitur pada suatu game object ada yang dapat digunakan ulang pada sebuah game object yang baru. Pendekatan tersebut mirip dengan pendekatan software product line engineering (SPLE) yang menggunakan konsep commonality dan variability. Penelitian dilakukan untuk melihat bagaimana eksekusi...
Depok: Fakultas Ilmu Komputer Universitas Indonesia , 2020
S-pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Sheila Rezkia, author
Dalam pembuatan User Interface (UI) aplikasi, selain perlu memastikan bahwa fungsionalitas
aplikasi dapat berjalan dengan baik, pengembangan juga perlu memerhatikan
keinginan pengguna terhadap tampilan visual aplikasi. Perbedaan selera pengguna
terhadap tampilan UI memberikan sebuah tantangan lain dalam pembuatan aplikasi web
front-end secara otomatis. Studi ini mengajukan sebuah solusi yang dapat menyelesaikan
permasalahan terkait penyediaan variasi...
Depok: Fakultas Ilmu Komputer, 2020
S-pdf
UI - Skripsi (Membership) Universitas Indonesia Library
