Metode formal
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
- ^ 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.
- l
- b
- s
- Analisis persyaratan
- Analisis sistem
- Desain perangkat lunak
- Pemrograman komputer
- Metode formal
- Pengujian perangkat lunak
- Penyebaran perangkat lunak
- Pemeliharaan perangkat lunak
- Pemodelan data
- Arsitektur perusahaan
- Spesifikasi fungsional
- Bahasa pemodelan
- Paradigma pemrograman
- Perangkat lunak
- Arsitektur perangkat lunak
- Metodologi pengembangan perangkat lunak
- Proses pengembangan perangkat lunak
- Kualitas perangkat lunak
- Jaminan kualitas perangkat lunak
- Arkeologi perangkat lunak
- Analisis terstruktur
- Agile
- Berorientasi aspek
- Berorientasi objek
- Ontologi
- Orientasi layanan
- SDLC
Model pengembangan |
|
---|---|
Model lain |
|
Bahasa pemodelan |
|
Perangkat lunak
- Kent Beck
- Grady Booch
- Fred Brooks
- Barry Boehm
- Peter Chen
- Ward Cunningham
- Ole-Johan Dahl
- Tom DeMarco
- Martin Fowler
- C. A. R. Hoare
- Watts Humphrey
- Michael A. Jackson
- Ivar Jacobson
- James Martin
- Bertrand Meyer
- David Parnas
- Winston W. Royce
- Colette Rolland
- James Rumbaugh
- Niklaus Wirth
- Edward Yourdon
- Victor Basili
- Ilmu komputer
- Teknik komputer
- Rekayasa usaha
- Sejarah
- Manajemen
- Manajemen proyek
- Manajemen mutu
- Ergonomi perangkat lunak
- Rekayasa sistem
- Kategori
- Commons
Artikel bertopik komputer ini adalah sebuah rintisan. Anda dapat membantu Wikipedia dengan mengembangkannya. |
- l
- b
- s