264 search results - page 2 / 53 » Ephemeral Java Source Code |
KBSE
2006
IEEE
13 years 11 months ago
2006
IEEE
Recovering design patterns can enhance existing source code analysis tools by bringing program understanding to the design level. This paper presents a new, fully automated patter...
ASWEC
2008
IEEE
13 years 7 months ago
2008
IEEE
The basic idea behind software reuse is that software developers use reusable components found in software repositories to reduce the amount of code that has to be written and so ...
ICSE
2000
IEEE-ACM
13 years 8 months ago
2000
IEEE-ACM
SEC
2003
13 years 6 months ago
2003
Abstract This paper presents a systematic approach to developing Java Card applets and/or formal specifications for them, starting from descriptions in the form of finite state m...
ESOP
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. A verified compiler is an integral part of every security infrastructure. Previous work has come up with formal semantics for sequential and concurrent variants of Java a...