302 search results - page 30 / 61 » Indexing the Java API Using Source Code |
103
click to vote
WCRE
2003
IEEE
15 years 7 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...
125
Voted
SIGSOFT
2000
ACM
15 years 6 months ago
2000
ACM
Exception handling mechanisms are intended to help developers build robust systems. Although an exception handling mechanism provides a basis for structuring source code dealing w...
125
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
We introduce the (private) entropy of a directed graph (in a new network coding sense) as well as a number of related concepts. We show that the entropy of a directed graph is ide...
133
click to vote
CSMR
2008
IEEE
15 years 3 months ago
2008
IEEE
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...
152
click to vote
ENTCS
2006
15 years 2 months ago
2006
We present a runtime verification framework for Java programs. Properties can be specified in Linear-time Temporal Logic (LTL) over AspectJ pointcuts. These properties are checked...