Metode formal: Perbedaan antara revisi
Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 23724814; atribusi sumber disertakan. |
Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi |
||
| Baris 1: | Baris 1: | ||
'''Metode formal''', dalam [[ilmu komputer]] dan rekayasa [[peranti lunak]], adalah suatu pemodelan [[matematika]], yang dapat digunakan untuk menjembatani (spesifikasi formal) pembuatan, pengembangan dan verifikasi [[perangkat keras]] dan peranti lunak, yang dapat digunakan dari perancangan awal sampai pengujian hasil. Penggunaan metode formal untuk perancangan peranti lunak dan perangkat keras didasari atas suatu pengharapan, sebagaimana terdapat dalam disiplin ilmu-ilmu rekayasa lainnya, dengan melaksanakan analisis matematis yang sesuai dapat berkontribusi pada kepercayaan (reliabilitas) dan ketahanan (robusitas) suatu rancangan. | '''Metode formal''', dalam [[ilmu komputer]] dan rekayasa [[peranti lunak]], adalah suatu pemodelan [[matematika]], yang dapat digunakan untuk menjembatani (spesifikasi formal) pembuatan, pengembangan dan verifikasi [[perangkat keras]] dan peranti lunak, yang dapat digunakan dari perancangan awal sampai pengujian hasil.<ref>R. W. Butler. [http://shemesh.larc.nasa.gov/fm/fm-what.html What is Formal Methods?]. 2001-08-06.</ref> Penggunaan metode formal untuk perancangan peranti lunak dan perangkat keras didasari atas suatu pengharapan, sebagaimana terdapat dalam disiplin ilmu-ilmu rekayasa lainnya, dengan melaksanakan analisis matematis yang sesuai dapat berkontribusi pada kepercayaan (reliabilitas) dan ketahanan (robusitas) suatu rancangan.<ref>C. Michael Holloway. [http://klabs.org/richcontent/verification/holloway/nasa-97-16dasc-cmh.pdf Why Engineers Should Consider Formal Methods]. 16th Digital Avionics Systems Conference (27-30 October 1997). [http://klabs.org/richcontent/verification/holloway/nasa-97-16dasc-cmh.pdf Salinan arsip].</ref> | ||
== Referensi == | |||
<references /> | |||
== Sumber dan atribusi == | == Sumber dan atribusi == | ||
Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Metode+formal&oldid=23724814 Wikipedia bahasa Indonesia], revisi 23724814 (2023-06-22T02:02:04Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku. | Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Metode+formal&oldid=23724814 Wikipedia bahasa Indonesia], revisi 23724814 (2023-06-22T02:02:04Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku. | ||
<!-- WIKI_UNISSULA_PRESENTATION_V4 --> | |||
Revisi terkini sejak 24 Agustus 2026 09.01
Metode formal, dalam ilmu komputer dan rekayasa peranti lunak, adalah suatu pemodelan matematika, yang dapat digunakan untuk menjembatani (spesifikasi formal) pembuatan, pengembangan dan verifikasi perangkat keras dan peranti lunak, yang dapat digunakan dari perancangan awal sampai pengujian hasil.[1] Penggunaan metode formal untuk perancangan peranti lunak dan perangkat keras didasari atas suatu pengharapan, sebagaimana terdapat dalam disiplin ilmu-ilmu rekayasa lainnya, dengan melaksanakan analisis matematis yang sesuai dapat berkontribusi pada kepercayaan (reliabilitas) dan ketahanan (robusitas) suatu rancangan.[2]
Referensi
- ↑ R. W. Butler. What is Formal Methods?. 2001-08-06.
- ↑ C. Michael Holloway. Why Engineers Should Consider Formal Methods. 16th Digital Avionics Systems Conference (27-30 October 1997). Salinan arsip.
Sumber dan atribusi
Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 23724814 (2023-06-22T02:02:04Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.