2127 search results - page 156 / 426 » Software Automation |
192
click to vote
LISA
2008
15 years 8 months ago
2008
Application problem diagnosis in complex enterprise environments is a challenging problem, and contributes significantly to the growth in IT management costs. While application pr...
168
click to vote
JSS
2006
15 years 6 months ago
2006
Integrating a system of disparate components to form a single application is still a daunting, high risk task, especially for components with heterogeneous communication expectati...
193
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Business Process Management (BPM) technology has become an important instrument for improving process performance. When considering its use, however, enterprises typically have to...
155
click to vote
KBSE
2007
IEEE
16 years 21 days ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
205
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
Short product cycles and rapidly changing requirements are increasingly forcing developers to use agile development strategies like extreme programming and test–driven developme...