1257 search results - page 48 / 252 » Open Source Requirements Engineering |
PODS
2010
ACM
14 years 3 months ago
2010
ACM
There are major trends to advance the functionality of search engines to a more expressive semantic level. This is enabled by the advent of knowledge-sharing communities such as W...
ISSRE
2005
IEEE
14 years 3 months ago
2005
IEEE
A classic question in software development is “H ow much testing is enough?” Aside from dynamic coverage-based metrics, there are few measures that can be used to provide guid...
SIGSOFT
2003
ACM
14 years 10 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
ICSM
2003
IEEE
14 years 3 months ago
2003
IEEE
Software maintainers and auditors would benefit from a tool to help them focus their attention on functions that are likely to be the source of security vulnerabilities. However,...
ICSOC
2007
Springer
14 years 4 months ago
2007
Springer
In this paper we present the architecture and design of an extended BPEL engine that implements the operational semantics of BPEL4SWS. BPEL4SWS is an extension of the BPEL language...