PROYEK PERANGKAT LUNAK DENGAN MODEL PENGEMBANGAN TRANSFORMASI FORMAL

Presentasi berjudul: "PROYEK PERANGKAT LUNAK DENGAN MODEL PENGEMBANGAN TRANSFORMASI FORMAL"— Transcript presentasi:

1 PROYEK PERANGKAT LUNAK DENGAN MODEL PENGEMBANGAN TRANSFORMASI FORMAL
Ginanjar Mukti Prakoso | Muhammad Abdurahman Al Hafidh | Santoso Pamungkas |

2 Perangkat Lunak 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

3 Model Proses Perangkat Lunak
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

4 Pendekatan Pengembangan Sistem Formal
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

5 Penggunaan Metode Formal
Keunggulannya adalah mengurangi jumlah kesalahan pada sistem sehingga penggunaan utamanya adalah pada sistem yang kritis Hal itu menjadi efektif dari segi biaya

6 Pengembangan Metode Formal
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 Daftar pustaka Bramantyo – Rekayasa Perangkat Lunak – Pendahuluan 2005

8 Pertanyaan ? Jelaskan tentang model-model pengembanga perangkat lunak dan kelebihannya masing- masing ?

9 Jawaban Model Air terjun (Water fall) – Cocok digunakan apabila kebutuhan pengguna sudah dimengerti dengan baik

10 Pengembangan yang berevolusi – Lebih cocok untuk sistem interaktif yang kecil atau menengah dan bagian dari sistem yang besar (misal User Interface)

11 Pengembangan Sistem Formal - Mengurangi jumlah kesalahan pada sistem sehingga cocok pada sistem yang kritis

12 Pengembangan spiral – Project selalu di review sehingga selalu ada perencaan untuk project selanjutnya