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.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Published: |
2008
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10356/4974 |
| _version_ | 1826112476207382528 |
|---|---|
| author | Ni, Lar Thein. |
| author2 | Tan Hee, Beng Kuan |
| author_facet | Tan Hee, Beng Kuan Ni, Lar Thein. |
| author_sort | Ni, Lar Thein. |
| collection | NTU |
| description | 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. |
| first_indexed | 2024-10-01T03:07:38Z |
| format | Thesis |
| id | ntu-10356/4974 |
| institution | Nanyang Technological University |
| last_indexed | 2024-10-01T03:07:38Z |
| publishDate | 2008 |
| record_format | dspace |
| spelling | ntu-10356/49742023-07-04T15:43:11Z Design, verification and measurement for post-transaction user input error handling Ni, Lar Thein. Tan Hee, Beng Kuan School of Electrical and Electronic Engineering DRNTU::Engineering::Computer science and engineering::Hardware DRNTU::Engineering::Computer science and engineering::Software 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. Doctor of Philosophy (EEE) 2008-09-17T10:02:32Z 2008-09-17T10:02:32Z 2003 2003 Thesis http://hdl.handle.net/10356/4974 Nanyang Technological University application/pdf |
| spellingShingle | DRNTU::Engineering::Computer science and engineering::Hardware DRNTU::Engineering::Computer science and engineering::Software Ni, Lar Thein. Design, verification and measurement for post-transaction user input error handling |
| title | Design, verification and measurement for post-transaction user input error handling |
| title_full | Design, verification and measurement for post-transaction user input error handling |
| title_fullStr | Design, verification and measurement for post-transaction user input error handling |
| title_full_unstemmed | Design, verification and measurement for post-transaction user input error handling |
| title_short | Design, verification and measurement for post-transaction user input error handling |
| title_sort | design verification and measurement for post transaction user input error handling |
| topic | DRNTU::Engineering::Computer science and engineering::Hardware DRNTU::Engineering::Computer science and engineering::Software |
| url | http://hdl.handle.net/10356/4974 |
| work_keys_str_mv | AT nilarthein designverificationandmeasurementforposttransactionuserinputerrorhandling |