8627 search results - page 1495 / 1726 » Software Engineering Using RATionale |
189
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Software developers use testing to gain and maintain confidence in the correctness of a software system. Automated reduction and prioritization techniques attempt to decrease the...
146
click to vote
OOPSLA
2007
Springer
16 years 22 days ago
2007
Springer
It is difficult to determine the cost effectiveness of program analysis tools because we cannot evaluate them in the same environment where we will be using the tool. Tool evalua...
160
click to vote
CODES
2005
IEEE
16 years 7 days ago
2005
IEEE
Even after carefully tuning the memory characteristics to the application properties and the processor speed, during the execution of real applications there are times when the pr...
217
click to vote
PPDP
2005
Springer
16 years 2 days ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
193
click to vote
EMSOFT
2004
Springer
16 years 2 hour ago
2004
Springer
Dedicated operating systems for embedded systems are fast being phased out due to their use of manual optimization, which provides high performance and small footprint, but also r...