Pemutusan Hubungan Kerja (komputasi)

Retrenchment adalah sebuah teknik yang terkait dengan Metode Formal, yang diperkenalkan untuk mengatasi keterbatasan-keterbatasan yang dirasakan dari penyempurnaan berbasis model formal. Teknik ini dirancang untuk situasi di mana penyempurnaan formal mungkin dianggap diinginkan pada prinsipnya, tetapi tidak dapat diterapkan atau hampir tidak dapat diterapkan dalam praktik.

Retrenchment terutama dikembangkan di School of Computer Science, University Manchester, dan telah menjadi bagian penting dalam pendekatan formal untuk rekayasa perangkat lunak. Perspektif terbaru tentang retrenchment dapat ditemukan dalam artikel yang diterbitkan di ACM TOSEM .

 Pranala luar 

 The Retrenchment Halaman beranda
 Graded Refinement, Retrenchment and Simulation

 Referensi 

Kategori:Filosofi pengembangan perangkat lunak
Kategori:Ilmu komputer