Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5
(11 revisi perantara oleh 8 pengguna tidak ditampilkan)
Baris 1:
'''MetodaMetode formal''', dalam [[ilmu komputer]] dan rekayasa [[pirantiperanti lunak]], adalah suatu pemodelan [[matematika]], yang dapat digunakan untuk menjembatani (spesifikasi formal) pembuatan, pengembangan dan verifikasi [[perangkat keras]] dan pirantiperanti 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 metodametode formal untuk perancangan pirantiperanti 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>.