1609 search results - page 254 / 322 » Using Ontologies for Software Development Knowledge Reuse |
FTRTFT
1998
Springer
15 years 4 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
117
click to vote
BMCBI
2007
14 years 12 months ago
2007
Background: The ESTuber database (http://www.itb.cnr.it/estuber) includes 3,271 Tuber borchii expressed sequence tags (EST). The dataset consists of 2,389 sequences from an in-hou...
BIRTHDAY
2003
Springer
15 years 5 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
106
click to vote
BMCBI
2005
14 years 11 months ago
2005
Background: We present a biological data warehouse called Atlas that locally stores and integrates biological sequences, molecular interactions, homology information, functional a...
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
Developers often use electronic mailing lists when seeking assistance with a particular software application. The archives of these mailing lists provide a rich repository of prob...