loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth Annual ACIS International Conference on Computer and Information Science (ICIS'05)
A Review Approach to Detecting Structural Consistency Violations in Programs
Jeju Island, South Korea
July 14-July 16
ISBN: 0-7695-2296-3
ASCII Text
x 
 
Yuting Chen, Shaoying Liu, Fumiko Nagoya, "A Review Approach to Detecting Structural Consistency Violations in Programs," Computer and Information Science, ACIS International Conference on, pp. 61-66, Fourth Annual ACIS International Conference on Computer and Information Science (ICIS'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/ICIS.2005.18,
author = {Yuting Chen and Shaoying Liu and Fumiko Nagoya},
title = {A Review Approach to Detecting Structural Consistency Violations in Programs},
journal ={Computer and Information Science, ACIS International Conference on},
volume = {0},
year = {2005},
isbn = {0-7695-2296-3},
pages = {61-66},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICIS.2005.18},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer and Information Science, ACIS International Conference on
TI - A Review Approach to Detecting Structural Consistency Violations in Programs
SN - 0-7695-2296-3
SP61
EP66
A1 - Yuting Chen,
A1 - Shaoying Liu,
A1 - Fumiko Nagoya,
PY - 2005
KW - null
VL - 0
JA - Computer and Information Science, ACIS International Conference on
ER -
 
Yuting Chen, Hosei University
Shaoying Liu, Hosei University
Fumiko Nagoya, Hosei University
The application of specification-based program verification techniques (e.g., testing, review, and proof) usually faces strong challenges in practice when the gap between the structure of a specification and that of its program is large. In this paper we describe an approach to detecting the violations of the structural consistency in programs based on their specifications by review. The approach is aimed at supporting software development in which programs are constructed based on their formal specifications. We establish a set of criteria and a review process that can guide reviewers to uncover structural consistency violations in programs, and apply the approach in a case study to assess its effectiveness.
Citation:
Yuting Chen, Shaoying Liu, Fumiko Nagoya, "A Review Approach to Detecting Structural Consistency Violations in Programs," icis, pp.61-66, Fourth Annual ACIS International Conference on Computer and Information Science (ICIS'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.