Gaining confidence in the software development process using expert systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4166 LNCS, Issue , 2006, Pages 113-126

  Brito, Mario ^a   May, John ^a  

^a UNIVERSITY OF BRISTOL   (United Kingdom)

Author keywords

Bayesian belief networks; Integrity claims; Safety standards; Software reliability

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE; ENGINEERS; EXPERT SYSTEMS; STANDARDIZATION;

BAYESIAN BELIEF NETWORKS; INTEGRITY CLAIMS; SAFETY STANDARDS; SOFTWARE RELIABILITY;

SOFTWARE ENGINEERING;

EID: 33750968194     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11875567_9     Document Type: Conference Paper

References (21)

1. Korb, B. K., Nicholson, A.E.: Bayesian Artificial Intelligence. Chapman & Hall/CRC, ISBN:1584883871 (2003)
2. IEC61508 functional safety of electrical/ electronic/ programmable electronic safety-related systems parts 1-7. Published by the International Electrotechnical Commission (IEC), Geneva, Switzerland (1998-2000)
3. Jensen, F.: An Introduction to Bayesian networks. UCL press limited, ISBN: 1857283325 (1996)
4. Hugin A/S: http://www.hugin.com
5. Morgan, M. G., Henrion, M. Uncertainty.: A Guide to Dealing with Uncertainty in Quantitative Risk and Policy Analysis. Cambridge University Press, ISBN: 0521427444 (1990)
6. Morris, A. P.: Combining Experts Judgments: A Bayesian Approach. Management Science Journal, Vol. 23, No. 7 (1977)
7. Spiegelhalter, D.J., Dawid, A.P., Lauritzen, S.L., Cowell, R.G.: Bayesian Analysis in Expert Systems. Journal of Statistical Science, Vol. 8, No. 3 (1993) 219-283
8. Cowell R.G., Dawid A.P., Speigelhalter D.J.: Sequential Model Criticism in Probabilistic Expert Systems. IEEE Transactions on Pattern Analysis and Machine Intelligence, Vol. 15, No. 3 (1993)
9. 9 Cockram, T.: Gaining confidence in software Inspection using a Bayesian Belief Model. Software Quality Journal, Vol. 9, No. 1 (2001) 31-42
10. Cockram, T.: The use of Bayesian Networks to determine software inspection process efficiency. PhD Thesis. England, Open university (2002)
11. Hall, P., May, J., Nichol, D., Csachur, K., Kinch, B.: Integrity Prediction during Software Development. Safety of Computer Control Systems. (SAFECOMP'92), Computer Systems in Safety-Critical Applications, Proceedings of the IFAC Symposium, Zurich, Switzerland, October 28-30 (1992)
12. Fenton, N. E., Neil M., Marsh W., Krause P., Mishra R.: Predicting Software Defects in Varying Development Lifecycles using Bayesian Nets, submitted to ESEC (2005)
13. Fenton, N.E., Krause, P., Neil, M.: Probabilistic Modelling for Software Quality Control. Proceedings of the Sixth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Toulouse, France September 19-21 (2001)
14. Fenton, N. E., Neil, M.:Making Decisions: Using Bayesian Nets and MCDA. Knowledge-Based Systems Vol. 14, (2001) 307-325
15. Gran, B. A.: Assessment of programmable systems using Bayesian Belief nets. Safety Science 40, (2002) 797-812
16. Gran, B. A.: Use of Bayesian Belief Networks when combining disparate sources of information in the safety assessment of software-based systems. International Journal of Systems Science, Vol. 33, No. 6, (2002) 529-542
17. Lauritzen, S.: Graphical Models. Oxford Science Publications, ISBN 0198522193 (1996)
18. Lauritzen, S. L., Spiegelhalter, D., J.: Local Computations with Probabilities on Graphical Structures and their Application to Expert Systems. Royal Statistical Society Journal, Vol. 50, No. 2, (1988) 157-224
19. Pearl J.: Probabilistic reasoning in intelligent systems. Morgan Kaufmann, San Mateo, ISBN: 0934613737 (1988)
20. Smith, D., Simpson. K.: Functional Safety - A straightforward guide to applying IEC61508 and related standards. Elsevier (second edition), ISBN: 0750662697 (2004)
21. Bishop, P.G., Bloomfield, R.E.: A conservative theory for long term reliability growth prediction. Proceedings of the Seventh International Symposium on Software Reliability Engineering (1996) 308-317