Biçimsel yöntemler
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
- ^ R. W. Butler (2001-08-06). "What is Formal Methods?". Retrieved 2006-11-16.
- ^ C. Michael Holloway. "Why Engineers Should Consider Formal Methods" (PDF). 16th Digital Avionics Systems Conference (27–30 October 1997). Retrieved 2006-11-16.
- ^ Monin, pp.3-4
Bilgisayar biliminin alt dalları | ||
|---|---|---|
| Matematiksel temeller |  | |
| Hesaplama teorisi | ||
| Algoritmalar ve veri yapıları | ||
| Programlama dilleri ve derleyiciler | ||
| Eşzamanlı, paralel ve dağıtık sistemler | ||
| Yazılım mühendisliği | ||
| Sistem mimarisi | ||
| Telekomünikasyon ve ağ oluşturma | ||
| Veritabanları | ||
| Yapay zekâ | ||
| Bilgisayar grafikleri | ||
| İnsan-bilgisayar etkileşimi | ||
| Bilimsel hesaplama | ||
Bilgisayar bilimi, ACM Hesaplama ve Sınıflandırma Sistemi'ne göre farklı konu ve alanlara ayrılabilir. | ||
 | Bilgisayar ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |