5433 search results - page 340 / 1087 » Tool Support for Traceability-Adaptation |
183
click to vote
AIED
2007
Springer
16 years 26 days ago
2007
Springer
This paper describes an approach to support practitioners in the analysis of computer-supported learning processes by utilizing logfiles of learners’ actions captured by the sys...
194
click to vote
SIGADA
2007
Springer
16 years 23 days ago
2007
Springer
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
142
click to vote
VAMOS
2007
Springer
16 years 23 days ago
2007
Springer
Software products often need to vary in terms of functionality, but also in terms of quality attributes. We describe KumbangSec, which in an approach for modelling functional and ...
152
click to vote
ISPW
2006
IEEE
16 years 20 days ago
2006
IEEE
Workflows emphasize the partial order of activities, and the flow of data between activities. In contrast, cooperative processes emphasize the sharing of artefact, and its gradual ...
165
click to vote
SCAM
2006
IEEE
16 years 20 days ago
2006
IEEE
Refactoring is about changing the design of existing code without changing its behaviour, but with the aim of making code easier to understand, modify, or reuse. Taking Haskell an...