Metode formal: Perbedaan antara revisi

← Revisi sebelumnya Revisi selanjutnya →

Konten dihapus Konten ditambahkan

Sebaris

Revisi per 14 Februari 2008 16.00

Metoda formal, dalam ilmu komputer dan rekayasa piranti lunak, adalah suatu pemodelan matematika, yang dapat digunakan untuk menjembatani (spesifikasi formal) pembuatan, pengembangan dan verifikasi perangkat keras dan piranti lunak, yang dapat digunakan dari perancangan awal sampai pengujian hasil ^[1]. Penggunaan metoda formal untuk perancangan piranti lunak dan perangkat keras didasari atas suatu pengharapan, sebagaimana terdapat dalam disiplin ilmu-ilmu rekayasa lainnya, dengan melaksanakan analisa matematis yang sesuai dapat berkontribusi pada kepercayaan (reliabilitas) dan ketahanan (robusitas) suatu rancangan ^[2].

Rujukan

^ 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.

Artikel bertopik umum ini adalah sebuah rintisan. Anda dapat membantu Wikipedia dengan mengembangkannya.

Jika Anda melihat halaman yang menggunakan templat {{stub}} ini, mohon gantikan dengan templat rintisan yang lebih spesifik.

[butler-1] R. W. Butler (2001-08-06). "What is Formal Methods?". Diakses tanggal 2006-11-16.

[2] C. Michael Holloway. "Why Engineers Should Consider Formal Methods". 16th Digital Avionics Systems Conference (27-30 October 1997). Diakses pada 16 November 2006.

[1]

[2]

@@ Baris 13: / Baris 13: @@
 [[pl:Metody formalne]]
 [[pt:Métodos formais]]
-[[vi:Các phương pháp hình thức]]
 [[uk:Формальні методи]]
+[[vi:Các phương pháp hình thức]]