2777 search results - page 59 / 556 » Example centric programming |
124
click to vote
SIGCSE
2010
ACM
15 years 11 months ago
2010
ACM
Concurrent programming is becoming more important due to the growing dominance of multi-core processors and the prevalence of graphical user interfaces (GUIs). To prepare students...
128
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written i...
116
click to vote
GPCE
2005
Springer
15 years 9 months ago
2005
Springer
Aspect-oriented programming (AOP) is gaining popularity as a new way of modularising cross-cutting concerns. The aspectbench compiler (abc) is a new workbench for AOP research whi...
123
Voted
IFIP
2000
Springer
15 years 7 months ago
2000
Springer
Scientific programs rely heavily on software libraries. This paper describes the limitations of this reliance and shows how it degrades software quality. We offer a solution that u...
108
click to vote
GRC
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper proposes a code granulation space which can be applied to program construction and processing. Each granule in the space is defined as an improvement to the seed progra...