Kaedah formal
Daripada Wikipedia, ensiklopedia bebas.
Dalam sains komputer dan kejuruteraan perisian, kaedah formal adalah teknik-teknik berasaskan matematik untuk spesifikasi, pembangunan dan pengesahan sistem perisian dan perkakasan.
|
|
Rencana ini merupakan rencana tunas. Anda boleh membantu Wikipedia dengan mengembangkannya. |
