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