RSS

Proses yang Efektif

05 Mar

Efektif adalah pencapaian hasil yang sesuai dengan tujuan yang telah ditetapkan. Efektif ini berasal dari bahasa Latin, effectivus, yang berarti kreatif, produktif.  Dalam dunia informatika, proses yang efektif disinonimkan dengan komputasi yang efektif atau algoritma yang efektif.  Komputasi atau algoritma yang efektif dapat diukur dari berapa jumlah waktu dan ruang (space) memori yang dibutuhkan untuk menjalankannya dalam mencapai tujuan.

Untuk mendapatkan proses/komputasi yang efektif dapat dilakukan sejak tahap analisis kebutuhan.  Tahap analisis kebutuhan ini sangat penting, karena merupakan dasar dari tahap-tahap berikutnya. Tahap ini menghasilkan spesifikasi dari perangkat lunak yang akan dibangun. Spesifikasi yang ditulis dengan bahasa alami banyak memiliki kelemahan, karena spesefikasi yang ditulis dengan bahasa alami cenderung untuk kontradiktif, rancu, bermakna ganda, tidak jelas dan tidak lengkap.

Untuk mengatasi kelemahan bahasa alami dalam menulis spesifikasi dapat digunakan bahasa formal yang dibuat berdasarkan logika formal dan matematika, seperti teori himpunan, teori graf dan automata.  Bahas formal ini dapat digunakan untuk menspesifikasi dan memverifikasi sistem, baik perangkat keras maupun perangkat lunak.

Advertisements
 
Leave a comment

Posted by on March 5, 2012 in Filsafat Ilmu

 

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s