1356 search results - page 44 / 272 » The ideal of verified software |
115
click to vote
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
105
click to vote
BMCBI
2006
14 years 12 months ago
2006
Background: Short oligonucleotide arrays for transcript profiling have been available for several years. Generally, raw data from these arrays are analysed with the aid of the Mic...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Defect prevention is the most vital but habitually neglected facet of software quality assurance in any project. If functional at all stages of software development, it can condens...
ASWEC
2008
IEEE
15 years 6 months ago
2008
IEEE
Software developers’ work is much more interesting and multifarious in practice than formal definitions of software development processes imply. Rational models of work are ofte...
103
click to vote
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
Many languages for software architectures have been proposed, each dealing with different stakeholder concerns, operating at different levels of abstraction and with different deg...