phát triển phần mềm
Trong phát triển phần mềm thì đặc tả định nghĩa một hệ thống, một module chương trình hay một sản phẩm cần phải làm cái gì, tuy nhiên không cần thiết mô tả nó phải làm thế nào hay nói cách khác chúng ta chỉ cần mô tả những tính chất của vấn đề đặt ra mà không cần mô tả những tính chất của giải pháp của vấn đề đó.
28
Vai trò đặc tả hình thức trong quá trình phát triển phần mềm phát triển phần mềm
Đặc tả còn là các hoạt động được tiến hành trong các giai đoạn khác nhau của một tiến trình phần mềm như:
Đặc tả yêu cầu : để tạo sự thống nhất giữa người thiết kế và người sử dụng
Đặc tả kiến trúc hệ thống : để tạo sự thống nhất giữa những người thiết kế và những người cài đặt
Đặc tả modun : nhằm mục đích tạo sự thống nhất giữa những người cài đặt module và người cài đặt sử dụng module này.
Đặc tả hiệu năng và chi phí : là loại đặc tả giúp kiểm tra được hiệu năng thực thi và chi phí xây dựng của phần mềm.
Vai trò đặc tả hình thức trong quá trình phát triển phần mềm phát triển phần mềm
Cách thức nâng cao chất lượng của phần phềm là thay đổi phương pháp xây dựng các đặc tả phần mềm trong các bước thiết kế, trong suốt quá trình phát triển và sau khi triển khai sản phẩm.
Có nhiều phương pháp xây dựng các tài liệu được đưa ra để hỗ trợ xây dựng một hàng loạt các văn bản, hình ảnh, và biểu đồ, tuy nhiên những sản phẩm này thường không chính xác và nhập nhằng ngữ nghĩa.
Đặc tả được sử dụng trong quá trình phát triển hệ thống là đặc tả hình thức.
30
Vai trò đặc tả hình thức trong quá trình phát triển phần mềm phát triển phần mềm
Gần như là việc sử dụng phương pháp hình thức sẽ trở thành một chuẩn trong quá trình phát triển phần mềm.
Nền tảng toán học được áp dụng khác biệt trong công nghệ cơ khí hay các công nghệ khác, suy cho cùng chúng đều có chung một mục đích là tăng độ chính xác và giúp người sử dụng hiểu và giải thích được các vấn đề xung quanh bảng thiết kế.
Bất cứ lĩnh vực nào, áp dụng toán học vào rất tốn chi phí tuy nhiên xem xét toàn bộ quá trình xây dựng hệ thống thì tổng chi phí giảm đi đáng kể.