TAILIEUCHUNG - Bài giảng Nhập môn công nghệ phần mềm: Chương 4 - Nguyễn Thanh Bình

Bài giảng "Nhập môn công nghệ phần mềm - Chương 4: Các kỹ thuật đặc tả" cung cấp cho người học các kiến thức: Khái niệm đặc tả, tại sao phải đặc tả, phân loại các kỹ thuật đặc tả, các kỹ thuật đặc tả. . | Bài giảng Nhập môn công nghệ phần mềm: Chương 4 - Nguyễn Thanh Bình Các kỹ thuật ñặc tả (4) Nguyễn Thanh Bình Khoa Công nghệ Thông tin Trường ðại học Bách khoa ðại học ðà Nẵng Nội dung Khái niệm ñặc tả Tại sao phải ñặc tả ? Phân loại các kỹ thuật ñặc tả Các kỹ thuật ñặc tả 2 1 Khái niệm ñặc tả ðặc tả (specification) ñịnh nghĩa một hệ thống, mô-ñun hay một sản phẩm cần phải làm cái gì không mô tả nó phải làm như thế nào mô tả những tính chất của vấn ñề ñặt ra không mô tả những tính chất của giải pháp cho vấn ñề ñó 3 Khái niệm ñặc tả ðặc tả là hoạt ñộng ñược tiến hành trong các giai ñoạn khác nhau của tiến trình phần mềm: ðặc tả yêu cầu (requirement specification) • sự thống nhất giữa những ngưới sử dụng tương lai và những người thiết kế ðặc tả kiến trúc hệ thống (system architect specification) • sự thống nhất giữa những người thiết kế và những người cài ñặt ðặc tả môñun (module specification) • sự thống nhất giữa những người lập trình cài ñặt mô-ñun và những người lập trình sử dụng mô-ñun 4 2 Tại sao phải ñặc tả ? Hợp ñồng sự thống nhất giữa người sử dụng và người phát triển sản phẩm Hợp thức hóa sản phẩm làm ra phải thực hiện chính xác những gì mong muốn Trao ñổi giữa người sử dụng và người phát triển giữa những người phát triển Tái sử dụng 5 Phân loại các kỹ thuật ñặc tả ðặc tả phi hình thức (informal) ngôn ngữ tự nhiên tự do ngôn ngữ tự nhiên có cấu trúc các kí hiệu ñồ họa ðặc tả nữa hình thức (semi-informal) trộn lẫn cả ngôn ngữ tự nhiên, các kí hiệu toán học và các kí hiệu ñồ họa ðặc tả hình thức (formal) kí hiệu toán học • ngôn ngữ ñặc tả • ngôn ngữ lập trình 6 3 ðặc tả hình thức hay không hình thức ?

• Kỹ thuật lập trình
• Nhập môn công nghệ phần mềm
• Công nghệ phần mềm
• Phần mềm máy tính
• Kỹ thuật đặc tả phần mềm
• Phân loại phần mềm
• Phân loại phần mềm
• Câu hỏi nhập môn công nghệ phần mềm
• Đề thi nhập môn công nghệ phần mềm
• Thực hành nhập môn công nghệ phần mềm
• Vấn đáp nhập môn công nghệ phần mềm
• Bài giảng Nhập môn công nghệ phần mềm
• Qui trình công nghệ phần mềm
• Công cụ hỗ trợ phát triển phần mềm
• Bài tập Nhập môn công nghệ phần mềm
• Kỹ nghệ yêu cầu phần mềm
• Yêu cầu phần mềm
• Công cụ đặc tả yêu cầu phần mềm
• Requirement engineering
• Mục đích xác định yêu cầu phần mềm
• Quy trình xác định yêu cầu phần mềm
• Nhập môn công nghệ phần mềm chương 1
• Nhập môn công nghệ phần mền
• Lập trình phần mềm
• Sự phát triển phần mềm
• Định nghĩa về công nghệ phần mềm
• Quản lý cấu hình phần mềm
• Lập kế hoạch quản lý cấu hình phần mềm
• Công cụ quản lý cấu hình phần mềm
• Đặc tính của phần mềm
• Công nghệ phân lớp
• Sản xuất phần mềm
• Hệ thống máy tính
• Thiết kế phần mềm
• Thiết kế kiến trúc phần mềm
• Thiết kế chi tiết phần mềm
• Giáo trình công nghệ phần mềm
• Giáo trình Nhập môn công nghệ phần mềm
• Hoạt động phát triển phần mềm
• Lớp phần mềm
• Công cụ phát triển phần mềm
• Đề thi học kỳ
• Phân tích yêu cầu phần mềm
• Kiến trúc phần mềm
• Đặc tính chung của phần mềm
• Ứng dụng phần mềm
• Đóng gói phần mềm
• Quy trình đóng gói phần mềm
• Công cụ đóng gói phần mềm
• Bài giảng Công nghệ phần mềm
• Công nghệ phần mềm chương 1
• Phương tiện của Công nghệ phần mềm
• Nội dung của Công nghệ phần mềm
• Quy trình công nghệ phần mềm
• Mô hình công nghệ phần mềm
• Tài liệu kỹ thuật
• Công nghệ học phần mềm
• Kiểm thử phần mềm
• Đặc tả yêu cầu
• Đặc trưng của phần mềm
• Tài liệu công nghệ phần mềm
• Môn công nghệ phần mềm
• Giáo trình Nhập môn kỹ nghệ phần mềm
• Nhập môn kỹ nghệ phần mềm
• Vận hành phần mềm
• Bảo trì phần mềm
• Chi phí bảo trì phần mềm
• Kiểm tra phần mềm
• Thiết kế test case
• Kiểm tra đơn vị phần mềm
• Cài đặt phần mềm