-
2
-
-
0022581573
-
An Experimental Evaluation of the Assumption of Independence in Multiversion Programming
-
J.C. Knight and N.G. Leveson, "An Experimental Evaluation of the Assumption of Independence in Multiversion Programming," IEEE Trans. Software Eng., Vol. 12, No. 1, 1986, pp. 96-109.
-
(1986)
IEEE Trans. Software Eng.
, vol.12
, Issue.1
, pp. 96-109
-
-
Knight, J.C.1
Leveson, N.G.2
-
3
-
-
0022582303
-
An Empirical Study of Failure Probabilities in Multi-Version Software
-
IEEE Computer Soc., Los Alamitos, Calif.
-
J.C. Knight and N.G. Leveson, "An Empirical Study of Failure Probabilities in Multi-Version Software," FTCS-16, IEEE Computer Soc., Los Alamitos, Calif., 1986.
-
(1986)
FTCS-16
-
-
Knight, J.C.1
Leveson, N.G.2
-
4
-
-
0025385672
-
Analysis of Faults in an N-Version Software Experiment
-
S.S. Brilliant et al., "Analysis of Faults in an N-Version Software Experiment," IEEE Trans. Software Eng., Vol. 16, No. 2, 1990, pp. 238-247.
-
(1990)
IEEE Trans. Software Eng.
, vol.16
, Issue.2
, pp. 238-247
-
-
Brilliant, S.S.1
-
5
-
-
0003960126
-
-
McGraw-Hill, New York
-
J. Musa et al., Software Reliability: Measurement, Prediction, Application, McGraw-Hill, New York, 1987.
-
(1987)
Software Reliability: Measurement, Prediction, Application
-
-
Musa, J.1
-
6
-
-
84889544073
-
Achieving Error-Free Man-Rated Software
-
Software Quality Eng., Jacksonville, Fla.
-
T.W. Keller, "Achieving Error-Free Man-Rated Software," 2nd Int'l Software Testing, Analysis and Review Conf., Software Quality Eng., Jacksonville, Fla., 1993.
-
(1993)
2nd Int'l Software Testing, Analysis and Review Conf.
-
-
Keller, T.W.1
-
7
-
-
0031099876
-
Reexamining the Fault Density-Component Size Connection
-
Mar.
-
L. Hatton, "Reexamining the Fault Density-Component Size Connection," IEEE Software, Mar. 1997, pp. 89-97.
-
(1997)
IEEE Software
, pp. 89-97
-
-
Hatton, L.1
-
8
-
-
0031078267
-
Investigating the Influence of Formal Methods
-
Feb.
-
S.L. Pfleeger and L. Hatton, "Investigating the Influence of Formal Methods," Computer, Feb. 1997, pp. 33-43.
-
(1997)
Computer
, pp. 33-43
-
-
Pfleeger, S.L.1
Hatton, L.2
-
9
-
-
3943083374
-
The Need for Evidence from Disparate Sources to Evaluate Software Safety
-
F. Redmill and T. Anderson, eds., Springer-Verlag, London
-
B. Littlewood, "The Need for Evidence from Disparate Sources to Evaluate Software Safety," Directions in Safety-Critical Systems, F. Redmill and T. Anderson, eds., Springer-Verlag, London, 1993, p. 285.
-
(1993)
Directions in Safety-Critical Systems
, pp. 285
-
-
Littlewood, B.1
-
10
-
-
0028516369
-
How Accurate is Scientific Software?
-
Oct.
-
L. Hatton and A. Roberts, "How Accurate is Scientific Software?" IEEE Trans. Software Eng., Oct. 1994, pp. 785-797.
-
(1994)
IEEE Trans. Software Eng.
, pp. 785-797
-
-
Hatton, L.1
Roberts, A.2
-
11
-
-
84945714159
-
PODS - A Project on Diverse Software
-
P.G. Bishop et al., "PODS - A Project on Diverse Software," IEEE Trans. Software Eng., Vol. SE-12, No. 9, 1986, pp. 929-940.
-
(1986)
IEEE Trans. Software Eng.
, vol.SE-12
, Issue.9
, pp. 929-940
-
-
Bishop, P.G.1
-
12
-
-
0002635919
-
Software Failures - Follies and Fallacies
-
L. Hatton, "Software Failures - Follies and Fallacies," IEE Rev., Vol. 43, No. 2, 1997, pp. 49-54.
-
(1997)
IEE Rev.
, vol.43
, Issue.2
, pp. 49-54
-
-
Hatton, L.1
|