5775 search results - page 80 / 1155 » A Rationale-based Analysis Tool |
SIGMETRICS
2010
ACM
14 years 10 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
14 years 10 months ago
2010
Springer
96
Voted
JUCS
2010
14 years 10 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.
107
click to vote
LCTRTS
2010
Springer
14 years 9 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...
139
click to vote
ECEASST
2010
14 years 9 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...