451 search results - page 35 / 91 » Accomplishing software stability |
ISSTA
2010
ACM
13 years 10 months ago
2010
ACM
Writing reliable software is difficult. It becomes even more difficult when writing scientific software involving floating-point numbers. Computers provide numbers with limite...
QUATIC
2007
IEEE
14 years 3 months ago
2007
IEEE
—The amount of effort needed to maintain a software system is related to the technical quality of the source code of that system. The ISO 9126 model for software product quality ...
ISSE
2007
13 years 8 months ago
2007
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
ICSEA
2007
IEEE
14 years 3 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
MODELS
2007
Springer
14 years 2 months ago
2007
Springer
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...