658 search results - page 112 / 132 » Supporting developers with natural language queries |
CDVE
2007
Springer
15 years 3 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
ACSAC
2001
IEEE
15 years 1 months ago
2001
IEEE
This document describes experimentation performed as part of the Genoa Technology Integration Experiment (TIE). Achieved in two phases, the overarching assertion of the Genoa TIE ...
AAAI
1996
14 years 11 months ago
1996
The SIGNAL insurance companies have developed an expert system for the support of its customer sales service. It was introduced at the end of 1993 and is currently used by approxi...
SIGIR
2006
ACM
15 years 3 months ago
2006
ACM
A common limitation of many retrieval models, including the recently proposed axiomatic approaches, is that retrieval scores are solely based on exact (i.e., syntactic) matching o...