323 search results - page 57 / 65 » Aspect-Oriented Programming for Role Models |
PASTE
2005
ACM
15 years 3 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
AIED
2005
Springer
15 years 2 months ago
2005
Springer
Modern computer games show potential not just for engaging and entertaining users, but also in promoting learning. Game designers employ a range of techniques to promote long-term ...
86
Voted
CONCUR
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
IIWAS
2008
14 years 11 months ago
2008
Distributed development of software has turned into a natural and modern approach where teams spread over the world cooperate to develop a software product, and this has become po...
JUCS
2006
14 years 9 months ago
2006
: Our aim is to discuss what, when and, how deep logic should be taught in the computer science education in connection with the so called "Bologna process". We survey th...