16725 search results - page 589 / 3345 » Engineering Software Correctness |
155
click to vote
WSC
2008
15 years 9 months ago
2008
One of the most important challenges for mining engineers is to correctly analyze and generate short-term planning schedules, or simply month mining plan. The objective is to demo...
273
click to vote
ISSE
2010
15 years 5 months ago
2010
A UML model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, tra...
202
click to vote
EMNLP
2007
15 years 8 months ago
2007
Traditional research on spelling correction in natural language processing and information retrieval literature mostly relies on pre-defined lexicons to detect spelling errors. Bu...
193
click to vote
JSS
2007
15 years 7 months ago
2007
Designing large software systems out of reusable components has become increasingly popular. Although liberal composition of reusable components saves time and expense, many exper...
226
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Bug localization has attracted a lot of attention recently. Most existing methods focus on pinpointing a single statement or function call which is very likely to contain bugs. Al...