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 |