Metode formal

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas

Revisi sejak 21 Agustus 2007 10.57 oleh 122.200.6.18 (bicara) (Suatu metoda untuk membuat permasalahan desain menjadi lebih rigor dan terpercaya)

(beda) ← Revisi sebelumnya | Revisi terkini (beda) | Revisi selanjutnya → (beda)

Metoda Formal adalah suatu pemodelan matematika, yang dapat digunakan untuk menjembatani pembuatan perangkat keras dan piranti lunak. Dapat digunakan dari perancangan awal sampai pengujian hasil.

Diperoleh dari "https://wiki-indonesia.club/w/index.php?title=Metode_formal&oldid=905487"