3456 search results - page 356 / 692 » Byte Code Engineering |
148
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
102
click to vote
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper reports on our experience in automatically migrating the crosscutting concerns of a large-scale software system, written in C, to an aspect-oriented implementation. We ...
119
click to vote
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
We have built a software development tool, CLIME, that uses constraints to ensure the consistency of the different artifacts associated with software. This approach to software dev...
149
click to vote
IWPC
2005
IEEE
15 years 10 months ago
2005
IEEE
We perform knowledge discovery in software archives in order to detect refactorings on the level of classes and methods. Our REFVIS prototype finds these refactorings in CVS repo...
140
click to vote
SCAM
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents an optimisation technique which automatically inlines certain classes within their enclosing class. Inlining a class involves inserting the fields and methods ...