682 search results - page 62 / 137 » Java Implementation Verification Using Reverse Engineering |
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
14 years 1 months ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Type safety and expressiveness of many existing Java libraries and their client applications would improve, if the libraries were upgraded to define generic classes. Efficient and...
ASWEC
2005
IEEE
14 years 1 months ago
2005
IEEE
machines have been used as an implementation mechanism for programming languages for more than thirty years. In their latest incarnation execution engines based on virtual machine...
IWPSE
2005
IEEE
14 years 1 months ago
2005
IEEE
A software system is continuously changed so many times. When we try to change a software, we must understand how the software is implemented, especially about the functions to be...
ICSE
2001
IEEE-ACM
14 years 3 days ago
2001
IEEE-ACM
It has long been accepted that requirements analysis should precede architectural design and implementation, but in software evolution and reverse engineering this concern with bl...