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
[değiştir | kaynağı değiştir]- ^ R. W. Butler (2001-08-06). "What is Formal Methods? 8 Aralık 2006 tarihinde Wayback Machine sitesinde arşivlendi.". Retrieved 2006-11-16.
- ^ C. Michael Holloway. "Why Engineers Should Consider Formal Methods 16 Kasım 2006 tarihinde Wayback Machine sitesinde arşivlendi." (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. |