Deskripsi
Isu dalam pemodelan dan verifikasi kualitas dan variabilitas dalam sistem berorientasi objek. Model yang dapat diuji dalam pendekatan model-driven dan test-driven. Rekayasa keluarga sistem. Kesesuaian fungsional: pemodelan skenario dan verifikasi, desain berdasarkan kontrak. Kesesuaian terhadap persyaratan non-fungsional: tujuan, kekuatan dan trade-off, metrik.
Teks rujukan dalam bahasa aslinya
Issues in modeling and verifying quality and variability in object-oriented systems. Testable models in model-driven and test-driven approaches. System family engineering. Functional conformance: scenario modeling and verification, design by contract. Conformance to non functional requirements: goals, forces and tradeoffs, metrics.
Sumber dan referensi
Tanggal dan sumber disimpan untuk membantu Anda memverifikasi informasi. Terjemahan disediakan untuk memudahkan pembacaan; sumber resmi menjadi rujukan untuk syarat dan ketentuan.
Referensi sumber : https://calendar.carleton.ca/grad/courses/COMP/