Automatic" programming. For almost

Automatic" programming. For almost 40 years, people have been anticipating and writing about "automatic programming," or the generation of a program for solving a problem from a statement of the problem specifications. Some today write as if they expect this technology to provide the next breakthrough. [5]

Parnas [4] implies that the term is used for glamour, not for semantic content, asserting,

In short, automatic programming always has been a euphemism for programming with a higher-level language than was presently available to the programmer.

He argues, in essence, that in most cases it is the solution method, not the problem, whose specification has to be given.

One can find exceptions. The technique of building generators is very powerful, and it is routinely used to good advantage in programs for sorting. Some systems for integrating differential equations have also permitted direct specification of the problem, and the systems have assessed the parameters, chosen from a library of methods of solution, and generated the programs.

These applications have very favorable properties:

The problems are readily characterized by relatively few parameters.
There are many known methods of solution to provide a library of alternatives.
Extensive analysis has led to explicit rules for selecting solution techniques, given problem parameters.
It is hard to see how such techniques generalize to the wider world of the ordinary software system, where cases with such neat properties are the exception. It is hard even to imagine how this breakthrough in generalization could occur.

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

Lập trình tự động". Trong gần 40 năm, con người đã dự đoán và viết về "lập trình tự động", hoặc thế hệ của một chương trình để giải quyết một vấn đề từ một tuyên bố chi tiết kỹ thuật của vấn đề. Một số ngày nay viết, nếu như họ mong đợi này công nghệ để cung cấp bước đột phá tiếp theo. [5]Parnas [4] ngụ ý rằng thuật ngữ được sử dụng cho quyến rũ, không cho nội dung ngữ nghĩa, khẳng định,Trong ngắn hạn, tự động lập trình luôn luôn có là một uyển ngữ cho các lập trình với một ngôn ngữ cao cấp hơn đã hiện nay dành cho các lập trình viên.Ông lập luận, về bản chất, rằng trong nhiều trường hợp nó là phương pháp giải pháp, không phải là vấn đề, có đặc điểm kỹ thuật đã được đưa ra.Ai có thể tìm thấy trường hợp ngoại lệ. Kỹ thuật xây dựng máy phát điện là rất mạnh mẽ, và nó thường sử dụng để các lợi thế tốt trong chương trình phân loại. Một số hệ thống cho việc tích hợp các phương trình vi phân cũng có thể cho phép đặc điểm kỹ thuật trực tiếp của vấn đề, và các hệ thống đã đánh giá các thông số, chọn từ một thư viện của các phương pháp của giải pháp, và tạo ra các chương trình.Các ứng dụng này có tính chất rất thuận lợi:Những vấn đề dễ dàng được đặc trưng bởi tham số tương đối ít.Có rất nhiều phương pháp được biết đến của các giải pháp để cung cấp một thư viện của lựa chọn thay thế.Phân tích rộng lớn đã dẫn đến các quy tắc rõ ràng để chọn giải pháp kỹ thuật, đưa ra tham số vấn đề.Thật khó để xem như thế nào kỹ thuật như vậy khái quát để thế giới rộng lớn hơn của hệ thống phần mềm bình thường, nơi các trường hợp với gọn gàng tài sản đó là ngoại lệ. Thật khó thậm chí để tưởng tượng như thế nào này bước đột phá trong tổng quát có thể xảy ra.

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

Tự động "lập trình. Trong gần 40 năm, người ta đã dự đoán và viết về" lập trình tự động ", hay thế hệ của một chương trình để giải quyết một vấn đề từ một tuyên bố của các thông số kỹ thuật vấn đề. Một số ngày nay ghi là nếu họ hy vọng công nghệ này để cung cấp bước đột phá tiếp theo. [5] Parnas [4] ngụ ý rằng thuật ngữ này được sử dụng cho sự quyến rũ, không cho nội dung ngữ nghĩa, khẳng định, trong ngắn hạn, lập trình tự động luôn luôn có được một uyển ngữ lập trình với một ngôn ngữ cấp cao hơn là hiện nay có sẵn để các lập trình viên. Ông lập luận, trong bản chất, mà trong nhiều trường hợp nó là phương pháp giải pháp, không phải là vấn đề, ​​mà đặc điểm kỹ thuật đã được đưa ra. Người ta có thể tìm thấy trường hợp ngoại lệ. Các kỹ thuật của máy phát điện xây dựng là rất mạnh mẽ, và nó thường được sử dụng để lợi thế tốt trong các chương trình để phân loại. Một số hệ thống để tích hợp các phương trình vi phân cũng đã cho phép đặc tả trực tiếp của vấn đề, ​​và các hệ thống đã đánh giá các thông số, chọn từ một thư viện các phương pháp giải pháp, và tạo ra các chương trình. Các ứng dụng này có tính chất rất thuận lợi :. Các vấn đề được dễ dàng đặc trưng bởi một số ít các thông số. Có rất nhiều phương pháp được biết các giải pháp cung cấp một thư viện các lựa chọn thay thế. phân tích sâu rộng đã dẫn đến các quy tắc rõ ràng cho việc lựa chọn giải pháp kỹ thuật, đưa ra các thông số vấn đề Thật khó để xem như thế nào kỹ thuật như khái quát với thế giới rộng lớn hơn của các hệ thống phần mềm thông thường, mà trường hợp với đặc tính gọn gàng như là ngoại lệ. Thật khó để tưởng tượng như thế nào thậm chí mang tính đột phá này trong tổng quát có thể xảy ra.