Ditemukan 6 dokumen yang sesuai dengan query
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
Muhammad Ihsan Prasetio
"
Suatu ruang metrik disebut lengkap apabila setiap barisan Cauchy di ruang metrik tersebut adalah konvergen. Ruang Atsuji adalah ruang metrik lengkap di mana setiap fungsi kontinu bernilai real adalah kontinu seragam. Suatu ruang metrik dikatakan memiliki Atsuji completion jika completion dari ruang metrik tersebut adalah ruang Atsuji. Dalam makalah ini dipelajari sifat subhimpunan di ruang metrik yang completion-nya adalah ruang Atsuji, yaitu sifat subhimpunan lengkap dan sifat subhimpunan completely discrete.
......
Complete metric space is a metric ...
"
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2014
S61507
UI - Skripsi Membership Universitas Indonesia Library
Wandmacher, Cornelius
New York: Industrial Press, 1978
389.16 WAN m
Buku Teks Universitas Indonesia Library
Semioli, William J.
New York: Industrial Press, 1974
389.152 SEM c
Buku Teks Universitas Indonesia Library
New York: McGraw-Hill, 1996
R 627.02 BRA h
Buku Referensi Universitas Indonesia Library
Hornung, William J.
Englewood Cliffs, N.J.: Prentice-Hall, 1981
690.022 1 HOR m
Buku Teks Universitas Indonesia Library
