Sciweavers

3688 search results - page 27 / 738
» Static analysis of aspects
Sort
View
FMOODS
2006
14 years 11 months ago
Transformation Laws for UML-RT
Abstract. With model-driven development being on the verge of becoming an industrial standard, the need for systematic development strategies based on safe model transformations is...
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
65
Voted
DAC
2004
ACM
15 years 10 months ago
Static timing analysis using backward signal propagation
Dongwoo Lee, Vladimir Zolotov, David Blaauw
74
Voted
ICSE
2004
IEEE-ACM
15 years 9 months ago
JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications
Carl Gould, Zhendong Su, Premkumar T. Devanbu
29
Voted
CORR
2010
Springer
58views Education» more  CORR 2010»
14 years 9 months ago
Soundly Handling Static Fields: Issues, Semantics and Analysis
Although in most cases class initialization works as expected, some static fields may be read before being initialized, despite being initialized in their corresponding class init...
Laurent Hubert, David Pichardie