852 search results - page 12 / 171 » Understanding How the Requirements Are Implemented in Source... |
EUROSYS
2009
ACM
15 years 8 months ago
2009
ACM
Program source is an intermediate representation of software; it lies between a developer’s intention and the hardware’s execution. Despite advances in languages and developme...
121
click to vote
COOTS
2001
15 years 1 months ago
2001
Many authors have proposed using byte code rewriting as a way of adapting or extending the behaviour of Java There are toolkits available that simplify this process and raise the ...
121
click to vote
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
101
click to vote
PROCEDIA
2010
14 years 6 months ago
2010
We argue that producing maintainable high-performance implementations of finite element methods for multiple targets requires that they are written using a high-level domain-speci...
KBSE
2006
IEEE
15 years 5 months ago
2006
IEEE
Recovering design patterns can enhance existing source code analysis tools by bringing program understanding to the design level. This paper presents a new, fully automated patter...