-
2
-
-
0242411475
-
Architectural-level risk analysis using UML
-
K. Goseva-Popstojanova, A. Hassan, A. Guedem, W. Abdelmoez, D. Nassar, H. Ammar, A. Mili, "Architectural-Level Risk Analysis using UML", IEEE Transactions on Software Engineering, Vol. 29, No. 10, 2003, pp 946-960.
-
(2003)
IEEE Transactions on Software Engineering
, vol.29
, Issue.10
, pp. 946-960
-
-
Goseva-Popstojanova, K.1
Hassan, A.2
Guedem, A.3
Abdelmoez, W.4
Nassar, D.5
Ammar, H.6
Mili, A.7
-
5
-
-
27744579846
-
Procedures for performing failure mode effects and criticality analysis
-
Nov.
-
US Military Standard, "Procedures for Performing Failure Mode Effects and Criticality Analysis", US ML_STD_1629A/Notice 2, Nov. 1984.
-
(1984)
US ML_STD_1629A/Notice
, vol.2
-
-
-
6
-
-
27744553381
-
-
submitted for publication
-
V. Cortellessal, K. Goseva-Popstojanova, K. Appukutty, A. Guedem, A. Hassan, R. Elnaggar, W. Abdelmoez, and H. H. Ammar, "Performance-based Risk Analysis of UML Models", submitted for publication.
-
Performance-based Risk Analysis of UML Models
-
-
Cortellessal, V.1
Goseva-Popstojanova, K.2
Appukutty, K.3
Guedem, A.4
Hassan, A.5
Elnaggar, R.6
Abdelmoez, W.7
Ammar, H.H.8
-
9
-
-
0036612912
-
A methodology for architectural-level reliability risk analysis
-
Sherif M. Yacoub, Hany H. Ammar, "A Methodology for Architectural-Level Reliability Risk Analysis", IEEE Transactions on Software Engineering, Vol. 28, No 6, 2002, pp 529-547.
-
(2002)
IEEE Transactions on Software Engineering
, vol.28
, Issue.6
, pp. 529-547
-
-
Yacoub, S.M.1
Ammar, H.H.2
-
10
-
-
0029191921
-
Experience with the application of HAZOP to computer-based systems
-
Gaithersburg, MD
-
McDermid, J.A., Nicholson M., Pumfrey D.J., Fenelon P., "Experience with the application of HAZOP to computer-based systems", IEEE, COMPASS '95: Proceedings of the Tenth Annual Conference on Computer Assurance, 1995, Gaithersburg, MD, pp 37-48.
-
(1995)
IEEE, COMPASS '95: Proceedings of the Tenth Annual Conference on Computer Assurance
, pp. 37-48
-
-
McDermid, J.A.1
Nicholson, M.2
Pumfrey, D.J.3
Fenelon, P.4
-
11
-
-
0034833312
-
Deriving safety requirements using scenarios
-
August 27-31, Toronto, Canada
-
th IEEE Int'l Symposium on Requirements Engineering, August 27-31, 2001, Toronto, Canada, pp 228-236.
-
(2001)
th IEEE Int'l Symposium on Requirements Engineering
, pp. 228-236
-
-
Allenby, K.1
Kelly, T.2
-
12
-
-
27744554276
-
Methodology for architecture level hazard analysis, a survey
-
Tunis, Tunisia, July 14-18
-
A. Hassan, K. Goseva-Popstojanova, H. Ammar, "Methodology for Architecture Level Hazard Analysis, A Survey", ACS/IEEE Intl. Conference on Computer Systems and Applications (AICCSA '03), Tunis, Tunisia, July 14-18, 2003, pp 68-70.
-
(2003)
ACS/IEEE Intl. Conference on Computer Systems and Applications (AICCSA '03)
, pp. 68-70
-
-
Hassan, A.1
Goseva-Popstojanova, K.2
Ammar, H.3
-
13
-
-
0035789634
-
Hazard analysis in object oriented design of dependable systems
-
Goteborg, Sweden
-
Per Johannessen, Christian Grante, Anders Alminger, Ulrik Eklund Jan Torin, "Hazard Analysis in Object Oriented Design of Dependable Systems", Proceeding of the 2001 Int'l conference on Dependable Systems and Networks, 2001, Goteborg, Sweden, pp 507-512.
-
(2001)
Proceeding of the 2001 Int'l Conference on Dependable Systems and Networks
, pp. 507-512
-
-
Johannessen, P.1
Grante, C.2
Alminger, A.3
Torin, U.E.J.4
-
14
-
-
84882158702
-
Scenario- based FMEA: A life cycle cost perspective
-
September 10-14, Baltimore, Maryland
-
Steven Kmenta, "Scenario- Based FMEA: A Life Cycle Cost Perspective", Proceedings of DETC 2000, ASME Design Engineering Technical Conferences, September 10-14, 2000, Baltimore, Maryland, pp 270-281.
-
(2000)
Proceedings of DETC 2000, ASME Design Engineering Technical Conferences
, pp. 270-281
-
-
Kmenta, S.1
-
15
-
-
84961327837
-
Hierarchically performed hazard origin and propagation studies
-
15. Lecture Notes in Computer Science, 1698
-
th Intl Conference on Computer Safety, Reliability and Security (SAFECOMP'99), 1999, Lecture Notes in Computer Science, 1698, pp 139-152.
-
(1999)
th Intl Conference on Computer Safety, Reliability and Security (SAFECOMP'99)
, pp. 139-152
-
-
Papadopoulos, Y.1
McDermid, J.A.2
-
17
-
-
0032116306
-
From safety analysis to software requirements
-
July
-
Kirsten M. Hansen, Anders P. Ravn, Victoria Stavridou, "From Safety Analysis to Software Requirements", IEEE Transaction on Software Engineering, Vol. 24, No. 7, July 1998, pp 573-584.
-
(1998)
IEEE Transaction on Software Engineering
, vol.24
, Issue.7
, pp. 573-584
-
-
Hansen, K.M.1
Ravn, A.P.2
Stavridou, V.3
-
18
-
-
34547189123
-
Verifying formal specifications using fault tree analysis
-
Nov. 1-2, Kanazawa, Japan
-
Shaoying Liu, "Verifying Formal Specifications Using Fault Tree Analysis", Int'l Symposium on Principles of Software Evolution, Nov. 1-2, 2000, Kanazawa, Japan, pp 271-280.
-
(2000)
Int'l Symposium on Principles of Software Evolution
, pp. 271-280
-
-
Liu, S.1
-
19
-
-
84951546944
-
Modeling failure modes and effects
-
Gilchrist, W. "Modeling failure modes and effects", International Journal of Quality and Reliability Management, Vol. 10, No. 5, 1993, pp 16-23.
-
(1993)
International Journal of Quality and Reliability Management
, vol.10
, Issue.5
, pp. 16-23
-
-
Gilchrist, W.1
-
20
-
-
0003739649
-
-
Published by Addison Wesley, ISBN: 0201657848
-
nd Edition, Published by Addison Wesley, ISBN: 0201657848, 2000
-
(2000)
nd Edition
-
-
Douglass, B.P.1
-
21
-
-
84941181463
-
Operational profiles in software reliability engineering
-
Mar.
-
J. D. Musa. "Operational profiles in software reliability engineering", IEEE Software, Vol. 10, No. 2, Mar. 1993, pp 14-32.
-
(1993)
IEEE Software
, vol.10
, Issue.2
, pp. 14-32
-
-
Musa, J.D.1
|