Upload
arissa
View
118
Download
2
Embed Size (px)
DESCRIPTION
TRANSFORMASI FORMAL. KELOMPOK 2: Diyan Ari Susanti (11121003) Diana Ratna Sari(11121005) Markus Monemnasi (11121014 ). PEMBAHASAN. PENGERTIAN TRANSFORMASI FORMAL. Pengembangan Metode Formal. DAFTAR PUSTAKA. BAGAN PENDEKATAN “CLEANROOM”. - PowerPoint PPT Presentation
Citation preview
TRANSFORMASI FORMAL
KELOMPOK 2:1. Diyan Ari Susanti (11121003)2. Diana Ratna Sari (11121005)
3. Markus Monemnasi (11121014)
PENGERTIAN TRANSFORMASI FORMAL
BAGAN PENDEKATAN “CLEANROOM”
KELEMAHAN & KEUNTUNGAN PENDEKATAN “CLEANROOM”
Pengembangan Metode Formal
PEMBAHASAN
DAFTAR PUSTAKA
Adalah suatu metode yang berbasiskan pada transformasi spesiikasi secara matematik melalui representasi yang berbeda untuk suatu program yang dapat dieksekusi.
Trasformasi menyatakan spesifikasi programMenggunakan pendekatan ‘Cleanroom’ untukpengembangan PL.
Requirementsdefinition
Formal specification
Formaltransormation
Integration andSystem testing
Metode cleanroom mempunyai keterbatasan dalam pemakaiannya.
Keunggulannya adalah mengurangi jumlah kesalahan pada sistem sehingga penggunaan utamanya adalah pada sistem yang kritis(dalam hal ini menjadi efektif dari segi biaya).
Pemakaian model pengembangan formal memerlukan tingkat kerahasian sebelum digunakan.
Permasalahan dalam model pengembangan metode formal:Memerlukan keahlian khusus dan pelatihan untuk
mengaplikasikannya.Sulit menentukan beberapa aspek dari suatu sistem seperti
user interface.
Permasalahan dalam model pengembanganmetode formal: Memerlukan keahlian khusus dan pelatihan
untuk mengaplikasikannya Sulit menentukan beberapa aspek dari suatu
sistem seperti user interfacePemakaian model pengembangan metodeFormal: Memerlukan tingkat kerahasian dan
keamanan yang tinggi sebelum digunakan
1. http://elista.akprind.ac.id2. http://rifky288.blogspot.com