Ensiklopedia Dunia

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

^ Banach, R.; Poppleton, M. (1999). Wing, Jeannette M.; Woodcock, Jim; Davies, Jim (ed.). "Retrenchment". FM’99 — Formal Methods (dalam bahasa Inggris). Berlin, Heidelberg: Springer: 1864–1865. doi:10.1007/3-540-48118-4_56. ISBN 978-3-540-48118-8.

[1] Banach, R.; Poppleton, M. (1999). Wing, Jeannette M.; Woodcock, Jim; Davies, Jim (ed.). "Retrenchment". FM’99 — Formal Methods (dalam bahasa Inggris). Berlin, Heidelberg: Springer: 1864–1865. doi:10.1007/3-540-48118-4_56. ISBN 978-3-540-48118-8.

[1]

Ensiklopedia Dunia

Pemutusan Hubungan Kerja (komputasi)

Pranala luar

Referensi

Beranda

Program Studi