3792 search results - page 604 / 759 » Techniques for Trusted Software Engineering |
161
click to vote
SOCO
2005
Springer
16 years 15 hour ago
2005
Springer
Abstract. Service discovery and service aggregation are two crucial issues in the emerging area of Service-oriented Computing (SoC). We propose a new technique for the discovery of...
185
click to vote
CAISE
2005
Springer
16 years 2 hour ago
2005
Springer
Abstract. Software requirements engineering is an essential activity for the successful development of information systems. Requirements can be specified using different techniques...
156
click to vote
CIKM
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we suggest a new approach to analysis and design of IR systems. We argue for design space exploration in constructing IR systems and in analyzing the effects of ind...
162
click to vote
ICFEM
2004
Springer
15 years 12 months ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
166
click to vote
SEKE
2004
Springer
15 years 12 months ago
2004
Springer
Bug triage, deciding what to do with an incoming bug report, is taking up increasing amount of developer resources in large open-source projects. In this paper, we propose to appl...