258 search results - page 16 / 52 » WofBPEL: A Tool for Automated Analysis of BPEL Processes |
ASWEC
2007
IEEE
14 years 1 months ago
2007
IEEE
Post-deployment maintenance and evolution can account for up to 75% of the cost of developing a software system. Software refactoring can reduce the costs associated with evolutio...
ICST
2009
IEEE
13 years 5 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
ISBI
2006
IEEE
14 years 8 months ago
2006
IEEE
The method of microtubule tracking and dynamics analysis, presented here, improves upon the current means of manual and automated quantification of microtubule behavior. Key contr...
ACSAC
2007
IEEE
14 years 1 months ago
2007
IEEE
Understanding security bugs in a vulnerable program is a non-trivial task, even if the target program is known to be vulnerable. Though there exist debugging tools that facilitate...
ICSE
2007
IEEE-ACM
14 years 1 months ago
2007
IEEE-ACM
Software engineers tend to repeat mistakes when developing software. Automated static analysis tools can detect some of these mistakes early in the software process. However, thes...