Software component independence

Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998

Volumn 1998-November, Issue , 1998, Pages 74-81

  Woit, D M ^a   Mason, D V ^a  

^a RYERSON UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

SYSTEMS ENGINEERING;

COMPONENT RELIABILITY; CPS (CONTINUATION-PASSING-STYLE); MARKOV ANALYSIS; MARKOV SYSTEMS; SOFTWARE COMPONENT; SOFTWARE SYSTEMS; SYSTEM RELIABILITY;

SOFTWARE RELIABILITY;

EID: 84904183987     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.1998.731597     Document Type: Conference Paper

References (12)

1. A. W. Appel. Compiling with Continuations. Cambridge University Press, 1992.
2. R. Cheung. A user-oriented software reliability model. IEEE Trans. Software Engineering, 6(2):118-125, March 1980.
3. M. Friedman and J. Voas. Software Assessment. John Wiley & Sons, New York, 1995.
4. L. Krishnamurthy and A. Mathur. The estimation of system reliability using reliabilities of its components and their interfaces. In Proceedings 8th Intl. Symposium on Software Reliability Engineering, Albuquerque, New Mexico, Nov. 1997.
5. J.-C. Laprie and K. Kanoun. Software Reliability and System Reliability, pages 27-70. In Lyu [7], 1996.
6. E. Lewis. Reliability Engineering, Ed. 2. John Wiley & Sons, New York, 1996.
7. M. Lyu, editor. Handbook of Software Reliability Engineering. McGraw-Hill, New York, 1996.
8. M. Lyu. Reliability Theory, Analytical Techniques and Basic Statistics, pages 747-779. In Lyu [7], 1996.
9. R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, Cambridge, Mass., 1990.
10. D. Parnas. On a "Buzzword": Hierarchical structure. In IFIP Congress, pages 336-339. North-Holland Publishing Co., 1974.
11. D. Woit. Assessing reliability of modular software. Technical Report TR-1997-004, Faculty of Engineering, Ryerson University, Toronto, Ontario, Canada, 1997.
12. D. Woit and D. Mason. Structure of markov models for software component reliability. In Quality Week, Europe (QWE98), Brussels, Belgium, Nov. 1998.