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:

Bibliographic Details
Main Author:	Ni, Lar Thein.
Other Authors:	Tan Hee, Beng Kuan
Format:	Theses and Dissertations
Published:	2008
Subjects:	DRNTU::Engineering::Computer science and engineering::Hardware DRNTU::Engineering::Computer science and engineering::Software
Online Access:	http://hdl.handle.net/10356/4974
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	Nanyang Technological University

id	sg-ntu-dr.10356-4974
record_format	dspace
spelling	sg-ntu-dr.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
institution	Nanyang Technological University
building	NTU Library
continent	Asia
country	Singapore Singapore
content_provider	NTU Library
collection	DR-NTU
topic	DRNTU::Engineering::Computer science and engineering::Hardware DRNTU::Engineering::Computer science and engineering::Software
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
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.
author2	Tan Hee, Beng Kuan
author_facet	Tan Hee, Beng Kuan Ni, Lar Thein.
format	Theses and Dissertations
author	Ni, Lar Thein.
author_sort	Ni, Lar Thein.
title	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_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_sort	design, verification and measurement for post-transaction user input error handling
publishDate	2008
url	http://hdl.handle.net/10356/4974
_version_	1772825615628500992

Design, verification and measurement for post-transaction user input error handling

Similar Items