The Structured Planning and Debugging Editor (SPADE) is a new kind of interactive programming environment in which computer programs are generated by explicitly articulating planning decisions. The design of SPADE is based upon the development of a grammar of plans from a taxonomy of basic planning techniques. The utility of this approach to…

PATN is a design for a machine problem solver which uses an augmented transition network (ATN) to represent planning knowledge. In order to explore PATN's potential as a theory of human problem solving, a linguistic approach to protocol analysis is presented. An interpretation of a protocol is taken to be a parse tree supplemented by semantic and…

Software design is still a craft; techniques are based on the way things have been done, not on basic theorems or design principles. Suggests that academic software design needs to be more like a science or technology and that a taxonomy of design solutions or classification method is required. Describes two case studies. (MLW)

The procedure for setting educational goals described in this booklet, the first of three, is based on the belief that only through a school-community partnership can the best solutions be found and supported. It is also based on the belief that goal setting can proceed only after local needs are known. The booklet outlines in considerable detail…