16 search results - page 3 / 4 » hase 1998 |
HASE
1998
IEEE
13 years 9 months ago
1998
IEEE
Transforming software requirements into a software design involves the iterative partition of a solution into software components. The process is human-intensive and does not guar...
HASE
1998
IEEE
13 years 9 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
HASE
1998
IEEE
13 years 9 months ago
1998
IEEE
An important practical problem in fault diagnosis is discriminating between permanent faults and transient faults. In many computer systems, the majority of errors are due to tran...
HASE
1998
IEEE
13 years 9 months ago
1998
IEEE
In safety-critical systems, certain safety constraints must be satisfied before an operation can be performed. Such constraints typically depend on the state of the system at the ...
HASE
1998
IEEE
13 years 9 months ago
1998
IEEE
Residual defects is one of the most important factors that allow one to decide if a piece of software is ready to be released. In theory, one can find all the defects and count th...