414 search results - page 28 / 83 » Using Strongest Postconditions to Improve Software Quality |
CLEIEJ
2010
13 years 6 months ago
2010
Software process assessments have been used to verify the conformance with quality reference models or standards, usually in a context of software process improvement programs. Mo...
EWSPT
1995
Springer
14 years 8 days ago
1995
Springer
Software development organizations are beginning to recognize that measurement is a prerequisite for systematic process improvement, and have started to measure their products and...
CSEE
2006
Springer
13 years 10 months ago
2006
Springer
Test-driven development (TDD) is an agile software development strategy that addresses both design and testing. This paper describes a controlled experiment that examines the effe...
AGILEDC
2004
IEEE
14 years 14 days ago
2004
IEEE
Strong unit testing is the foundation of agile software development but embedded systems present special problems. Test of embedded software is bound up with test of hardware, cro...
ICDE
2007
IEEE
14 years 3 months ago
2007
IEEE
Re-occurrence of the same problem is very common in many large software products. By matching the symptoms of a new problem to those in a database of known problems, automated dia...