Biçimsel yöntemler

Vikipedi, özgür ansiklopedi
Şuraya atla: kullan, ara

Bilgisayar bilimlerinde, özellikle yazılım mühendisliği ve donanım mühendisliğinde biçimsel yöntemler; yazılım ve donanım sistemlerinin spesifikasyonu, geliştirilmesi ve doğrulanması için matematiksel olarak belirli teknikler bütünüdür.[1] Yazılım ve donanım tasarımı için biçimsel yöntemlerin kullanılması, diğer mühendislik disiplinlerinde olduğu gibi, uygun matematiksel analizin yapıldığı bir tasarımın güvenilirliğine ve sağlamlığına katkıda bulunabileceği beklentisiyle geliştirilir.[2]

Biçimsel yöntemler, en temel teorik bilgisayar bilimi konularının, özellikle mantık, biçimsel diller, otomata teorisi ve program semantiği gibi oldukça geniş bir çeşitliliğin uygulanmasıdır.Aynı zamanda, yazılım ve donanım özelliklerinde sorunların üstesinden gelmek için tip sistemleri, cebirsel veri türleri ve doğrulama gibi alanlarda kullanılmaktadır.[3]

Kaynakça[değiştir | kaynağı değiştir]

  1. ^ R. W. Butler (2001-08-06). "What is Formal Methods?". Retrieved 2006-11-16.
  2. ^ C. Michael Holloway. "Why Engineers Should Consider Formal Methods" (PDF). 16th Digital Avionics Systems Conference (27–30 October 1997). Retrieved 2006-11-16.
  3. ^ Monin, pp.3-4