3425 search results - page 130 / 685 » A Model Driven Approach for Software Systems Reliability |
153
Voted
MOBIDE
2003
ACM
15 years 8 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...
121
Voted
SIMUTOOLS
2008
15 years 5 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 ...
126
click to vote
WORDS
2005
IEEE
15 years 9 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 ...
138
click to vote
RITA
2000
15 years 3 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 ...
134
Voted
AMOST
2005
ACM
15 years 5 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...