13 search results - page 2 / 3 » apaqs 2001 |
APAQS
2001
IEEE
13 years 8 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...
APAQS
2001
IEEE
13 years 8 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...
APAQS
2001
IEEE
13 years 8 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...
APAQS
2001
IEEE
13 years 8 months ago
2001
IEEE
Software inspection is recognised as the most effective means of finding defects. In spite of its important role in software development, existing capability models have not addre...
APAQS
2001
IEEE
13 years 8 months ago
2001
IEEE
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...