Sciweavers

3688 search results - page 27 / 738
» Static analysis of aspects
Sort
View
FMOODS
2006
13 years 9 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
DAC
2004
ACM
14 years 8 months ago
Static timing analysis using backward signal propagation
Dongwoo Lee, Vladimir Zolotov, David Blaauw
ICSE
2004
IEEE-ACM
14 years 7 months ago
JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications
Carl Gould, Zhendong Su, Premkumar T. Devanbu
CORR
2010
Springer
58views Education» more  CORR 2010»
13 years 7 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