Ditemukan 609 dokumen yang sesuai dengan query
Syabika Muhammad, author
Penelitian ini merupakan upaya untuk memprediksi hasil akhir dari ukuran butir pada paduan A356 aluminium dalam proses pendinginan. Analisa termal dilakukan utamanya menggunakan curva pendinginan, dengan bantuan software buatan sendiri yang mengandalkan media pemrograman yakni MATLAB/MathWorks dalam pengerjaannya. Selain itu, pengolahan data eksperimen empiris melalui metode statistika juga dilakukan untuk...
Depok: Fakultas Teknik Universitas Indonesia, 2021
TA-pdf
UI - Skripsi (Membership) Universitas Indonesia Library
This book contains extended and revised versions of the best papers presented at the 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, held in Madrid, Spain, in September 2010. The 14 papers included in the book were carefully reviewed and selected from the 52 full...
Heidelberg: Springer-Verlag, 2012
e20410266
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9 revised full papers presented together with 2 invited papers, 4 short papers and one tutorial...
Berlin: Springer-Verlag, 2012
e20409188
eBooks Universitas Indonesia Library
Kourie and Watson advocate an approach known as “correctness-by-construction,” a technique to derive algorithms that relies on formal theory, but that requires such theory to be deployed in a very systematic and pragmatic way. First they provide the key theoretical background (like first-order predicate logic or refinement laws) that...
Berlin: Springer-Verlag, 2012
e20409956
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal...
Berlin: Springer-Verlag, 2012
e20409160
eBooks Universitas Indonesia Library
Tolhas Parulian Jonathan, author
Software Product Line Engineering (SPLE) merupakan suatu paradigma untuk menghasilkan berbagai perangkat lunak dengan variasi fitur yang berbeda-beda. Produk perangkat lunak yang dihasilkan dengan paradigma SPLE membutuhkan autentikasi dan otorisasi agar pengguna dapat dikenali dan dibatasi aksesnya untuk setiap fitur. Penelitian sebelumnya telah mengembangkan autentikasi pada perangkat lunak bagian front-end...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2023
S-pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Bambang Parikenan, author
Saat ini kepuasan pelanggan bukan hanya dilihat dari sisi fungsionalitas sistem, namun dilihat juga dari sisi stabilitas dan kualitas produk perangkat lunak terhadap fault dan error pada sistem. Kualitas perangkat lunak juga dapat didefinisikan sebagai sekumpulan karakter dan fitur dari suatu perangkat lunak yang sesuai dengan kebutuhan pengguna. Berdasarkan konsep...
Depok: Fakultas Ilmu Komputer Universitas Indonesia , 2020
TA-Pdf
UI - Tugas Akhir Universitas Indonesia Library
Wahyudi, author
ABSTRAK
PT XYZ, salah satu perusahaan perakitan kendaraan niaga di Indonesia telah berusaha untuk mengimplementasikan sistem manajemen sumber daya manusia yang dinamakan sebagai Human Resource Management System (HRMS). Namun, seiring perkembangan bisnis perusahaan, HRMS yang ada saat ini kurang mampu menyesuaikan dengan requirements bisnis perusahaan. Oleh karena itu, manajemen PT XYZ...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2015
TA-Pdf
UI - Tugas Akhir Universitas Indonesia Library
Rina Yuniarti, author
Penggunaan teknologi digital yang semakin luas mendukung perusahaan untuk membuat strategi bisnis yang lebih baru, yaitu mengembangkan ekosistem digital berbasis perangkat lunak dengan memanfaatkan hubungan antara bentuk dan fungsi produk di dalam perusahaan. Perusahaan perbankan dituntut untuk menerapkan pengembangan dengan metodologi agile agar dapat bersaing dengan cepat, meningkatkan kepuasan pelanggan,...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2023
TA-pdf
UI - Tugas Akhir Universitas Indonesia Library
Dwi Yunita Sari, author
Dalam rangka terus aktif menyesuaikan kebutuhan pasar PT. Bank Rakyat Indonesia, Tbk (BRI) terus melakukan inovasi secara digital menimbulkan banyaknya permintaan untuk melakukan pengembangan aplikasi baru maupun enhancement dari aplikasi yang sudah ada. Tahun 2020 terdapat 780 proyek pengembangan atau perbaikan aplikasi, dan pada tahun selanjutnya meningkat menjadi 1.041...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2023
TA-pdf
UI - Tugas Akhir Universitas Indonesia Library
