Ditemukan 46 dokumen yang sesuai dengan query
Ricky Suryadharma
"
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 buah eksperimen yang dilakukan secara bertahap. Eksperimen pertama berupa eksperimen menggunakan pustaka HOL. Eksperimen kedua berupa eksperimen memformalisasikan teori gcd yang kemudian memberikan pengetahuan mengenai ...
"
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2009
S-Pdf
UI - Skripsi Open Universitas Indonesia Library
Agung Widiyarto
"
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 pengembang dalam melakukan pengujian perangkat lunak dan mengatasi masalah pengujian yang mereka hadapi. Di dalam Rational Suite terdapat beberapa aplikasi pendukung yang dapat digunakan dalam ...
"
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2008
S-Pdf
UI - Skripsi Open Universitas Indonesia Library
Aziz Yudi Prasetyo
"
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 analisis dari verifikasi perangkat lunak berbasis Java, dengan menggunakan T2 Framework sebagai verification tool. Proses implementasi dilakukan terhadap studi kasus berupa Electronic Votes Manager yang ...
"
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2008
S-Pdf
UI - Skripsi Open Universitas Indonesia Library
Gultom, Ricky Timothy
"
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 berorientasi objek yang ingin dikonversi menjadi SPL adalah sistem perpustakaan digital di lingkungan Universitas Indonesia yaitu LONTAR. Selama ini, LONTAR hanya menggunakan layanan web berbasis ...
"
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2013
S-Pdf
UI - Skripsi Membership Universitas Indonesia Library
Riri Edwina Renaganis
"
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 kekurangan yang menghambat proses pengembangan seperti tidak dapat meng-handle issue setelah development serta waktu yang kurang efisien dalam melakukan testing. Alasan tersebut membuat tim quality ...
"
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2021
S-pdf
UI - Skripsi Membership Universitas Indonesia Library
Hafiyyan Sayyid Fadhlillah
"
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 UI dari fitur - fitur yang dipilih akan digabungkan untuk membentuk UI dari aplikasi pada proses product derivation. Target dari penelitian ini adalah untuk menunjukan ...
"
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2018
T519231
UI - Tesis Membership Universitas Indonesia Library
Maria Evarisma Wulandari
"
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 bahwa beberapa hasil pengerjaan perangkat lunak saat ini belum sesuai dengan Values Proposition yang ditawarkan.
Pendekatan yang digunakan dalam penelitian ini adalah CMMI Dev v1.3 ...
"
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2015
T-Pdf
UI - Tesis Membership Universitas Indonesia Library
Dwi Teguh Priyantini
"
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 , perlu mekanisme yang dapat menjamin kebenaran program untuk semua kemungkinan input. Ada solusi lain yang dapat menjamin kebenaran program untuk semua kemungkinan input, yaitu dengan ...
"
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2017
T-Pdf
UI - Tesis Membership Universitas Indonesia Library
Fakhri Rhizadi
"
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 tries to bypass the process of information collecting. Adaptive database itself is defined through combining the definition of adaptive in software product line and previous ...
"
Depok: Fakultas Komputer Universitas Indonesia, 2020
T-pdf
UI - Tesis Membership Universitas Indonesia Library
Adrika Novrialdi
"
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 memiliki potensi besar dalam implementasi SPL karena disusun dari konsep modul yang banyak digunakan pada bahasa pemrograman. Variability Module for Java (VMJ) memperlihatkan implementasi konsep ...
"
Jakarta: Fakultas Ilmu Komputer Universitas Indonesia, 2023
T-pdf
UI - Tesis Membership Universitas Indonesia Library
