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

Sumber dan atribusi

Artikel ini diadaptasi dalam mode teks dari Wikipedia bahasa Indonesia, revisi 27848493 (2025-09-18T11:03:43Z). Gambar, media, infobox, templat navigasi, dan kategori sumber tidak diimpor ke Wiki Unissula. Atribusi dan lisensi mengikuti ketentuan Creative Commons Atribusi-BerbagiSerupa (CC BY-SA) pada sumber Wikipedia.