pendekatan formal

dari kedua pendekatan yang sudah dijelaskan sebelumnya, maka pendekatan secara formal ini merupakan suatu pendekatan di dalam rekayasa perangkat lunak melakukannya dengan cara membuat logika yang disusun secara sistematis terlebih dahulu. Setelah itu system yang dibuat akan dideskripsikan terlebih dahulu baik itu sehingga dapat dibuat sebuah model yang akurat dan sistematis.
Metode pendekatan formal ini sangat tepat jika digunakan dalam sebuah system yang penting yang dan jika terjadi kesalahan akan berakibat fatal dan akan berdampak buruk bagi banyak orang seperti layanan bank dan instansi pemerintahan.