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 .[1]
Pranala luar
Referensi
- ↑ R. Banach. Retrenchment. FM’99 — Formal Methods. Springer. 1999. hlm. 1864–1865. doi:10.1007/3-540-48118-4_56. ISBN 978-3-540-48118-8.
Sumber dan atribusi
Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 27848493 (2025-09-18T11:03:43Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.