| Rosalind L. Ibrahim - 1995 - 468 דפים
...[11] Boris Beizer, Software Testing Techniques, van Nostrand Reinhold, 1983, 2nd Edition, 1990 [12] RW Butler and GB Finelli, The Infeasibility of Quantifying...Reliability of Life-Critical Real-Time Software, IEEE TSE 19(1) pp. 3-12 (Jan 93) [13] Hoffman, D., "A CASE Study in Module Testing", 1989 Conference on... | |
| Anders P. Ravn, Hans Rischel - 1998 - 356 דפים
...systems: Experience report. IEEE Trans, on Software Engr. 22(6) (1996) 378-389 2. Butler, R.: Finelli, G. The infeasibility of quantifying the reliability of...life-critical real-time software. IEEE Trans, on Software Engr, 19(1) (1991) 3-12 3. Craigen, D., Gerhart, S., Ralston, T.: An international survey of industrial... | |
| Grzegorz Rozenberg, Frits W. Vaandrager - 1998 - 446 דפים
...of SB .. . . . clear data . . . References Fig. 5. Operations in Z. 1. Ricky W. Butler and George B. Finelli. The infeasibility of quantifying the reliability of life-critical real-time software. IEEE Transactions on Software Engineering, 19(1):3-12, 1993. 2. Rosalind Barden, Susan Stepney, and David... | |
| Agatha C. Hughes, Thomas Parke Hughes - 2011 - 526 דפים
...reliability of the two programs would be expected to be quite different. 63. Ricky W. Butler and George B. Finelli, "The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software," IEEE Transactions on Software Engineering 19 (1993): 3-12, at 10. 64. Littlewood and Strignini, "Ultrahigh... | |
| Donald MacKenzie - 2004 - 448 דפים
...reliability of the two programs would be expected to be quite different. 91. Ricky W. Butler and George B. Finelli, 'The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software," IEEE Transactions on Software Engineering 19 (1993): 3-12, at p. 10. 92. Littlewood and Strigini, "Validation,"... | |
| Hoang Pham - 2001 - 348 דפים
...(1997), "High-Assurance Systems", Communications of the ACM 40(1), 67. Butler, RW and Finelli, GB (1993), "The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software", IEEE Trans. Software Eng. 19(1), 3-12. Clutterbuck, DL (1992), "Drive Report: Review of Current Tools and Techniques... | |
| Cary R. Spitzer, Cary Spitzer - 2000 - 578 דפים
...ComputerAided Verification, CAV'94, Stanford, CA, pp. 68-80, June. Butler, RW and Finelli, GB 1993. The Infeasibility of Quantifying the Reliability of Life-Critical RealTime Software, IEEE Trans. Software Eng, 19(1):3-12. Butler, RW, Miller, SP, Potts, JN, and Carreno, V. A, A Formal Methods Approach... | |
| Calif.) International Workshop on Swarm Robotics (1st : 2004 Santa Monica, Erol Sahin - 2005 - 182 דפים
...Cambrian Intelligence: the Early History of the New AI, MIT Press (2000) 8. Butler RW and Finelli GB: The infeasibility of quantifying the reliability of lifecritical real-time software, IEEE Trans. Software Engineering, 19(1) (1993) 3-12 9. Connell JH: Minimalist mobile robotics: a colony-style architecture... | |
| |