2935 search results - page 529 / 587 » An Integrated Approach to High Integrity Software Verificati... |
179
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: The proliferation of data repositories in bioinformatics has resulted in the development of numerous interfaces that allow scientists to browse, search and analyse the...
149
click to vote
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
—When a program is modified during software evolution, developers typically run the new version of the program against its existing test suite to validate that the changes made ...
132
click to vote
IADIS
2003
15 years 5 months ago
2003
The vast majority of IT systems are implemented using a traditional procedural paradigm approach using a suitable procedural language such as COBOL. However, with recent developme...
162
click to vote
JOT
2007
15 years 4 months ago
2007
All modern software development processes try to help project teams conduct their work. While there are some important differences between them, the commonalities are far greater ...
160
click to vote
CODES
2011
IEEE
14 years 4 months ago
2011
IEEE
Reliability is a major requirement for most safety-related systems. To meet this requirement, fault-tolerant techniques such as hardware replication and software re-execution are ...