2342 search results - page 363 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
118
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
96
Voted
LREC
2010
15 years 5 months ago
2010
In this paper we discuss the methodology behind the construction of elicited imitation (EI) test items. First we examine varying uses for EI tests in research and in testing overa...
129
Voted
SIGSOFT
2004
ACM
15 years 9 months ago
2004
ACM
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...
134
Voted
SMALLTALK
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Development environments typically present the software engineer with a structural perspective of an object-oriented system in terms of packages, classes and methods. Fro...
145
Voted
SPEECH
2008
15 years 3 months ago
2008
Recently, data-driven speech technologies have been widely used to build speech user interfaces. However, developing and managing data-driven spoken dialog systems are laborious a...