Emacs Lisp in Edwin SScheme

The MIT-Scheme program development environment includes a general-purpose text editor, Edwin, that has an extension language, Edwin Scheme. Edwin is very similar to another general-purpose text editor, GNU Emacs, which also has an extension language, Emacs Lisp. The popularity of GNU Emacs has lead to a large library of tools written in Emacs Lisp. The goal of this thesis is to implement a useful subset of Emacs Lisp in Edwin Scheme. This subset was chosen to be sufficient for simple operation of the GNUS news reading program.

Dependency Directed Reasoning for Complex Program Understanding

Artificial Intelligence research involves the creation of extremely complex programs which must possess the capability to introspect, learn, and improve their expertise. Any truly intelligent program must be able to create procedures and to modify them as it gathers information from its experience. [Sussman, 1975] produced such a system for a 'mini-world'; but truly intelligent programs must be considerably more complex. A crucial stepping stone in AI research is the development of a system which can understand complex programs well enough to modify them. There is also a complexity barrier in the world of commercial software which is making the cost of software production and maintenance prohibitive. Here too a system which is capable of understanding complex programs is a necessary step. The Programmer's Apprentice Project [Rich and Shrobe, 76] is attempting to develop an interactive programming tool which will help expert programmers deal with the complexity involved in engineering a large software system. This report describes REASON, the deductive component of the programmer's apprentice. REASON is intended to help expert programmers in the process of evolutionary program design. REASON utilizes the engineering techniques of modelling, decomposition, and analysis by inspection to determine how modules interact to achieve the desired overall behavior of a program. REASON coordinates its various sources of knowledge by using a dependency-directed structure which records the justification for each deduction it makes. Once a program has been analyzed these justifications can be summarized into a teleological structure called a plan which helps the system understand the impact of a proposed program modification.

A FRAMEWORK FOR ACHIEVING LIFECYCLE VALUE IN AEROSPACE PRODUCT DEVELOPMENT

Creation of lifecycle value - a balance of performance with cost and other attributes - represents a challenge for the development of aerospace products in the twenty-first century. This paper examines the concept of lifecycle value that stems from existing approaches of value management and analysis, lifecycle costing, and systems engineering. To ascertain common characteristics of lifecycle value creation, case studies were done for four aircraft programs: F/A- 18E/F, JAS 39 Gripen, F-16C/D, and B-777. A lifecycle value creation framework is introduced, comprised of three phases: value identification, value proposition, value delivery. Based upon observed practices in the four case studies, six value creation attributes were identified. Capability maturity models for the six attributes and three value creation phases are presented. The resulting framework represents a starting point for programs seeking to create lifecycle value for aerospace products.