Kaedah formal

Daripada Wikipedia, ensiklopedia bebas.
Lompat ke: pandu arah, cari

Dalam sains komputer dan kejuruteraan perisian, kaedah formal adalah teknik-teknik berasaskan matematik untuk spesifikasi, pembangunan dan pengesahan sistem perisian dan perkakasan.


Wiki letter w.svg

 Rencana ini merupakan rencana tunas. Anda boleh membantu Wikipedia dengan mengembangkannya.