Ario Santoso Ario Santoso
Fakultas Ilmu Komputer, Universitas Indonesia

Published : 1 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 1 Documents
Search

Verifikasi dan Sertifikasi Perangkat Lunak Berbasis Komponen Ario Santoso; Daniel Cahyadi; Richard Lokasasmita
Seminar Nasional Aplikasi Teknologi Informasi (SNATI) 2007
Publisher : Jurusan Teknik Informatika, Fakultas Teknologi Industri, Universitas Islam Indonesia

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

Pengembangan perangkat lunak berbasis komponen merupakan pilihan yang sangat menarik bagi parapengembang dan pemilik sistem, karena dapat menurunkan waktu dan biaya pengembangan. Namun carapengembangan seperti ini masih menemui banyak permasalahan dalam prosesnya, khususnya dalam halverifikasi dan sertifikasi komponen.Artikel ini akan memberikan pengantar mengenai sebuah alat bantu yang dibangun dengan tujuan untukdapat menerapkan sertifikasi dan verifikasi pada komponen perangkat lunak.