2796 search results - page 345 / 560 » A time structure based software reliability model |
157
click to vote
JAIR
2008
15 years 6 months ago
2008
Inspired by AND/OR search spaces for graphical models recently introduced, we propose to augment Multi-Valued Decision Diagrams (MDD) with AND nodes, in order to capture function ...
154
click to vote
SEKE
2007
Springer
16 years 8 days ago
2007
Springer
This paper presents a strategy, based on requirement patterns (RP), aimed at improving the requirement analysis discipline by allowing business analysts (BA) to produce more relia...
159
click to vote
JUCS
2007
15 years 6 months ago
2007
: Nowadays, software evolution is a very hot topic. It is particularly complex when it regards critical and nonstopping systems. Usually, these situations are tackled by hard-codin...
186
click to vote
EMSOFT
2007
Springer
16 years 10 days ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...
161
click to vote
SEE
1997
Springer
15 years 10 months ago
1997
Springer
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...