Pemutusan Hubungan Kerja (komputasi): Perbedaan antara revisi
Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 27848493; atribusi sumber disertakan. |
Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi |
||
| Baris 1: | Baris 1: | ||
'''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''' 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]], [[Universitas Manchester|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 . | Retrenchment terutama dikembangkan di [[School of Computer Science]], [[Universitas Manchester|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 .<ref>R. Banach. [https://link.springer.com/chapter/10.1007/3-540-48118-4_56 Retrenchment]. ''FM’99 — Formal Methods''. Springer. 1999. hlm. 1864–1865. doi:10.1007/3-540-48118-4_56. ISBN 978-3-540-48118-8.</ref> | ||
== Pranala luar == | == Pranala luar == | ||
* [http://www.cs.man.ac.uk/~banach/retrenchment/ The Retrenchment Halaman beranda] | * [http://www.cs.man.ac.uk/~banach/retrenchment/ The Retrenchment Halaman beranda] | ||
* [https://research.manchester.ac.uk/en/publications/graded-refinement-retrenchment-and-simulation Graded Refinement, Retrenchment and Simulation] | * [https://research.manchester.ac.uk/en/publications/graded-refinement-retrenchment-and-simulation Graded Refinement, Retrenchment and Simulation] | ||
== Referensi == | == Referensi == | ||
<references /> | |||
== Sumber dan atribusi == | == Sumber dan atribusi == | ||
Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Pemutusan+Hubungan+Kerja+%28komputasi%29&oldid=27848493 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. | |||
[https://id.wikipedia.org/w/index.php?title= | |||
revisi 27848493 (2025-09-18T11:03:43Z) | <!-- WIKI_UNISSULA_PRESENTATION_V4 --> | ||
Atribusi-BerbagiSerupa (CC BY-SA) | |||
Revisi terkini sejak 23 Agustus 2026 03.04
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.