kể cả phõn chia nhỏ 7. Xộtduyệt và đỏnh giỏ 6. Kiểm định sản phẩm và quy trỡnh
Xỏc định mạng lưới những hoạt động đồng thời
(Network of concurrent activities)
Cỏc sự kiện (events) xuất hiện theo điều kiện vận động trạng thỏi trong từng hoạt động
Dựng cho mọi loại ứng dụng và cho hỡnh ảnh khỏ chớnh xỏc về trạng thỏi hiện trạng của dự ỏn
Thường dựng trong phỏt triển cỏc ứng dụng khỏch/chủ
(client/server applications): system and componets are developed concurrently
Gắn với những cụng nghệ hướng đối tượng (Object- oriented technologies) qua việc tạo cỏc lớp (classes) cú chứa cả dữ liệu và giải thuật xử lý dữ liệu
Cú nhiều tương đồng với mụ hỡnh xoắn ốc
Với ưu điểm tỏi sử dụng cỏc thành phần qua Thư
viện / kho cỏc lớp: tiết kiệm 70% thời gian, 80% giỏ thành, chỉ số sản xuất 26.2/16.9
Giao tiếp khỏch hàng Lập kế hoạch Phõn tớch rủi ro Kỹ nghệ Xõy dựng & Xuất xưởng Khỏch hàng đỏnh giỏ Xỏc định thành phần ứng viờn Tỡm thành phần từ thư viện Lấy thành phần nếu cú Xõy dựng thành phần nếu kh.cú Đặt thành phần vào thưviện
Xõy dựng bước lặp thứ n
Cũn gọi là CNHPM phũng sạch (Cleanroom SE)
Tập hợp cỏc cụng cụ nhằm đặc tả toỏn học phần mềm mỏy tớnh từ khõu định nghĩa, phỏt triển đến kiểm
chứng
Giỳp kỹ sư phần mềm phỏt hiện và sửa cỏc lỗi khú
Thường dựng trong phỏt triển SW cần độ an toàn rất cao (y tế, hàng khụng, . . .)
Cần nhiều thời gian và cụng sức để phỏt triển
Phớ đào tạo cao vỡ ớt người cú nền căn bản cho ỏp dụng mụ hỡnh hỡnh thức
Khú sử dụng rộng rói vỡ cần kiến thức toỏn và kỹ năng của khỏch hàng
Tập hợp cỏc cụng cụ cho phộp xỏc định đặc tớnhphần mềm ở mức cao, sau đú sinh tự động mó