Transformasi Formal
Download
Report
Transcript Transformasi Formal
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