3400 search results - page 59 / 680 » tools 2008 |
109
click to vote
RE
2008
Springer
15 years 1 months ago
2008
Springer
This paper proposes a two-step approach to identifying ambiguities in natural language (NL) requirements specifications (RSs). In the first step, a tool would apply a set of ambig...
121
click to vote
VL
2008
IEEE
15 years 9 months ago
2008
IEEE
Previous research has identified several challenges that programmers face in answering questions about a code base. To explore ways to overcome those challenges, we have develope...
126
click to vote
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Abstract. In this paper we describe a new tool for performing KnuthBendix completion with automatic termination tools. It is based on two ingredients: (1) the inference system for ...
126
click to vote
CSSE
2008
IEEE
15 years 9 months ago
2008
IEEE
—By utilizing XML representations of source programs under test, a new approach is proposed to concisely implement some prototypes for TACCLE, a software testing methodology. The...
108
click to vote
LREC
2008
15 years 4 months ago
2008
The consortium ECESS1 (European Center of Excellence for Speech Synthesis) has set up a framework for evaluation of software modules and tools relevant for speech synthesis. Till ...