|
1. |
A framework for SOFL-based program review
Yuting Chen; Shaoying Liu; Nagoya, F.;
Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on
16-20 June 2005
Page(s):6
-
7
Abstract:
Program review is a practical and cost-effective method for detecting errors in program code. This paper describes our recent work aiming to provide support for revealing errors which usually arise from inappropriate implementations of desired specifications. In our approach, the SOFL specification language is employed for specifying software systems. We provide a framework that guides reviewers to compare a code with its specification for effective detection of potential defects.
|
Cart
