130
click to vote
APAQS
2001
IEEE
15 years 7 months ago
2001
IEEE
A number of computer tools have been introduced to overcome the difficulties in traditional software inspection. Actual inspection tools are rarely used, however, as the current t...
129
click to vote
APAQS
2001
IEEE
15 years 7 months ago
2001
IEEE
The development of electronic commerce or electronic business systems (EC/EB systems) is subject to different conditions than the development of conventional software systems. Thu...
134
Voted
APAQS
2001
IEEE
15 years 7 months ago
2001
IEEE
141
click to vote
APAQS
2001
IEEE
15 years 7 months ago
2001
IEEE
Infinite looping is a common type of program error. This paper studies the detection of infinite loops in imperative programs. A sufficient condition is given, which is based on p...
127
Voted
APAQS
2001
IEEE
15 years 7 months ago
2001
IEEE
Program quality represents the most significant part of software quality control that assures all characteristics of software products to satisfy the user's explicit and impl...