49
Kelemahan menggunakan teknik V model :
Dokumentasi harus cukup detail agar fase selanjutnya dapat
berjalan dengan baik.
5. Formal Method
Teknik formal
method
adalah
teknik
yang
mengandalkan
perhitungan
matematika
dalam setiap
prosesnya.
Hanya
digunakan
pada
sistem yang
sangat
memperhatikan
keamanan
atau keselamatan dari pengguna. Contoh penggunaan teknik ini
adalah aerospace engineering.
Keuntungan menggunakan tekhnik formal method :
Meminimalkan resiko dengan adanya perhitungan komputasi.
Kelemahan menggunakan teknik formal :
1.
Biaya tinggi
2.
Kompleks
3.
Tidak umum untuk proyek software pada umunya.
 |