Metode formal: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
k Clean up, replaced: Metoda → Metode (2) using AWB |
Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5 |
||
| (7 revisi perantara oleh 6 pengguna tidak ditampilkan) | |||
| 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.<ref name="butler">{{cite web|author=R. W. Butler|title=What is Formal Methods?|url=http://shemesh.larc.nasa.gov/fm/fm-what.html|date=2001-08-06|accessdate=2006-11-16}}</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>{{cite paper|author=C. Michael Holloway|title=Why Engineers Should Consider Formal Methods|url=http://klabs.org/richcontent/verification/holloway/nasa-97-16dasc-cmh.pdf|publisher=16th Digital Avionics Systems Conference (27-30 October 1997)|accessdate=2006-11-16}} {{Cite web |url=http://klabs.org/richcontent/verification/holloway/nasa-97-16dasc-cmh.pdf |title=Salinan arsip |access-date=2007-09-03 |archive-date=2012-06-06 |archive-url=https://web.archive.org/web/20120606001801/http://klabs.org/richcontent/verification/holloway/nasa-97-16dasc-cmh.pdf |dead-url=yes }}</ref> |
||
{{Orphan|date=Oktober 2016}} |
|||
| ⚫ | '''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 |
||
== Rujukan == |
== Rujukan == |
||
{{reflist}} |
{{reflist}}{{Rekayasa perangkat lunak}} |
||
[[Kategori:Model matematika]] |
[[Kategori:Model matematika]] |
||
Revisi terkini sejak 22 Juni 2023 02.02
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]
Rujukan
[sunting | sunting sumber]- ^ R. W. Butler (2001-08-06). "What is Formal Methods?". Diakses tanggal 2006-11-16.
- ^ C. Michael Holloway. "Why Engineers Should Consider Formal Methods". 16th Digital Avionics Systems Conference (27-30 October 1997). Diakses pada 16 November 2006. "Salinan arsip" (PDF). Diarsipkan dari versi asli (PDF) tanggal 2012-06-06. Diakses tanggal 2007-09-03.
 | Artikel bertopik komputer ini adalah sebuah rintisan. Anda dapat membantu Wikipedia dengan mengembangkannya. |