Metode Formal dalam Pengembangan Software

Februari 7, 2007 — amutiara

Di Indonesia, metode ini yang belum banyak di jamah dalam kajian penelitian dan pengembangan Software. Berikut link-link menarik jika dan tertarik dengan metode ini:

1. Formal specification research di NUS

2. Formal Methos Group di TU Eindhoven

3. Tools, misal:

  • Alloy Analyzer di MIT (banyak studi kasusnya) , a simple structural modeling language based on first-order logic.
Ditulis dalam Computer Science and Software Engineering, Formal Method (FM). Comments Off
« Tulisan-tulisan yang lebih lama