TAILIEUCHUNG - Các kỹ thuật đặc tả (4)

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 đề đó | 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 o Khái niệm đặc tả o Tại sao phải đặc tả o Phân loại các kỹ thuật đặc tả o Các kỹ thuật đặc tả 2 1 Khái niệm đặc tả o Đặ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ả o Đặ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ả o 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 o 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 o 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 o Tái sử dụng 5 Phân loại các kỹ thuật đặc tả o Đặ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 o Đặ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 o Đặ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

• Kỹ thuật lập trình
• Các kỹ thuật đặc tả
• đặc tả hình thức
• đặc tả không hình thức
• mạng trạng thái hữu hạn
• mạng petri
• Bệnh dịch tả heo châu Phi
• Đặc điểm dịch tễ dịch tả heo
• Quy mô trại heo nái
• Phòng chống dịch ASF
• Kỹ thuật thú y
• Luận án tiến sĩ
• Khoa học máy tính
• Luận án tiến sĩ Kỹ thuật
• Xử lý ngôn ngữ
• Phương pháp tách từ
• Đặc trưng chính tả
• hệ thống giao tác
• khoa học điều khiển
• hệ thống kỹ thuật
• điều khiển học
• nghiên cứu tin học
• Lý thuyết thuật toán
• tự động học
• dữ liệu đo lường
• khái niệm đo lường
• tài liệu đo lường
• bài giảng đo lường
• kỹ thuật đo lường
• hệ thống đo lường
• tổng quan về OFDM
• Sự trực giao
• Mô tả toán học của OFDM
• kỹ thuật điều chế trong OFDM
• Các đặc tính của OFDM
• trình bày báo cáo
• cách trình bày báo cáo
• báo cáo nông nghiệp
• kỹ thuật trồng các loại cây
• công nghệ sinh học
• Công nghệ thông tin
• Hệ thống phần mềm
• Hệ thống tương tranh thời gian
• Hệ thống phân tán
• Kỹ thuật phần mềm
• Mô hình Petri Net thời gian
• Các mạch số
• Mô hình Petri Net
• Thời gian ngẫu nhiên chung
• Mạng Petri thời gian ngẫu nhiê
• Các hệ thống và các mạch số
• Tính chất mạng Petri
• Luận văn thạc sĩ khoa học
• Toán Tin
• Hệ thống tính toán
• Mạng Petri màu
• Phần mềm ứng dụng doanh nghiệp
• Mạng Petri màu phân cấp
• Ngôn ngữ đồ họa
• Mô hình HCPN
• quản trị mạng
• dây chuyền petri
• điều khiển bằng mạng
• Công nghệ cơ khí
• Cơ sở lý thuyết mạng Petri
• Hệ thống sản xuất tự động
• Bộ điều khiển logic
• Mạng Petri thời gian
• Internet Web caching
• Mô hình mạng Petri
• Công nghệ truyền thông
• Tốc độ truy cập Web
• Đa phương tiện trên mạng Internet
• Kiến trúc Internet web caching nhở
• Dịch vụ đa phương tiện trên mạng internet
• Cải thiện tốc độ truy cập web
• Quản lý web
• Biểu đồ trình tự
• Mạng hàng đợi Petri
• Mô hình chuyển đổi
• Ngôn ngữ mô hình toán học
• Cấu trúc chương trình chuyển đổi
• thủ thuật máy tính
• bảo mật mạng
• cách nối mạng
• lắp đặt mạng
• mạng Stochastic Petri
• Thuật toán thay thế Web caching LRU EXT
• Mạng tích hợp
• Kiến trúc Internet web caching
• Luận án Tiến sĩ Khoa học máy tính
• Mô hình hóa tham số động
• Bài toán kiểm tra tắc nghẽn
• Mạng cảm biến không dây
• Ngôn ngữ Coloured Petri Net
• Hệ thống sản xuất linh hoạt
• Bài giảng Cơ khí
• Công cụ kế hoạch hóa
• Công cụ mô phỏng
• Cơ đồ mạng lưới Petri net
• Công cụ phân tích HTSX