Composite Structure Design
Systematic Programming: An Introduction
Systematic Programming: An Introduction
A Discipline of Programming
A system for program refinement
ICSE '79 Proceedings of the 4th international conference on Software engineering
Using a command language as a high-level programming language
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Reliable software through composite design
Reliable software through composite design
Natural-language help in the Consul system
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Knowledge acquisition in the consul system
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Representation and inference in the consul system
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
The methodology proposed is intended to aid in the development of cooperative interactive tools (i.e., those which are natural, helpful, and consistent). Cooperative tools must incorporate knowledge of their own capabilities, limitations, and requirements. This required knowledge of tool functionality is provided by programming the tool in the process script formalism. The process script formalism is a specialized procedural/declarative language for writing tools. The key aspect of the process script specification of a tool is that, besides being executable, process scripts can be analyzed and understood for the purpose of cooperative interaction with the end user. This paper describes the process script formalism and explains its role in the development of a cooperative interactive system.