2409 search results - page 31 / 482 » Reverse engineering the Internet |
WCRE
2000
IEEE
15 years 2 months ago
2000
IEEE
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
119
click to vote
ICSM
2003
IEEE
15 years 4 months ago
2003
IEEE
In object oriented programming, the functionalities of a system result from the interactions (message exchanges) among the objects allocated by the system. While designing object ...
IWPC
2006
IEEE
15 years 5 months ago
2006
IEEE
A common and difficult maintenance activity is the integration of existing software components or tools into a consistent and interoperable whole. One area in which this has prove...
IWPC
2006
IEEE
15 years 5 months ago
2006
IEEE
Software systems are often written in more than one programming language. During development, programmers need to understand not only the dependencies among code in a particular l...
101
click to vote
KBSE
1997
IEEE
15 years 3 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...