Presentasi sedang didownload. Silahkan tunggu

Presentasi sedang didownload. Silahkan tunggu

KELOMPOK 2: 1.Diyan Ari Susanti(11121003) 2.Diana Ratna Sari(11121005) 3.Markus Monemnasi(11121014 )

Presentasi serupa


Presentasi berjudul: "KELOMPOK 2: 1.Diyan Ari Susanti(11121003) 2.Diana Ratna Sari(11121005) 3.Markus Monemnasi(11121014 )"— Transcript presentasi:

1 KELOMPOK 2: 1.Diyan Ari Susanti( ) 2.Diana Ratna Sari( ) 3.Markus Monemnasi( )

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

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 Requirements definition Formal specification Formal specification Formal transormation Formal transormation Integration and System testing 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 1.http://elista.akprind.ac.idhttp://elista.akprind.ac.id 2.http://rifky288.blogspot.comhttp://rifky288.blogspot.com


Download ppt "KELOMPOK 2: 1.Diyan Ari Susanti(11121003) 2.Diana Ratna Sari(11121005) 3.Markus Monemnasi(11121014 )"

Presentasi serupa


Iklan oleh Google