1210 search results - page 102 / 242 » Formal Techniques for Java Programs |
136
Voted
IIE
2007
15 years 2 months ago
2007
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...
125
click to vote
JUCS
2007
15 years 2 months ago
2007
: The technology that supports Aspect-Oriented Programming (AOP) tools is inherently intrusive, since it changes the behavior of base application code. Advice weaving performed by ...
116
click to vote
CC
2005
Springer
15 years 8 months ago
2005
Springer
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
137
click to vote
CGO
2003
IEEE
15 years 7 months ago
2003
IEEE
Given the high cost of producing software, development of technology for prevention of software piracy is important for the software industry. In this paper we present a novel app...
109
Voted
ICSE
2009
IEEE-ACM
16 years 3 months ago
2009
IEEE-ACM
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...