================================================================

	    ICSE-97 FORMAL RESEARCH DEMONSTRATION
		    PROPOSAL FOR REVIEW

Why a demonstration?
--------------------

The demonstration will show the concepts of Adaptive Programming in
the context of Java, and how they fit into the engineer's design and
development cycle.  It will show how one can perform preventive
maintenance with the Demeter/Java tools by designing programs that are
robust under future unanticipated changes.

Relevance to the software engineering community
-----------------------------------------------

The demonstration will show how to design Java programs in a
high-level, reusable, and succinct form.  The Demeter/Java programming
language incorporates a significant improvement to the widely used
Visitor design pattern, as well as to the previously developed
concepts of Adaptive Programming.  The graphical design tool uses a
subset of Rational Corp.'s UML (Unified Modeling Language).  A formal
semantics is behind the compiler, published in TOPLAS.

Commercial status of the technology
-----------------------------------

This technology has not been commercialized, and there are presently
no concrete plans for commercialization.

The presenters
--------------

The presenters are the designers and developers: Dr. Karl
J. Lieberherr, a professor at Northeastern University, and Doug
Orleans, Kedar Patankar, and Binoy Samuel, Ph.D students at
Northeastern University.

Necessary equipment support
---------------------------

We will bring our own equipment.

Two page summary
----------------

See enclosed.

Script outline
--------------

See enclosed outline.

For more info:
Demeter's home page: http://www.ccs.neu.edu/research/demeter/