3901 search results - page 172 / 781 » software 2008 |
203
click to vote
TSE
2010
15 years 2 months ago
2010
BACKGROUND – the systematic review is becoming a more commonly employed research instrument in empirical software engineering. Before undue reliance is placed on the outcomes of...
119
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
—We describe PTYASM, an enhanced version of the YASM software model checker which uses proof templates. These templates associate correctness arguments with common programming id...
138
click to vote
HASE
2008
IEEE
15 years 11 months ago
2008
IEEE
Current annotation technologies suffer from poor coverage over the development process phases, limited support for the broad scope of the security requirement types and inadequate...
115
click to vote
SSDBM
2008
IEEE
15 years 11 months ago
2008
IEEE
In order to establish consolidated standards in novel data mining areas, newly proposed algorithms need to be evaluated thoroughly. Many publications compare a new proposition – ...
142
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
: Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisi...