414 search results - page 2 / 83 » Using Strongest Postconditions to Improve Software Quality |
COMPSAC
2006
IEEE
13 years 11 months ago
2006
IEEE
In a wireless LAN environment, clients tend to associate with the nearest access point (AP) which usually provides the strongest signal. However, this does not guarantee that user...
APAQS
2001
IEEE
13 years 9 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...
IEE
2011
13 years 5 days ago
2011
: In the development of software systems, quality properties should be considered along with the development process so that the qualities of software systems can be inferred and p...
INFSOF
2000
13 years 5 months ago
2000
Cleanroom usage-based statistical testing techniques have been incorporated into the software development process for a program in the Electronic Systems business of Raytheon Comp...
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
In this paper, we describe some of the key observations resulting from our work on using software engineering technologies to help detect errors in medical processes. In many ways...