{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:50Z","timestamp":1725562610627},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540219989"},{"type":"electronic","value":"9783540247746"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24774-6_24","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T20:26:22Z","timestamp":1281299182000},"page":"272-279","source":"Crossref","is-referenced-by-count":4,"title":["A Framework for Reliability Assessment of Software Components"],"prefix":"10.1007","author":[{"given":"Rakesh","family":"Shukla","sequence":"first","affiliation":[]},{"given":"Paul","family":"Strooper","sequence":"additional","affiliation":[]},{"given":"David","family":"Carrington","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1109\/32.265635","volume":"20","author":"P.E. Ammann","year":"1994","unstructured":"Ammann, P.E., Brilliant, S.S., Knight, J.C.: The effect of imperfect error detection on reliability assessment via life testing. IEEE Transactions on Software Engineering\u00a020, 142\u2013148 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"Bass, L., Buhman, C., Comella-Dorda, S., Long, F., Robert, J., Seacord, R., Wallnau, K.: Volume I: Market Assessment of Component-Based Software Engineering,\" Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213, USA CMU\/SEI- 2001-TN-007 (May 2000)","DOI":"10.21236\/ADA388847"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Cukic, B., Chakravarthy, D.: Bayesian framework for reliability assurance of a deployed safety critical system. In: Proceedings of 5th IEEE International Symposim on High Assurance Systems Engineering, pp. 321\u2013329 (2000)","DOI":"10.1109\/HASE.2000.895477"},{"key":"24_CR4","volume-title":"Formal Object-Oriented Specification Using Object-Z","author":"R.W. Duke","year":"2000","unstructured":"Duke, R.W., Rose, G.: Formal Object-Oriented Specification Using Object-Z. Macmillan Press Limited, Basingstoke (2000)"},{"key":"24_CR5","volume-title":"Design patterns: elements of reusable object-oriented software","author":"E. Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software. Addison-Wesley, Reading (1994)"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Hamlet, D., Mason, D., Woit, D.: Theory of Software Reliability Based on Components. In: Proceedings of 23rd International Conference on Software Engineering, pp. 361\u2013370 (2001)","DOI":"10.1109\/ICSE.2001.919109"},{"key":"24_CR7","unstructured":"Hoffman, D.M., Strooper, P.A.: Software Design, Automated Testing, and Maintenance A Practical Approach. International Thomson Computer Press (1995)"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"McDonald, J., Strooper, P.A.: Translating Object-Z specifications to passive test oracles. In: Proceedings of 2nd International Conference on Formal Engineering Methods, pp. 165\u2013174 (1998)","DOI":"10.1109\/ICFEM.1998.730580"},{"key":"24_CR9","unstructured":"McGregor, J.D., Stafford, J.A., Cho, I.-H.: Measuring component reliability. In: Proceedings of 6th ICSE Workshop on Component-based Software Engineering (2003)"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Musa, J.D.: The operational profile in software reliability engineering: an overview. In: Proceedings of 3rd International Symposium on Software Reliability Engineering, pp. 140\u2013154 (1992)","DOI":"10.1109\/ISSRE.1992.285850"},{"key":"24_CR11","unstructured":"Stafford, J.A., McGregor, J.D.: Issues in predicting the reliability of composed components. In: Proceedings of 5th ICSE Workshop on Component-based Software Engineering (2002)"},{"key":"24_CR12","unstructured":"Whittaker, J.A.: Markov chain techniques for software testing and reliability analysis, PhD Thesis, University of Tennessee: Knoxville, TN (1992)"},{"key":"24_CR13","unstructured":"Woit, D.: Operational Profile Specification, Test Case Generation, and Reliability Estimation for Modules, PhD Thesis, Computing and Information Science, Queen\u2019s Universitym, Kingston, Ontario, Canada (1994)"}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24774-6_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:56:21Z","timestamp":1605761781000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24774-6_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540219989","9783540247746"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24774-6_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}