1952 search results - page 300 / 391 » Integrating Pair Programming into a Software Development Pro... |
252
click to vote
ICDE
2000
IEEE
16 years 6 months ago
2000
IEEE
This paper describes the methodology and the software development of XWRAP, an XML-enabled wrapper construction system for semi-automatic generation of wrapper programs. By XML-ena...
162
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: Computer programs for the generation of multiple sequence alignments such as "Clustal W" allow detection of regions that are most conserved among many sequen...
169
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
127
click to vote
IEEEARES
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper describes the design and implementation of a lightweight static security analyzer that exploits the compilation process of the gcc compiler. The tool is aimed at giving...
154
click to vote
IEEESCC
2007
IEEE
15 years 11 months ago
2007
IEEE
Large-scale distributed systems, such as e-healthcare systems, are difficult to develop due to their complex and decentralized nature. The Service Oriented Architecture facilitat...