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

Reliability 1994; 4 (2): 63-80.
[Bainbridge 96] Recent research in program flowgraph theory. Bainbridge J.R. and Whitty R.W., in Mitchell C.
(ed.) Applications of Combinatorial Mathematics. Oxford University Press (to appear).
[Howson 95] PL/M-86 front-end for QUALMS. Howson E.F. MSc Dissertation, University of Greenwich, 1995.
[How Tai Wah 96]Fault coupling in finite functions. How Tai Wah K.S. Submitted to ACM Trans. on Software
Eng. and Methodology.
[Neil 96] Applying Bayesian belief networks to system dependability assessment. Neil M., Littlewood B. and
Fenton N., in Safety-critical systems: the convergence of hich tech and human factors. Springer-Verlag,
London, 1996: 71-94.
[Whitty 97] Product monitoring for integrity and safety enhancement, Whitty, R.W., in Safer Systems: Proceedings
of the Fifth Safety-critical Systems Symposium, Brighton 1997, Springer-Verlag, ISBN 3-540-76134-9.
Project number: 9308 Approx. Project Cost: £0.3m Start date: Oct 1993 End date: Sep 1996
EPSRC Grant number: j18880
Advances in Safety Critical Systems - Results and Achievements from the DTI/EPSRC R&D Programme. Compiled and edited by Mike Falla.
20
PROTEUS Understanding changing requirements
University of Newcastle
University of Loughborough (HUSAT Research Institute)
University of York
British Aerospace (Military Aircraft)
Rolls Royce Aerospace
Rolls Royce and Associates
Contact: Mr R Sugden
Centre for Software Reliability
Bedson Building
University of Newcastle
Newcastle upon Tyne NE1 7RU
Tel: 0191 222 8971.
Summary
The project has approached the problem of changing requirements for safety-critical systems by studying examples
of current industrial practice in dealing with changing requirements, with the objectives of:
· understanding the nature of requirements and change within an organisational context;
· proposing criteria for assessing solutions to the problem of managing changing requirements;
· proposing and assessing candidate solutions.
The main areas of interest examined by the project were:
· study of the representation of change;
· study of the socio-technical methods, process and culture for change;
· study and development of analysis and reasoning processes.
A considered decision was made that the product of the project should not consist of a ‘solution’ to the problem of
change for the practical reason that there clearly is no one solution to this problem. A product of more lasting value
was considered to be a set of recommendations for the improved handling of change, which would be a distillation
of the findings of the above process, together with a method for the selection and assessment of processes, methods,
tools and techniques as vehicles for handling change using sets of criteria generated by the project. These
recommendations and the selection method are recorded in reference [1] below.
For a more detailed description see section 9.2, The problem of changing reuirements.
References
[1] Meeting the Challenge of Changing Requirements, June 1996, + D.
[2] Strategies, Tactics and Methods for Handling Change, R.C. Sugden & M.R. Strens, Proceedings of the IEEE
Symposium on Engineering of Computer Based Systems (ECBS'96), Germany, March 1996.
[3] Change Analysis: a Step towards Meeting the Challenge of Changing Requirements, M.R. Strens & R.C.
Sugden, Proceedings of the IEEE Symposium on Engineering of Computer Based Systems, (ECBS'96),
Germany, March 1996.
[4] Meeting the Challenge of Changing Requirements, R.C. Sugden, M.R. Strens & J.E. Dobson, Safety-critical
Systems: The Convergence of High Tech and Human Factors, Ed Redmill and Anderson, 1996, ISBN 3-540-
76009-1.
[5] Processing Natural language Software Requirement Specifications, M. Osborne & C. MacNish, IEEE
International Conference on Requirements Engineering (ICRE'96), Colorado Springs, USA, April, 1996.
[6] A Framework for Requirements Analysis Using Automated Reasoning, D Duffy, C MacNish, J. McDermid,
P. Morris, Proceedings 7th International Conference on Advanced Information Systems Engineering, CAiSE
'95, J. Iivari, K. Lyytinen, M. Rossi (eds), LNCS 932, Springer, 1995.
Project number: 9034 Approx. Project Cost: £0.7m Start date: Jan 1993 End date: Dec 1995
EPSRC Grant numbers: h87933, h88022,h88015, j93863, j93856, j93849
Advances in Safety Critical Systems - Results and Achievements from the DTI/EPSRC R&D Programme. Compiled and edited by Mike Falla.
21
RATIFIRisk Analysis Techniques in Finance and Insurance
University of Birmingham
Alexander & Alexander (UK)
Contact: Sophia Langley
School of Computer Science
　
中國航空網 m.k6050.com
航空翻譯 www.aviation.cn
本文鏈接地址：航空資料25(155)