曝光臺 注意防騙 網曝天貓店富美金盛家居專營店坑蒙拐騙欺詐消費者

section 11.4, Designers’ practices, section 12.4, How much testing do I need to do?, and the introduction to Chapter
13.
References
[1] The Reliability of One Member of a Sequence of Similar Products, Littlewood B and Wright DR,
DATUM/CSR/04 CSR, City University, 1994
[2] The Impact of Diversity Upon Common Mode Failures, Littlewood B, in Reliability Engineering and Systems
Safety 51, pp101-113, 1996 (first published as DATUM/CSR/05, 1994)
[3] Representing Uncertainty for Safety-Critical Systems, Wright DR and Cai KY, DATUM/CSR/09 CSR, City
University, 1994.
[4] Uncertainty in software-intensive systems, Littlewood B, Neil M and Ostrolenk G, High Integrity Systems
Journal, Vol. 1 No. 5, pp 407-413, 1996.
[5] The role of models in managing the uncertainty of software-intensive systems, Littlewood B, Neil M and
Ostrolenk G, in Reliability Engineering and Systems Safety 46, pp87-95, 1995 (First published as
DATUM/CSR/06)
[6] Applying Bayesian belief networks to systems dependability assessment, Neil M, Littlewood B, Fenton NE,
Safety-critical Systems: The Convergence of High Tech and Human Factors, Ed Redmill and Anderson,
1996, ISBN 3-540-76009-1, DATUM/CSR/012.
[7] Rigorously assessing software reliability and safety, Strigini L and Fenton NE, Proc Product Assurance
Symposium and Software Product Assurance Workshop, pp19-21 March 1996, ESA SP-377, May 1996,
DATUM/CSR/013
[8] Multi-criteria decision aid with emphasis on its role in dependability assessment, Fenton NE,
DATUM/CSR/02, 1994, + D.
[9] The role of measurement in software safety assessment, Fenton NE, in 'Safety and Reliability of Software
Based Systems' (Ed Shaw, R), Springer Verlag, 217-248, 1996.
[10] Metrics and models to predict software fault rates, Fenton NE, Neil M, Ostralenk G, DATUM/CSR/10, CSR,
1995, + D.
[11] Evaluating the effectiveness of Z: the claims made about CICS and where we go from here, Fenton NE and
Finney K, J Systems and Software, Nov 1996.
Advances in Safety Critical Systems - Results and Achievements from the DTI/EPSRC R&D Programme. Compiled and edited by Mike Falla.
9
[12] A Bayesian model that combines disparate evidence for the quantitative assessment of system dependability,
Littlewood B and Wright DR, Proc 14th International Conference on Computer Safety (SafeComp'95), pp
173-190, Springer, 1995. (First published as DATUM/CSR/10 CSR, City University, 1994).
[13] Towards A Model of System Level Dependability, Sutcliffe A and Grant S, DATUM/CHCID/04, Centre for
HCI Design, School of Informatics, City University, London, 1993, + C.
[14] Pitfalls in the Design Process: Assessing the potential for experts' errors, Sutcliffe A, and Rugg G and Ayton
P, DATUM/CHCID/02, Centre for HCI Design, School of Informatics, City University, London, 1994, + C.
[15] A taxonomy of error types for failure analysis and risk assessment, Sutcliffe A, and Rugg G,
DATUM/CHCID/03, Centre for HCI Design, School of Informatics, City University, London, 1994 + C.
[16] A structured method for analysis and design of safety critical user interfaces with recommendations on
operational procedures and management, Sutcliffe A.G. & Ryan M.R. (1996), Centre for HCI Design Report
96/9, (+ Obtainable from School of Informatics, City University, London, price £50.00)
[17] User-centred Safety Critical Design, Sutcliffe A, DATUM/CHCID/05, 1996, + C.
[18] Investigating the process of safety critical design, Sutcliffe A.G., Ryan M. and Doubleday A, Proceedings of
CSR Conference 'Human factors in safety critical systems', Burgstock, Switzerland. Ed Dobson J, 1996
[19] A maturity framework for assessing the process management and practice of safety critical design, Sutcliffe
A.G. and Ryan M., Centre for HCI Design report, CHCID 96/15, School of Informatics, City University,
1996, + C.
[20] Knowledge Acquisition Techniques for Requirements Engineering, Maiden N.A.M. & Rugg G,
DATUM/CHCID/01, Proceedings Workshop on Requirements Elicitation for System Specification, Keele
UK, 12-14 July, 1994, + C.
[21] On a Stopping Rule for the Operational Testing of Safety-Critical Software, Littlewood B and Wright DR,
Digest of IEEE 1995 FTCS, 25th Ann Intl Symp Fault-Tolerant Computing, (Pasadena), IEEE Comp Society
Silver Spring, Md., pp 444-451, 1995. (First published as DATUM/CSR/03 CSR, City University, 1994).
[22] Assessing the usability and efficiency of Design rationale, Sutcliffe A.G. and Ryan M., Centre for HCI
Design report, CHCID 96/18, School of Informatics, City University, 1996, + C.
[23] Myths about formal methods revisited, Rugg G, Stavridou V, Sutcliff A, DATUM/CHCID/05, 1995, + C.
Project number: 9314 Approx. Project Cost: £0.5m Start date: Feb 1993 End date: Jan 1996
　
中國航空網 www.k6050.com
航空翻譯 www.aviation.cn
本文鏈接地址：航空資料25(148)