Kaedah formal
Dalam sains komputer dan kejuruteraan perisian, kaedah formal adalah teknik-teknik berasaskan matematik untuk spesifikasi, pembangunan dan pengesahan sistem perisian dan perkakasan.
| Rencana ini ialah rencana tunas. Anda boleh membantu Wikipedia dengan mengembangkannya. |
Jika anda melihat rencana yang menggunakan templat {{tunas}} ini, gantikanlah ia dengan templat tunas yang lebih spesifik.