1481 search results - page 269 / 297 » Enriching the Software Development Process by Formal Methods |
BMCBI
2010
14 years 12 months ago
2010
Background: High throughput sequencing has become an increasingly important tool for biological research. However, the existing software systems for managing and processing these ...
165
click to vote
SIGMOD
2007
ACM
15 years 12 months ago
2007
ACM
Increasing monitoring of transactions, environmental parameters, homeland security, RFID chips and interactions of online users rapidly establishes new data sources and applicatio...
COMPSAC
2006
IEEE
15 years 5 months ago
2006
IEEE
Web applications have become complex and crucial in many fields. In order to assure their quality, a high demand for systematic methodologies of Web application testing is emergin...
SOFSEM
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we present a model of versioned web sites which is aimed at building a web site configuration. The web site configuration is a consistent version of the web site an...
105
click to vote
GECCO
2010
Springer
15 years 4 months ago
2010
Springer
The increase in the complexity of modern software has led to the commensurate growth in the size and execution time of the test suites for these programs. In order to address this...