432 search results - page 11 / 87 » Automated testing of refactoring engines |
AOSD
2008
ACM
15 years 23 days ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
113
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
123
click to vote
ECMDAFA
2008
Springer
15 years 16 days ago
2008
Springer
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...
SIGSOFT
2005
ACM
15 years 11 months ago
2005
ACM
The C language is among the most widely used in the world, particularly for critical infrastructure software. C programs depend upon macros processed using the C preprocessor, but...
ICSE
2005
IEEE-ACM
15 years 10 months ago
2005
IEEE-ACM
