3801 search results - page 27 / 761 » An Approach to Modeling Software Safety |
JAR
2006
14 years 9 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
84
Voted
DAC
2006
ACM
15 years 10 months ago
2006
ACM
With ever-increasing power density and cooling costs in modern high-performance systems, dynamic thermal management (DTM) has emerged as an effective technique for guaranteeing th...
71
Voted
RE
2010
Springer
14 years 4 months ago
2010
Springer
Domain modeling is an important aspect of software engineering. This paper presents our experience of modeling land transportation domain in the formal framework of Event-B. The do...
CASE
2011
13 years 9 months ago
2011
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
FASE
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. Spreadsheets are notoriously error-prone. To help avoid the introduction of errors when changing spreadsheets, models that capture the structure and interdependencies of ...