1952 search results - page 165 / 391 » Integrating Pair Programming into a Software Development Pro... |
165
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
176
click to vote
ICSEA
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper, an integrated approach for cross platform automated software builds and the implementation of a test framework is described. The system introduced here utilizes s...
177
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
157
click to vote
SCS
2004
15 years 7 months ago
2004
In this paper I examine the issue of whether we can trust software systems and put forward an argument that in an absolute sense the answer must necessarily be no for a multitude ...
166
click to vote
DESRIST
2009
Springer
15 years 11 months ago
2009
Springer
Information Systems Security (ISS) is critical to ensuring the integrity and credibility of digitally exchanged information in business processes. Information systems development ...