transformasi formal

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

Upload: arissa

Post on 06-Jan-2016

122 views

Category:

Documents


2 download

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

TRANSCRIPT

Page 1: TRANSFORMASI FORMAL

TRANSFORMASI FORMAL

KELOMPOK 2:1. Diyan Ari Susanti (11121003)2. Diana Ratna Sari (11121005)

3. Markus Monemnasi (11121014)

Page 2: TRANSFORMASI FORMAL

PENGERTIAN TRANSFORMASI FORMAL

BAGAN PENDEKATAN “CLEANROOM”

KELEMAHAN & KEUNTUNGAN PENDEKATAN “CLEANROOM”

Pengembangan Metode Formal

PEMBAHASAN

DAFTAR PUSTAKA

Page 3: TRANSFORMASI FORMAL

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.

Page 4: TRANSFORMASI FORMAL

Requirementsdefinition

Formal specification

Formaltransormation

Integration andSystem testing

Page 5: TRANSFORMASI FORMAL

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.

Page 6: TRANSFORMASI FORMAL

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

Page 7: TRANSFORMASI FORMAL

1. http://elista.akprind.ac.id2. http://rifky288.blogspot.com