Software engineering model and methods adalah proses pemodelan sistem perangkat lunak dengan menggunakan metode formal, grafis, dan matematis untuk merancang sistem perangkat lunak yang lebih baik dengan mengurangi risiko kesalahan. Dokumen ini membahas prinsip-prinsip pemodelan perangkat lunak, jenis-jenis model yang ada, analisis model, dan metode-metode rekayasa perangkat lunak seperti metode heuristik, metode formal, metode prototyping, dan met

1. Software Engineering Model and
Methods
Muhammad Ainul Yaqin

2. Definisi
• Proses pemodelan sistem perangkat lunak
dengan menggunakan metode formal, grafis,
dan matematis untuk menggambarkan dan
mengatur berbagai aspek dari sistem tersebut.
• Membantu para pengembang dalam
merancang dan membangun sistem perangkat
lunak yang lebih baik dengan mengurangi
risiko kesalahan dan meningkatkan efisiensi
dan efektivitas pengembangan.

3. Prinsip Model Software
• Model yang esensial
• Menyediakan perspektif
• Memungkinkan komunikasi efektif

4. Properti dan Ekspresi
Model
• Kelengkapan
• Konsistensi
• Correctness

5. Jenis Model
• Pemodelan informasi
• Pemodelan perilaku
• Pemodelan struktur

6. Analisis Model
• Analisis kelengkapan (completeness)
• Analisis konsistensi
• Analisis kebenaran (correctness)
• Traceability
• Analisis interaksi

7. Metode Rekayasa
Software
• Metode heuristik
– Analisis dan desain terstruktur
– Pemodelan data
– Analisis dan desain berorientasi objek
• Metode formal
– Bahasa spesifikasi
– Penyempurnaan dan turunan program
– Verifikasi formal
– Inferensi logis

8. Metode Rekayasa
Software
• Metode prototyping
– Gaya prototype
– Target prototype
– Teknik evaluasi protitype
• Metode Agile
– Rapid Application Development (RAD)
– Extreme Programming
– Scrum
– Feature-driven Development (FDD)