This shows you the differences between two versions of the page.
|
cost [2012/01/19 12:56] kohei [Assessment] |
cost [2012/01/19 12:56] (current) kohei [Assessment] |
||
|---|---|---|---|
| Line 183: | Line 183: | ||
| --- | --- | ||
| - | **The proposal addresses a relevant topic, namely the validation of large-scale software systems**. The proposed approach, type theory, is very promising. Unfortunately, type theory has been promising for the last few decades and its impact in practical applications has been surprisingly limited. **The main weakness of the proposal is that it does not sufficiently make clear why and how the consortium will turn type theory from a promising technique into a widely-used technique. Industry involvement and commitment is essential in this respect, however the proposal merely mentions industry without explaining how they will involve industry.** A final comment is that the proposal contains quite some buzz words without explaining which role they will actually play in the project proposal. A**n example is the frequent use of the term `security` without explaining how this can be better treated with type theory than with more conventional techniques and without explaining how security relates to the list of key topics mentioned in the proposal.** | + | **The proposal addresses a relevant topic, namely the validation of large-scale software systems**. The proposed approach, type theory, is very promising. Unfortunately, type theory has been promising for the last few decades and its impact in practical applications has been surprisingly limited. The main weakness of the proposal is that **it does not sufficiently make clear why and how the consortium will turn type theory from a promising technique into a widely-used technique.** Industry involvement and commitment is essential in this respect, however the proposal merely mentions industry without explaining how they will involve industry. A final comment is that the proposal contains quite some buzz words without explaining which role they will actually play in the project proposal. A**n example is the frequent use of the term `security` without explaining how this can be better treated with type theory than with more conventional techniques and without explaining how security relates to the list of key topics mentioned in the proposal.** |