Công nghệ (engineering) là

• Cách sử dụng các công cụ, các kỹ thuật trong cách giải quyết một vấn đề nào đó
• Cách lập trình để viết một phần mềm
• Cách phân tích thiết kế một phần mềm
• Cách cài đặt một phần mềm

Các mức đặc tả yêu cầu gồm

• Định ra yêu cầu, đặc tả yêu cầu, đặc tả chức năng.
• Định ra yêu cầu, đặc tả yêu cầu, đặc tả thiết kế
• Đặc tả chức năng, đặc tả phần mềm, đặc tả thiết kế.
• Định ra yêu cầu, đặc tả phần mềm, đặc tả thiết kế

Khái niệm “đặc tả yêu cầu", nghĩa là:

• Yêu cầu được viết bằng ngôn ngữ tự nhiên về các dịch vụ mà hệ thống phải cung cấp
• Yêu cầu được viết bằng ngôn ngữ chuyên ngành để mô tả chi tiết phần mềm
• Yêu cầu được đặc tả bởi các biểu đồ ngữ cảnh, đồ thị và các lược đồ quan hệ...
• Các dịch vụ được đặc tả một cách chi tiết, chính xác để có thể dùng làm cơ sở hợp đồng giữa hai bên

Khái niệm “Đặc tả thiết kế", nghĩa là:

• Yêu cầu được đặc tả bởi các biểu đồ ngữ cảnh, đồ thị và lược đồ quan hệ
• Yêu cầu được viết bằng ngôn ngữ chuyên ngành để mô tả chi tiết phần mềm
• Các dịch vụ được đặc tả một cách chi tiết, chính xác để có thể dùng làm cơ sở hợp đồng giữa hai bên
• Yêu cầu được viết bằng ngôn ngữ tự nhiên về các dịch vụ mà hệ thống phải cung cấp

Đặc tả phần mềm bằng ngôn ngữ tự nhiên là khó khăn hay thuận lợi cho các thiết kế viên hoặc các hợp đồng giữa các khách hàng và cán bộ phát triển hệ thống?

• Rất thuận lợi vì ngôn ngữ tự nhiên dễ hiểu, dễ diễn đạt
• Không hoàn toàn thuận tiền vì có thể dẫn đến nhầm lẫn do cách hiểu các khái niệm khác nhau giữa hai bên
• Thuận lợi vì ngôn ngữ tự nhiên dễ sử dụng
• Rất khó khăn vì ngôn ngữ tự nhiên rất khó sử dụng

Người ta không dùng cách nào để đặt tả các yêu cầu?

• Ngôn ngữ tự nhiên có cấu trúc
• Ngôn ngữ mô tả thiết kế, giống ngôn ngữ lập trình nhưng có mức trừu tượng cao hơn
• Ngôn ngữ đặc tả yêu cầu
• Ngôn ngữ tự nhiên địa phương

Đâu không phải là thuận lợi của việc sử dụng đặc tả hình thức:

• Nhiều người biết và dễ diễn đạt
• Cho phép chúng ta thấy và hiểu được bản chất bên trong của các yêu cầu, đây là cách tốt nhất để làm giảm các lỗi, các thiếu sót có thể xảy ra và giúp cho công việc thiết kế được thuận lợi
• Do chúng ta sử dụng toán học cho việc đặc tả nên có thể dựa vào các công cụ toán học khi phân tích và điều này làm tăng thêm tính chắc chắn và tính đầy đủ của hệ thống.
• Đặc tả hình thức, bản thân nó cho chúng ta một cách thức cho việc kiểm tra hệ thống sau này.

Đâu không phải là đặc điểm của đặc tả phi hình thức?

• Đặc tả sử dụng ngôn ngữ tự nhiên
• Đặc tả được nhiều người biết
• Đặc tả chặt chẽ ít có hiểu lầm
• Đặc tả không chặc chẽ về ngữ nghĩa khoa học

Để phát triển các hệ thống tương đối phức tạp có những hướng tiếp cận đặc tả hình thức nào?

• Tiếp cận đại số, hệ thống được mô tả dưới dạng các toán tử và các quan hệ.
• Tiếp cận mô hình, mô hình hệ thống được cấu trúc sử dụng các thực thể toán học như là các tập hợp và các thứ tự.
• Tiếp cận đại ssoos, hệ thống được mô tả dưới dạng các toán tử, các quan hệ và tiếp cận mô hình, mô hình thệ thống được cấu trúc sử dụng các thực thể toán học như là các tập hợp, các thứ tư...
• Tiếp cận văn bản tự nhiên

Đâu không phải là khó khăn của đặc tả hình thức:

• Khách hàng không thích các đặc tả toán học.
• Quản lý phần mềm có tính bảo thủ cố hữu của nó, không sẵn sàng chấp nhận các kỹ thuật mới
• Chi phí cho việc đặc tả hình thức thường cao hơn so với các đặc tả khác (tuy phần cài đặt sẽ thấp hơn) nên khó để chứng minh rằng chi phí tương đối cao cho đặc tả sẽ làm giảm tổng chi phí dự án.
• Đặc tả không chặt chẽ dễ gây hiểm nhằm giữa các nhà chuyên môn.