PROYEK PERANGKAT LUNAK DENGAN MODEL PENGEMBANGAN TRANSFORMASI FORMAL

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

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

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

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

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

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 formal model pengembangan metode ◦ Memerlukan tingkat kerahasian dan keamanan yang tinggi sebelum digunakan.

Daftar pustaka � Bramantyo – Rekayasa Perangkat Lunak – Pendahuluan 2005

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

Jawaban � 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