work only if a library system is de

work only if a library system is developed so that components that do exist
can be cataloged and then retrieved. It should be noted that an existing software
product can be used as a prototype for a "new, improved" competitive
product. In a way, this is a form of reusability for software prototyping.
Formal specification and prototyping environments. Over the past two
decades, a number of formal specification languages and tools have been
developed as a replacement for natural language specification techniques.
Today, developers of these formal languages are in the process of developing
interactive environments that (1) enable an analyst to interactively create
language-based specifications of a system or software, (2) invoke automated
tools that translate the language-based specifications into executable code,
and (3) enable the customer to use the prototype executable code to refine
formal requirements.

Kết quả (Việt) 1:

làm việc chỉ khi một hệ thống thư viện được phát triển do đó thành phần mà làm tồn tạicó thể được cataloged và sau đó lấy. Cần lưu ý rằng một phần mềm hiện cósản phẩm có thể được sử dụng như một nguyên mẫu cho một "mới, cải tiến" cạnh tranhsản phẩm. Theo cách một, đây là một hình thức của reusability cho phần mềm prototyping.Môi trường prototyping và đặc điểm kỹ thuật chính thức. Trên hai quá khứnhiều thập kỷ qua, một số ngôn ngữ đặc tả hình thức và các công cụ đãphát triển như là một thay thế cho ngôn ngữ tự nhiên đặc tả kỹ thuật.Hôm nay, nhà phát triển của các ngôn ngữ chính thức đang trong quá trình phát triểnmôi trường tương tác đó (1) sử một nhà phân tích để tạo ra tương tácngôn ngữ dựa trên chi tiết kỹ thuật của một hệ thống hoặc phần mềm, (2) gọi tự độngcông cụ dịch các ngôn ngữ dựa trên chi tiết kỹ thuật vào mã thực thi,và (3) cho phép khách hàng sử dụng nguyên mẫu thực thi mã để tinh chỉnhyêu cầu chính thức.

Kết quả (Việt) 2:

chỉ hoạt động nếu một hệ thống thư viện được phát triển để các thành phần đang tồn tại
có thể được xếp vào mục lục và sau đó lấy ra. Cần lưu ý rằng một phần mềm hiện tại
sản phẩm có thể được sử dụng như một nguyên mẫu cho một "mới, cải thiện" cạnh tranh
sản phẩm. Nói cách khác, đây là một hình thức tái sử dụng cho các phần mềm tạo mẫu.
đặc điểm kỹ thuật và tạo mẫu chính thức môi trường. Trong hai qua
nhiều thập kỷ, một số ngôn ngữ đặc tả hình thức và công cụ đã được
phát triển như là một thay thế cho ngôn ngữ tự nhiên kỹ thuật đặc điểm kỹ thuật.
Ngày nay, các nhà phát triển của các ngôn ngữ chính thức đang trong quá trình phát triển của
môi trường tương tác (1) cho phép một nhà phân tích tương tác tạo
kỹ thuật ngôn ngữ dựa trên một hệ thống hay phần mềm, (2) gọi tự động
công cụ dịch các thông số kỹ thuật ngôn ngữ dựa vào mã thực thi,
và (3) cho phép khách hàng sử dụng các mã thực thi nguyên mẫu để tinh chỉnh
các yêu cầu chính thức.