3425 search results - page 130 / 685 » A Model Driven Approach for Software Systems Reliability |
203
click to vote
MOBIDE
2003
ACM
15 years 11 months ago
2003
ACM
The common vision of pervasive computing environments requires a very large range of devices and software components to interoperate seamlessly. From the assumption that these dev...
162
click to vote
SIMUTOOLS
2008
15 years 7 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
158
click to vote
WORDS
2005
IEEE
15 years 12 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
181
click to vote
RITA
2000
15 years 6 months ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...
165
click to vote
AMOST
2005
ACM
15 years 8 months ago
2005
ACM
Early estimation of defect density of a product is an important step towards the remediation of the problem associated with affordably guiding corrective actions in the software d...