5775 search results - page 80 / 1155 » A Rationale-based Analysis Tool |
143
click to vote
SIGMETRICS
2010
ACM
15 years 3 months ago
2010
ACM
Sustainability is becoming an increasingly important driver for which decision makers – consumers, corporate and government – rely on principled, accurate and provenanced metr...
CORR
2010
Springer
15 years 3 months ago
2010
Springer
144
click to vote
JUCS
2010
15 years 3 months ago
2010
: In this paper, we describe the static analysis of the XEN 3.0.3 hypervisor using the Frama-C static analysis tool.
167
click to vote
LCTRTS
2010
Springer
15 years 2 months ago
2010
Springer
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...
200
click to vote
ECEASST
2010
15 years 2 months ago
2010
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...