1425 search results - page 154 / 285 » Semantic Based Schema Analysis |
102
Voted
BTW
2007
Springer
15 years 8 months ago
2007
Springer
: Analysts interact with OLAP data in a predominantly “drill-down” fashion, i.e. gradually descending from a coarsely grained overview towards the desired level of detail. Anal...
152
click to vote
AOSD
2008
ACM
15 years 3 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
113
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
141
click to vote
ICSM
1998
IEEE
15 years 6 months ago
1998
IEEE
Visual impact analysis is a software visualisation technique that lets software maintainers judge the impact of proposed changes and plan maintenance accordingly. An existing CASE...
115
Voted
SAS
1999
Springer
15 years 6 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...