3688 search results - page 80 / 738 » Static analysis of aspects |
100
click to vote
TOOLS
1999
IEEE
15 years 4 months ago
1999
IEEE
The goal of this paper is to obtain a one-to-one correspondence between state machines as e.g. used in UML and object-oriented programming languages. A proposal is made for a lang...
104
click to vote
FMSD
2007
14 years 11 months ago
2007
This paper addresses the graphical representation of static aspects of B specifications, using UML class diagrams. These diagrams can help understand the specification for stakeho...
107
click to vote
WCRE
2009
IEEE
15 years 6 months ago
2009
IEEE
—Current malware is often transmitted in packed or encrypted form to prevent examination by anti-virus software. To analyze new malware, researchers typically resort to dynamic c...
114
click to vote
CSMR
2002
IEEE
15 years 4 months ago
2002
IEEE
Static analysis aims at recovering the structure of a software system, while dynamic analysis focuses on its run time behaviour. We propose a technique for combining the analysis ...
ICDE
2005
IEEE
15 years 5 months ago
2005
IEEE
Web Search System exists to retrieve necessary information on the WWW space. However, these are not accuracy enough. Then, we propose the technique for using Web Page Grouping tog...