Ditemukan 46 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
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
Hafiyyan Sayyid Fadhlillah, author
Salah satu tantangan untuk menghasilkan User Interface (UI) secara otomatis dalam Software Product Line Engineering (SPLE) adalah bagaimana menghasilkan UI yang sesuai dengan fitur - fitur yang dipilih. Penelitian ini menggunakan Interaction Flow Modeling Language (IFML) untuk memodelkan UI untuk setiap fitur dalam SPLE. Setiap model IFML yang menggambarkan desain...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2018
T519231
UI - Tesis Membership Universitas Indonesia Library
Maria Evarisma Wulandari, author
PT XYZ merupakan salah satu organisasi sektor swasta yang bergerak di bidang penyediaan jasa pengembangan perangkat lunak. PT XYZ memiliki tiga poin Values Proposition yang salah satu poinnya adalah menyediakan perangkat lunak dengan performa dan kehandalan yang tinggi. Pada kenyataannya, berdasarkan data-data pengerjaan proyek perangkat lunak di PT XYZ ditemukan...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2015
T-Pdf
UI - Tesis Membership Universitas Indonesia Library
Dwi Teguh Priyantini, author
Pada pengembangan sistem, dibutuhkan sebuah mekanisme untuk menjamin bahwa sistem tersebut berjalan dengan benar tanpa error atau rsquo;bug rsquo;. Sejauh ini, hal yang biasa dilakukan adalah dengan testing, tetapi hal ini sulit dilakukan untuk mencakup semua kemungkinan. Untuk sistem yang membutuhkan tingkat correctness yang tinggi, seperti misalnya pada hardware ,...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2017
T-Pdf
UI - Tesis 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
Adrika Novrialdi, author
Software product line (SPL) adalah kumpulan perangkat lunak dengan yang memiliki kemiripan dan dibuat dari suatu base artefact yang sama. Variability Module(VM) merupakan salah satu konsep baru dalam implementasi SPL menggunakan Delta Oriented Programming(DOP) yang juga mendukung penggunaan beberapa SPL yang saling bergantung yang dinamakan Multi Product Line (MPL). VM...
Jakarta: Fakultas Ilmu Komputer Universitas Indonesia, 2023
T-pdf
UI - Tesis Membership Universitas Indonesia Library
