Design, verification and measurement for post-transaction user input error handling
Based on the patterns, a novel approach is proposed for the automated approximate verification of provisions for correcting post-transaction user input errors of a transaction from transaction source code.
Saved in:
| 主要作者: | |
|---|---|
| 其他作者: | |
| 格式: | Theses and Dissertations |
| 出版: |
2008
|
| 主題: | |
| 在線閱讀: | http://hdl.handle.net/10356/4974 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| 機構: | Nanyang Technological University |