8947 search results - page 326 / 1790 » Improving software quality |
152
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.
142
click to vote
ITNG
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper introduced coding guidelines for use by academics developing code as part of their research in areas of computer science or similar disciplines. We introduce the guidel...
201
click to vote
IOLTS
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper proposes a new test pattern generator (TPG) which is an enhancement of GLFSR (Galois LFSR). This design is based on certain non–binary error detecting codes, formulat...
261
click to vote
ICSR
2011
Springer
14 years 10 months ago
2011
Springer
Product Line Architecture (PLA) plays a central role in software product line development. In order to support architecture-level variability modeling, most architecture descriptio...
173
click to vote
COMPSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
Testing is the most commonly used approach to the assurance of software quality and reliability. The testing of object-oriented software is much more complex than that of conventi...