682 search results - page 80 / 137 » Java Implementation Verification Using Reverse Engineering |
127
Voted
CSMR
2007
IEEE
15 years 11 months ago
2007
IEEE
Libraries provide implementation for the concepts of a particular domain. When programmers use a library, they do not work any more with the real-world concepts but with their imp...
154
Voted
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Feature location aims at locating pieces of code that implement a given set of features (requirements). It is a necessary first step in every program comprehension and maintenanc...
169
click to vote
AOSD
2008
ACM
15 years 6 months ago
2008
ACM
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...
128
Voted
ICSE
2005
IEEE-ACM
16 years 4 months ago
2005
IEEE-ACM
When building scalable systems that involve general-purpose computation and persistent data, object-oriented languages and relational databases are often essential components. Yet...
163
Voted
JSW
2008
15 years 4 months ago
2008
An estimation of change-proneness of parts of a software system is an active topic in the area of software engineering. Such estimates can be used to predict changes to different c...