4067 search results - page 201 / 814 » Programs for Applying Symmetries |
170
click to vote
ISSRE
2008
IEEE
16 years 1 months ago
2008
IEEE
Aspect-Oriented Programming (AOP) provides new modularization of software systems by encapsulating crosscutting concerns. AspectJ, an AOP language, uses abstractions such as point...
180
click to vote
SCAM
2008
IEEE
16 years 29 days ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
169
click to vote
CCS
2007
ACM
16 years 23 days ago
2007
ACM
Despite the recent advances in the theory underlying obfuscation, there still is a need to evaluate the quality of practical obfuscating transformations more quickly and easily. T...
153
click to vote
ICSE
2007
IEEE-ACM
16 years 22 days ago
2007
IEEE-ACM
Mapping code elements in one version of a program to corresponding code elements in another version is a fundamental building block for many software engineering tools. Existing t...
150
click to vote
OTM
2007
Springer
16 years 22 days ago
2007
Springer
Software patterns have evolved into a commonly used means to design and implement software systems. Programming patterns, architecture and design patterns have been quite successfu...