264 search results - page 18 / 53 » Ephemeral Java Source Code |
JSS
2007
13 years 8 months ago
2007
Without rigorous software development and maintenance, software tends to lose its original architectural structure and become difficult to understand and modify. ArchJava, a recen...
WORDS
2002
IEEE
14 years 1 months ago
2002
IEEE
Certainly, in hard real-time systems, it is reasonable to argue that no hard real-time threads should behave in an unpredictable way and that schedulability should be guaranteed b...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
Developers spend significant time reading and navigating code fragments spread across multiple locations. The filebased nature of contemporary IDEs makes it prohibitively difficul...
CARDIS
2000
Springer
14 years 7 days ago
2000
Springer
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and verification of JavaCard source code. As a first ste...
WCRE
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper promotes the use of a mathematical concept lattice based upon the binary relation of accesses between methods and fields as a novel visualization of individual JAVA cl...