414 search results - page 30 / 83 » Using Strongest Postconditions to Improve Software Quality |
AGILEDC
2004
IEEE
14 years 14 days ago
2004
IEEE
A longitudinal case study evaluating the effects of adopting the Extreme Programming (XP) methodology was performed at Sabre Airline SolutionsTM. The Sabre team was a characterist...
ASWEC
2004
IEEE
14 years 14 days ago
2004
IEEE
The management of knowledge and experience are key means by which systematic software development and process improvement occur. Within the domain of Software Engineering (SE), qu...
CIDM
2009
IEEE
14 years 3 months ago
2009
IEEE
— Identifying faulty classes in object-oriented software is one of the important software quality assurance activities. This paper empirically investigates the application of t...
ASWEC
2005
IEEE
14 years 2 months ago
2005
IEEE
Robots have diverse capabilities and complex interactions with their environment. Software development for robotic platforms is time consuming due to the complex nature of the tas...
FMICS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper reports the analysis of an industrial implementation of the session-layer of a load-balancing software system. This software comprises 7.5 thousand lines of C ...