Notasi formal untuk komunikasi
Spesifikasi dapat dibuat sebagai bahasa yang ‘umum’ antar tim desain, desainer dan
pembuat sistem. Ide2 tentang tampilan layar dapat dengan muda divisualisasikan
dengan bantuan paket2 untuk menggambar (drawing tool), tetapi perilaku sistem yang dinamis sulit dikomunikasikan
Notasi Formal untuk analisa
Spesifikasi formal dapat dianalisa dalam berbagai cara :
♦ Periksa konsistensi internal,
Lihat jika setiap statement dibuat dalam satu bagian yang saling berkontradiksi. Contoh : umumnya tidak memungkinkan membangun system yang sesuai dengan properti antara teori dan praktek.
♦ Periksa konsistensi eksternal,
Yang berhubugan dengan program (bukan keuntungan dalam IMK). Tugas verifikasi ini merupakan keuntungan dari spesifikasi formal dari sudut pandang RPL.
♦ Periksa konsistensi eksternal,
Yang berhubungan dengan kebutuhan2, beberapa diantaranya seperti properti
keamanan, sistem khusus, dll. Kebutuhan lainnya tentang system khusus misalnya fungsi yang dapat diakses hanya dengan penekanan kurang dari 3 keystrokes.
silahkan download file ppt dibawah ini :
model sistem
;)
0 komentar:
Posting Komentar