TRANSFORMASI FORMAL KELOMPOK 2: Diyan Ari Susanti ( )

Presentasi berjudul: "TRANSFORMASI FORMAL KELOMPOK 2: Diyan Ari Susanti ( )"— Transcript presentasi:

1 TRANSFORMASI FORMAL KELOMPOK 2: Diyan Ari Susanti (11121003)
Diana Ratna Sari ( ) Markus Monemnasi ( )

2 PEMBAHASAN PENGERTIAN Pengembangan Metode Formal TRANSFORMASI FORMAL
BAGAN PENDEKATAN “CLEANROOM” DAFTAR PUSTAKA KELEMAHAN & KEUNTUNGAN PENDEKATAN “CLEANROOM”

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

4 Requirements definition Formal specification Formal transormation Integration and System testing

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

6 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

7