3441 search results - page 530 / 689 » Provenance of Software Development Processes |
132
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
143
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...
157
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
125
click to vote
CCS
2007
ACM
15 years 9 months ago
2007
ACM
Software vulnerabilities have been the main contributing factor to the Internet security problems such as fast spreading worms. Among these software vulnerabilities, memory corrup...
107
Voted
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
The high cost of locating faults in programs has motivated the development of techniques that assist in fault localization by automating part of the process of searching for fault...