5664 search results - page 393 / 1133 » Creativity support tools |
198
click to vote
SIGADA
2007
Springer
16 years 27 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...
147
click to vote
VAMOS
2007
Springer
16 years 27 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 ...
155
click to vote
ISPW
2006
IEEE
16 years 25 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 ...
169
click to vote
SCAM
2006
IEEE
16 years 24 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...
201
click to vote
VL
2005
IEEE
16 years 11 days ago
2005
IEEE
Agile methodologies employ light-weight development practices emphasizing a test-driven approach to the development of software systems. Modern agile development environments supp...