|   | 
		i050806 
		TROST 
		InfoNote | 0.00 2005-08-21 -11:57 -0700 | 
| Status | Date | Description | 
| 2005-08-21 | There is something about having specialized-away the recognition of the problem space and confined ourselves to the solution space. The use of deductive methods (such as refinement processes) is a strong indication, and we get into the problems of what is mechanizable. (This is the challenge for MDA that Hal Pierson raises.) | |
| 2005-08-21 | Choose an organization for this aspect tied to Section 4 of the Dissertation. Ideas from i050805, Trust and Trustworthiness may apply for organization here too. It is important to have something to move into the thesis draft. | |
| 2005-08-21 | Customize the b- and c- pages as placeholders for initial notes. | |
| done 2005-08-21 | 2005-08-19 | Create this page ready for recording Diary & Job Jar items of this InfoNote. | 
|   | created 2005-08-19-13:47 -0700 (pdt) by
		orcmid |