15777 search results - page 2601 / 3156 » Software Engineering |
192
click to vote
ACMIDC
2009
15 years 10 months ago
2009
We propose simple tangible language elements for very young children to use when constructing programmes. The equivalent Turtle Talk instructions are given for comparison. Two exa...
174
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
177
click to vote
ATAL
2008
Springer
15 years 9 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...
256
click to vote
ATAL
2008
Springer
15 years 9 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...
180
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...