摘要: This is the final scientific report of research performed under the contract in various aspects of software technology. The research efforts can be categorized under three topics: computer program testing, knowledge-based systems ... 展开 This is the final scientific report of research performed under the contract in various aspects of software technology. The research efforts can be categorized under three topics: computer program testing, knowledge-based systems for program construction, and theory of translator generation. In the first category researchers describe a number of research results relating to various aspects of domain testing strategy and integration testing of modules. In the second category, researchers decribe a program called LLULL, which understands programming problems stated in natural language in the domain of checking accounts, and produces PASCAL programs for them. In addition, researchers describe several projects in knowledge organization and problem solving. In the last category, researchers describe a research effort that focussed on obtaining theoretical results on the complexity of translator generation from one language to another. 收起