9626 search results - page 1273 / 1926 » Invariant Based Programming |
215
Voted
ICSM
2005
IEEE
16 years 27 days ago
2005
IEEE
Program flow analysis has many applications in software tools for program understanding, restructuring, verification, testing and reverse engineering. There are two important re...
167
click to vote
IWPC
2005
IEEE
16 years 26 days ago
2005
IEEE
Approximately 70% of the source code of a software system consists of identifiers. Hence, the names chosen as identifiers are of paramount importance for the readability of comp...
204
click to vote
IWPC
2005
IEEE
16 years 26 days ago
2005
IEEE
The fact that crosscutting concerns (aspects) cannot be well modularized in object oriented software is an impediment to program comprehension: the implementation of a concern is ...
179
click to vote
KBSE
2005
IEEE
16 years 26 days ago
2005
IEEE
To realize the benefits of Aspect Oriented Programming (AOP), developers must refactor active and legacy code bases into an AOP language. When refactoring, developers first need...
201
Voted
RTSS
2005
IEEE
16 years 26 days ago
2005
IEEE
— This paper is interested in reward maximization of periodic real-time tasks under a given energy constraint, where the reward received depends on how much computation a task ru...