-
2
-
-
0004269078
-
-
U.S. Nuclear Regulatory Commission, Washington D.C
-
W. Veselý, F. Goldberg, N. Roberts, and D. Haasl. Fault Tree Handbook. U.S. Nuclear Regulatory Commission, Washington D.C., 1981.
-
(1981)
Fault Tree Handbook
-
-
Veselý, W.1
Goldberg, F.2
Roberts, N.3
Haasl, D.4
-
5
-
-
0026925395
-
Dynamic fault-tree models for fault-tolerant computer systems
-
Sep
-
J. B. Dugan, S. Bavuso, and M. Boyd. Dynamic fault-tree models for fault-tolerant computer systems. IEEE Transactions on Reliability, 41(3):363-77, Sep 1992.
-
(1992)
IEEE Transactions on Reliability
, vol.41
, Issue.3
, pp. 363-377
-
-
Dugan, J.B.1
Bavuso, S.2
Boyd, M.3
-
7
-
-
0022730231
-
Software safety: Why, what, and how
-
Jun
-
N.G. Leveson. Software safety: Why, what, and how. ACM Computing Surveys, 18(2):125-163, Jun 1986.
-
(1986)
ACM Computing Surveys
, vol.18
, Issue.2
, pp. 125-163
-
-
Leveson, N.G.1
-
8
-
-
0026104017
-
Software safety in embedded computer systems
-
Feb
-
N.G. Leveson. Software safety in embedded computer systems. Communications of the ACM, 34(2):34-46, Feb 1991.
-
(1991)
Communications of the ACM
, vol.34
, Issue.2
, pp. 34-46
-
-
Leveson, N.G.1
-
9
-
-
0030231447
-
Targeting safety-related errors during software requirements analysis
-
R. Lutz. Targeting safety-related errors during software requirements analysis. Journal of Systems and Software, 34:223, 1996.
-
(1996)
Journal of Systems and Software
, vol.34
, pp. 223
-
-
Lutz, R.1
-
10
-
-
84963992451
-
Software engineering for safety: A roadmap
-
Limerick, Ireland
-
R. Lutz. Software engineering for safety: A roadmap. In Future of Software Engineering, pages 213-224, Limerick, Ireland, 2000.
-
(2000)
Future of Software Engineering
, pp. 213-224
-
-
Lutz, R.1
-
12
-
-
84954419920
-
Validation of object oriented software design with fault tree anaylsis
-
Greenbelt, MD
-
M. Towhidnejad, D. Wallace, and A. Gallo. Validation of object oriented software design with fault tree anaylsis. In Proceedings of the 28th Annual NASA Goddard Software Engineering Workshop(SEW'OS), pages 209-216, Greenbelt, MD, 2003.
-
(2003)
Proceedings of the 28th Annual NASA Goddard Software Engineering Workshop(SEW'OS)
, pp. 209-216
-
-
Towhidnejad, M.1
Wallace, D.2
Gallo, A.3
-
13
-
-
84962764258
-
Application of fault tree anaylsis to object oriented design
-
Marina del Ray, CA
-
M. Towhidnejad, D. Wallace, and A. Gallo. Application of fault tree anaylsis to object oriented design. In Proceedings of Software Engineering and Applications - 2003), pages 24-32, Marina del Ray, CA, 2003.
-
(2003)
Proceedings of Software Engineering and Applications - 2003)
, pp. 24-32
-
-
Towhidnejad, M.1
Wallace, D.2
Gallo, A.3
-
14
-
-
0034271913
-
Extending the product family approach to support safe reuse
-
R. Lutz. Extending the product family approach to support safe reuse. Journal of Systems and Software, 53(3):207-217, 2000.
-
(2000)
Journal of Systems and Software
, vol.53
, Issue.3
, pp. 207-217
-
-
Lutz, R.1
-
15
-
-
29244490327
-
Plfaultcat: A productline software fault tree analysis tool
-
Jan
-
J. Dehlinger and R. Lutz. Plfaultcat: A productline software fault tree analysis tool. Automated Software Engineering, 13(1):160-193, Jan 2006.
-
(2006)
Automated Software Engineering
, vol.13
, Issue.1
, pp. 160-193
-
-
Dehlinger, J.1
Lutz, R.2
-
18
-
-
85005986521
-
Software metrics: A roadmap
-
Limerick, Ireland
-
N. Fenton and N. Martin. Software metrics: A roadmap. In Future of Software Engineering, pages 357-370, Limerick, Ireland, 2000.
-
(2000)
Future of Software Engineering
, pp. 357-370
-
-
Fenton, N.1
Martin, N.2
-
26
-
-
0032116306
-
-
K.M. Hansen, A.P. Ravn, and V.; Stavridou. From safety analysis to software requirements. IEEE Transactions on Software Engineering, 24(7):573-584, July 1998.
-
K.M. Hansen, A.P. Ravn, and V.; Stavridou. From safety analysis to software requirements. IEEE Transactions on Software Engineering, 24(7):573-584, July 1998.
-
-
-
-
27
-
-
2442589827
-
A relational approach to software metrics
-
Nicosia, Cyprus
-
M. Scotto, A. Sillitti, G. Succi, and T. Vernazza. A relational approach to software metrics. In SAC 04, pages 1536-1540, Nicosia, Cyprus, 2004.
-
(2004)
SAC 04
, pp. 1536-1540
-
-
Scotto, M.1
Sillitti, A.2
Succi, G.3
Vernazza, T.4
-
28
-
-
77952597654
-
Early estimation of software quality using in-process testing metrics
-
St. Louis, MO
-
N. Nagappan, L. Williams, M. Vouk, and J. Osborne. Early estimation of software quality using in-process testing metrics. In International Conference on Software Engineering: Software Quality, pages 1-7, St. Louis, MO, 2005.
-
(2005)
International Conference on Software Engineering: Software Quality
, pp. 1-7
-
-
Nagappan, N.1
Williams, L.2
Vouk, M.3
Osborne, J.4
-
29
-
-
34547346334
-
-
AUVSI AUV Competition. Association for unmanned vehicle systems international. http://auvsi.org/competitions/water.cfm (current, Dec 2005).
-
AUVSI AUV Competition. Association for unmanned vehicle systems international. http://auvsi.org/competitions/water.cfm (current, Dec 2005).
-
-
-
-
30
-
-
34547372019
-
Prediction and Improvement of Safety in Software Systems
-
United States Naval Academy, Annapolis, MD
-
S. Jones. Prediction and Improvement of Safety in Software Systems. Trident Scholar Report, number 337, United States Naval Academy, Annapolis, MD, 2005.
-
(2005)
Trident Scholar Report
, Issue.337
-
-
Jones, S.1
|