1481 search results - page 276 / 297 » Enriching the Software Development Process by Formal Methods |
TSE
2002
14 years 11 months ago
2002
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...
109
click to vote
ECBS
2010
IEEE
14 years 9 months ago
2010
IEEE
Software development and testing of Enterprise Resource Planning (ERP) systems demands dedicated methods to tackle its special features. As manual testing is not able to systematic...
BMCBI
2007
14 years 11 months ago
2007
Background: Completion of the human genome sequence along with other species allows for greater understanding of the biochemical mechanisms and processes that govern healthy as we...
EPIA
1999
Springer
15 years 4 months ago
1999
Springer
In this paper we propose a hybrid system that bridges the gap between traditional image processing methods, used for low-level object recognition, and abductive constraint logic pr...
BMCBI
2010
14 years 12 months ago
2010
Background: The development of DNA microarrays has facilitated the generation of hundreds of thousands of transcriptomic datasets. The use of a common reference microarray design ...