Transformasi Formal

advertisement
Ginanjar Mukti Prakoso | 12112043
Muhammad Abdurahman Al Hafidh | 12111001
Santoso Pamungkas | 12121009


Merupakan program-program komputer dan
dokumentasi yang berkaitan, dibuat untuk
pelanggan tertentu ataupun untuk pasar
umum.
Produk perangkat lunak:
◦ Generik : dibuat untuk dijual ke suatu kumpulan
pengguna yang berbeda
◦ Custom : dibuat untuk suatu pengguna tunggal
sesuai dengan spesifikasinya


Suatu representasi proses perangkat lunak yang
disederhanakan, dipresentasikan dari perspektif
khusus
Contoh perspektif proses:
◦ Perspektif Alur-kerja (workflow) - barisan kegiatan
◦ Perspektif Alur Data (Data flow) – alur informasi
◦ Perspektif Peran/Aksi – siapa melakukan apa.

Model proses Generik:
◦
◦
◦
◦
Waterfall (Air terjun)
Pengembangan secara evolusi
Transformasi formal
Model Spiral



Berbasiskan pada transformasi spesifikasi
secara matematik melalui representasi yang
berbeda untuk suatu program yang dapat
dieksekusi,
Trasformasi menyatakan spesifikasi program
Menggunakan pendekatan ‘Cleanroom’
untuk pengembangan PL


Keunggulannya adalah mengurangi jumlah
kesalahan pada sistem sehingga penggunaan
utamanya adalah pada sistem yang kritis
Hal itu menjadi efektif dari segi biaya

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.

Bramantyo – Rekayasa Perangkat Lunak –
Pendahuluan 2005

Jelaskan tentang model-model pengembanga
perangkat lunak dan kelebihannya masingmasing ?

Model Air terjun (Water fall) – Cocok digunakan apabila kebutuhan pengguna
sudah dimengerti dengan baik

Pengembangan yang berevolusi – Lebih cocok untuk
sistem interaktif yang kecil atau menengah dan bagian
dari sistem yang besar (misal User Interface)

Pengembangan Sistem Formal - Mengurangi
jumlah kesalahan pada sistem sehingga cocok
pada sistem yang kritis
Pengembangan spiral – Project selalu di review sehingga selalu ada
perencaan untuk project selanjutnya
Download