Goto

Collaborating Authors

A global view of automatic programming

Classics

This paper presents a framework for characterizing automatic programming systems in terms of how a task is communicated to the system, the method and time at which the system acquires the knowledge to perform the task, and the characteristics of the resulting program to perform that task. It describes one approach In which both tasks and knowledge about the task domain are stated in natural language In the terms of that domain. All knowledge of computer science necessary to implement the task is internalized inside the system.In IJCAI-73: THIRD INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 20-23 August 1973, Stanford University Stanford, California, pp.494-499



Software Engineering in the Twenty-First Century

AI Magazine

Michael R. Lowry There is substantial evidence that AI technology can meet the requirements of the large potential market that will exist for knowledge-based software engineering at the turn of the century. In this article, which forms the conclusion to the AAAI Press book Automating Software Design, edited by Michael Lowry and Robert McCartney, Michael Lowry discusses the future of software engineering, and how knowledge-based software engineering (KBSE) progress will lead to system development environments. Specifically, Lowry examines how KBSE techniques promote additive programming methods and how they can be developed and introduced in an evolutionary way. The enabling technology will come from AI, formal methods, programming language theory, and other areas of computer science. This technology will enable much of the knowledge now lost in the software development process to be captured in machineencoded form and automated.


Software Engineering in the Twenty-First Century

AI Magazine

There is substantial evidence that AI technology can meet the requirements of the large potential market that will exist for knowledge-based software engineering at the turn of the century. In this article, which forms the conclusion to the AAAI Press book Automating Software Design, edited by Michael Lowry and Robert McCartney, Michael Lowry discusses the future of software engineering, and how knowledge-based software engineering (KBSE) progress will lead to system development environments. Specifically, Lowry examines how KBSE techniques promote additive programming methods and how they can be developed and introduced in an evolutionary way.


Standards group aims to put crypto controls into browsers to secure Web apps

ZDNet

The World Wide Web Consortium (W3C) is working on the first draft of a standard specification designed to outfit browsers with hooks that support strong cryptographic credentials that secure access to a user's Web applications and eradicates phishing . "This is an important step towards making unphishable privacy-preserving authentication available on the Web and reducing reliance on passwords," the W3C's Web Authentication (WebAuthn) Working Group said on its homepage. The W3C is an international standards organization for the World Wide Web and its work is typically adopted by all the major Web browsers. WebAuthn is aimed at establishing a strong authentication standard across browser platforms. The W3C's timing may just be right as passwords thefts and data dumps have ruled security news cycles as of late.