15860 search results - page 2651 / 3172 » Agent-Based Software Engineering |
157
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This article presents a multi-agent dialogue system. We show how a collection of relatively simple agents is able to treat complex dialogue phenomena and deal successfully with di...
234
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...
149
click to vote
DEXA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Due to the wide-spread use of decision support systems (DSS), methods are required by software companies. Several concepts and methods have been suggested for decision-ma...
159
click to vote
ECMDAFA
2008
Springer
15 years 8 months ago
2008
Springer
Frameworks and libraries that use annotations are becoming popular. However, there is not enough software engineering support for annotation development. In particular, the validat...
143
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...