formal methods

formel yöntemler

1. • bilişim
   Bilgisayar yazılım ve sayısal elektronik donanım sistemlerinin geliştirilmesi ve belirtimlere (spesifikasyon) uyup uymadığının doğrulanmasına yönelik matematiksel mantığa dayalı kesin yöntemler.
   İngilizce formal methods

   Fransızca méthodes formelles, pl

   Almanca formale Methoden, pl