Transcript Transformasi Formal

TRANSFORMASI FORMAL
KELOMPOK 2:
1. Diyan Ari Susanti
2. Diana Ratna Sari
(11121003)
(11121005)
3. Markus Monemnasi
(11121014)
PEMBAHASAN
PENGERTIAN
TRANSFORMASI
FORMAL
Pengembangan
Metode Formal
BAGAN
PENDEKATAN
“CLEANROOM”
DAFTAR PUSTAKA
KELEMAHAN &
KEUNTUNGAN
PENDEKATAN
“CLEANROOM”
Adalah suatu metode yang berbasiskan pada
transformasi spesiikasi secara matematik melalui
representasi yang berbeda untuk suatu program
yang dapat dieksekusi.
Trasformasi menyatakan spesifikasi program
Menggunakan pendekatan ‘Cleanroom’ untuk
pengembangan PL.
Requirements
definition
Formal
specification
Formal
transormation
Integration and
System 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 pengembangan
metode formal:
 Memerlukan keahlian khusus dan pelatihan
untuk mengaplikasikannya
 Sulit menentukan beberapa aspek dari suatu
sistem seperti user interface
Pemakaian model pengembangan metode
Formal:
 Memerlukan
tingkat
kerahasian
dan
keamanan yang tinggi sebelum digunakan
1. http://elista.akprind.ac.id
2. http://rifky288.blogspot.com