2796 search results - page 205 / 560 » A time structure based software reliability model |
131
click to vote
AGTIVE
2003
Springer
15 years 9 months ago
2003
Springer
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...
156
click to vote
ASWSD
2004
Springer
15 years 9 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
134
click to vote
VL
2010
IEEE
15 years 2 months ago
2010
IEEE
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
123
click to vote
VLSID
2008
IEEE
16 years 4 months ago
2008
IEEE
With increasing adoption of Electronic System Level (ESL) tools, effective design and validation time has reduced to a considerable extent. Cosimulation is found to be a principal...
120
click to vote
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
An important aspect in the development of dependable software is to decide where to locate mechanisms for efficient error detection and recovery. We present a comparison between ...