748 search results - page 120 / 150 » Agile Software Assurance |
HASE
2007
IEEE
13 years 11 months ago
2007
IEEE
Automated verification plays an important role for high assurance software. This typically uses a pair of pre/post conditions as a formal (but possibly partial) specification of e...
DSN
2004
IEEE
13 years 11 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
The design of hash functions by means of evolutionary computation is a relatively new and unexplored problem. In this work, we use Genetic Programming (GP) to evolve robust and fa...
MKWI
2008
13 years 9 months ago
2008
: Along with rapidly changing market requirements for service-oriented business software new challenges for quality management, quality assurance, and testing arise. Customers must...
ISIM
2007
13 years 9 months ago
2007
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...