2212 search results - page 24 / 443 » Automated software wrapping |
EUROSYS
2010
ACM
14 years 6 months ago
2010
ACM
Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn int...
BMCBI
2005
13 years 9 months ago
2005
Background: Two of the main objectives of the genomic and post-genomic era are to structurally and functionally annotate genomes which consists of detecting genes' position a...
KBSE
2005
IEEE
14 years 3 months ago
2005
IEEE
Recent work in applying causal modeling (Bayesian networks) to software engineering has resulted in improved decision support systems for software project managers. Once the causa...
KBSE
1998
IEEE
14 years 1 months ago
1998
IEEE
Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...
ISSTA
2006
ACM
14 years 3 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...