36320 search results - page 461 / 7264 » From Code to Models |
183
click to vote
KES
2007
Springer
16 years 1 months ago
2007
Springer
This paper is based on the idea of integrating the actual cognitive features of novice users at the core of the design process of the software applications in order to significantl...
198
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
177
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Computers understand very little of the meaning of human language. This profoundly limits our ability to give instructions to computers, the ability of computers to explain their ...
199
click to vote
AIED
2011
Springer
14 years 10 months ago
2011
Springer
We have created a math learning environment with game-like elements such as narrative, visual feedback, personalization, collection, etc. We made a study with four different versio...
177
click to vote
SPIN
2001
Springer
15 years 11 months ago
2001
Springer
ions Using SPIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Marsha Chechik, Benet Devereux, Arie Gurfinkel (University of Toronto) Imp...