{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T05:04:03Z","timestamp":1740287043622,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540405030"},{"type":"electronic","value":"9783540450641"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45064-1_13","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T19:44:25Z","timestamp":1277235865000},"page":"259-286","source":"Crossref","is-referenced-by-count":6,"title":["Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability"],"prefix":"10.1007","author":[{"given":"Hye Yeon","family":"Kim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kshamta","family":"Jerath","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frederick","family":"Sheldon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"13_CR1","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1109\/12.54843","volume":"39","author":"J. Arlat","year":"1990","unstructured":"Arlat, J., Kanoun, K., Laprie, J.-C.: Dependability Modeling and Evaluation of Software Fault-Tolerant Systems. IEEE Transactions on Computers\u00a039(4), 504\u2013513 (1990)","journal-title":"IEEE Transactions on Computers"},{"key":"13_CR2","unstructured":"Clements, P., Bass, L., Kazman, R., Abowd, G.: Predicting Software Quality by Architecture-Level Evaluation. In: Component-Based Software Engineering: Selected Papers from the Software Engineering Institute, pp. 19\u201325 (1995)"},{"issue":"5","key":"13_CR3","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1109\/52.84218","volume":"8","author":"J. Couvillion","year":"1991","unstructured":"Couvillion, J., Johnson, R., Obal II, W.D., Qureshi, M.A., Rai, M., Sanders, W.H., Tvedt, J.E.: Performability Modeling with UltraSAN. IEEE Software\u00a08(5), 69\u201380 (1991)","journal-title":"IEEE Software"},{"key":"13_CR4","first-page":"304","volume-title":"Proc. of 2001 IEEE Symosium on Visual\/Multimedia Approaches to Programming and Software Engineering","author":"P.T. Cox","year":"2001","unstructured":"Cox, P.T., Song, B.: A Formal Model for Component-Based Software. In: Proc. of 2001 IEEE Symosium on Visual\/Multimedia Approaches to Programming and Software Engineering, pp. 304\u2013311. IEEE, Stresa (2001)"},{"key":"13_CR5","first-page":"237","volume-title":"Fourth International Baltic Workshop, Selected Papers","author":"I. Crnkovic","year":"2001","unstructured":"Crnkovic, I., Larrson, M., Kuster, F.J., Lau, K.: Databases and Information Systems. In: Fourth International Baltic Workshop, Selected Papers, pp. 237\u2013252. Kluwer Academic Publishers, Dordrecht (2001)"},{"issue":"4","key":"13_CR6","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1002\/swf.45","volume":"2","author":"I. Crnkovic","year":"2002","unstructured":"Crnkovic, I.: Component-based Software Engineering\u2014New Challenges in Software Development. Software Focus\u00a02(4), 127\u2013133 (2002)","journal-title":"Software Focus"},{"key":"13_CR7","unstructured":"Czerny, B.: Integrative Analysis of State-Based Requirements for Completeness and Consistency. In: Computer Science. Michigan State University (1998)"},{"key":"13_CR8","first-page":"36","volume-title":"Proc. of 5th Int\u2019l Symposium on Software Reliability Engineering","author":"J.B. Dugan","year":"1994","unstructured":"Dugan, J.B.: Experimental analysis of models for correlation in multiversion software. In: Proc. of 5th Int\u2019l Symposium on Software Reliability Engineering, pp. 36\u201344. IEEE Computer Society, Los Alamitos (1994)"},{"issue":"12","key":"13_CR9","doi-asserted-by":"publisher","first-page":"1511","DOI":"10.1109\/TSE.1985.231895","volume":"11","author":"D.E. Eckhardt","year":"1985","unstructured":"Eckhardt, D.E., Lee, L.D.: Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors. IEEE Transactions on Software Engineering\u00a011(12), 1511\u20131517 (1985)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR10","unstructured":"Fitch, D.: Software Safety Engineering (S2E) Program Status (2001), http:\/\/sunnyday.mit.edu\/safety-club\/fitch.ppt."},{"key":"13_CR11","first-page":"51","volume-title":"Proc. of 9th Annual Int\u2019l Symposium on Fault-Tolerant Computing (FTCS-9)","author":"F.A. Gay","year":"1979","unstructured":"Gay, F.A.: Performance Evaluation for Gracefully Degrading Systems. In: Proc. of 9th Annual Int\u2019l Symposium on Fault-Tolerant Computing (FTCS-9), pp. 51\u201358. IEEE Computer Society, Madison (1979)"},{"key":"13_CR12","unstructured":"Glass, R.L.: Software Reliability Guidebook, p. 241. Prentice Hall, Englewood Cliffs (1979)"},{"issue":"5","key":"13_CR13","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/2.920610","volume":"34","author":"M.L. Griss","year":"2001","unstructured":"Griss, M.L., Pour, G.: Accelerating Development with Agent Components. IEEE Computer\u00a034(5), 37\u201343 (2001)","journal-title":"IEEE Computer"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Hamlet, D., Mason, D., Woit, D.: Theory of Software Reliability Based on Components. In: Proc. of 23rd International Conference on Software Engineering (ICSE 2001), pp. 361\u2013370. IEEE Computer Society, Toronto (2001)","DOI":"10.1109\/ICSE.2001.919109"},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming\u00a08, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"13_CR16","volume-title":"Modeling Reactive Systems with Statecharts","author":"D. Harel","year":"1998","unstructured":"Harel, D., Politi, M.: Modeling Reactive Systems with Statecharts. McGraw Hill, New York (1998)"},{"key":"13_CR17","unstructured":"Hecht, M., Tang, D., Hecht, H.: Quantitative Reliability and Availability Assessment for Critical Systems Including Software. In: 12th Annual Conference on Computer Assurance, Gaitherburg, Maryland (1997)"},{"key":"13_CR18","first-page":"818","volume-title":"Component-based Software Engineering: Putting the Pieces Together","author":"G. Heineman","year":"2001","unstructured":"Heineman, G., Councill, W.: Component-based Software Engineering: Putting the Pieces Together, 1st edn., p. 818. Addison Wesley, Boston (2001)","edition":"1"},{"key":"13_CR19","unstructured":"I-Logix, I-Logix Inc. Website (2002), http:\/\/www.ilogix.com"},{"key":"13_CR20","volume-title":"The Way of Z: practical programming with formal methods","author":"J. Jacky","year":"1997","unstructured":"Jacky, J.: The Way of Z: practical programming with formal methods. Cambridge University Press, Cambridge (1997)"},{"key":"13_CR21","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1109\/IPDS.1996.540226","volume-title":"Proc. of 2nd Int\u2019l Computer Performance and Dependability Symposium (IPDS)","author":"K. Kanoun","year":"1996","unstructured":"Kanoun, K., Borrel, M.: Dependability of Fault-Tolerant Systems\u2014Explicit Modeling of the Interactions Between Hardware and Software Components. In: Proc. of 2nd Int\u2019l Computer Performance and Dependability Symposium (IPDS), pp. 252\u2013261. IEEE Computer Society, Urbana-Champaign (1996)"},{"key":"13_CR22","first-page":"76","volume-title":"School of Electrical Engineering and Computer Science","author":"H.Y. Kim","year":"2002","unstructured":"Kim, H.Y.: Validation of Guidance Control Software Requirements Specification for Reliability and Fault-Tolerance. In: School of Electrical Engineering and Computer Science, p. 76. Washington State University, Pullman (2002)"},{"key":"13_CR23","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1109\/EURMIC.2001.952433","volume-title":"Proc. of 27th Euromicro Conference","author":"G. Kotonya","year":"2001","unstructured":"Kotonya, G., Rashid, A.: A strategy for Managing Risks in Component-based Software Development. In: Proc. of 27th Euromicro Conference, pp. 12\u201321. IEEE Computer Society, Poland (2001)"},{"key":"13_CR24","volume-title":"Safeware \u2013 system safety and computers","author":"N. Leveson","year":"1995","unstructured":"Leveson, N.: Safeware \u2013 system safety and computers. Addison Wesley, Reading (1995)"},{"issue":"12","key":"13_CR25","doi-asserted-by":"publisher","first-page":"1596","DOI":"10.1109\/32.58771","volume":"15","author":"B. Littlewood","year":"1989","unstructured":"Littlewood, B., Miller, D.R.: Conceptual Modeling of Coincident Failures in Multiversion Software. IEEE Transactions on Software Engineering\u00a015(12), 1596\u20131614 (1989)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR26","first-page":"175","volume-title":"Proc. of International Conference on Software Engineering","author":"B. Littlewood","year":"2000","unstructured":"Littlewood, B., Strigini, L.: Software reliability and dependability: a roadmap. In: Proc. of International Conference on Software Engineering, vol.\u00a022, pp. 175\u2013188. ACM Press, Limerick (2000)"},{"key":"13_CR27","volume-title":"Computer Software and Applications Conference, COMPSAC 2002","author":"J.-H. Lo","year":"2002","unstructured":"Lo, J.-H., Kuo, S.-Y., Lyu, M.R., Huang, C.-Y.: Optimal Resource Allocation and Reliability Analysis for Component-Based Software Applications. In: Computer Software and Applications Conference, COMPSAC 2002, IEEE Computer Society, Oxford (2002)"},{"issue":"9","key":"13_CR28","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1109\/2.947086","volume":"34","author":"J. Morris","year":"2001","unstructured":"Morris, J., Lee, G., Parker, K., Bundell, G., Chiou, P.L.: Software Component Certification. IEEE Computer\u00a034(9), 30\u201336 (2001)","journal-title":"IEEE Computer"},{"issue":"3","key":"13_CR29","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1109\/32.48942","volume":"16","author":"V.F. Nicola","year":"1990","unstructured":"Nicola, V.F., Goyal, A.: Modeling of Correlated Failures and Community Error Recovery in Multiversion Software. IEEE Transactions on Software Engineering\u00a016(3), 350\u2013359 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR30","unstructured":"OPC Foundation (2002), http:\/\/www.opcfoundation.org"},{"key":"13_CR31","unstructured":"ORA, ORA Canada Website (2002), http:\/\/www.ora.on.ca\/"},{"key":"13_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/3-540-46506-5_17","volume-title":"Performance Evaluation: Origins and Directions","author":"K.G. Popstojanova","year":"2000","unstructured":"Popstojanova, K.G., Trivedi, K.: Stochastic Modeling Formalisms for Dependability, Performance and Performability. In: Reiser, M., Haring, G., Lindemann, C. (eds.) Dagstuhl Seminar 1997. LNCS, vol.\u00a01769, pp. 403\u2013422. Springer, Heidelberg (2000)"},{"key":"13_CR33","volume-title":"Fault-Tolerant Computer System Design","author":"D.K. Pradham","year":"1996","unstructured":"Pradham, D.K.: Fault-Tolerant Computer System Design. Prentice Hall, Englewood Cliffs (1996)"},{"key":"13_CR34","first-page":"817","volume-title":"Proc. of ACM\/IEEE Fall Joint Computer Conference","author":"R.A. Sahner","year":"1986","unstructured":"Sahner, R.A., Trivedi, K.: A hierarchical, combinatorial-Markov model of solving complex reliability models. In: Proc. of ACM\/IEEE Fall Joint Computer Conference, pp. 817\u2013825. IEEE Computer Society, Dallas (1986)"},{"key":"13_CR35","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1109\/CMPSAC.2001.960631","volume-title":"Proc. of Computer Software and Applications Conference, COMPSAC 2001","author":"S. Sedigh-Ali","year":"2001","unstructured":"Sedigh-Ali, S., Paul, R.A.: Metrics-guided quality management for componentbased software systems. In: Proc. of Computer Software and Applications Conference, COMPSAC 2001, pp. 303\u2013308. IEEE Computer Society, Chicago (2001)"},{"key":"13_CR36","unstructured":"Sherif, M.Y., Bojan, C., Hany, H.A.: A Component-Based Approach to Reliability Analysis of Distributed Systems. In: Proc. of the 18th IEEE Symposium on Reliable Distributed Systems, Lausanne, Switzerland, pp. 158\u2013167 (1999)"},{"key":"13_CR37","unstructured":"Veryard, R.: Software Component Quality (1997), http:\/\/www.users.globalnet.co.uk\/~xv\/CBDmain\/DIPQUE.htm"},{"key":"13_CR38","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0164-1212(99)00143-0","volume":"52","author":"J. Voas","year":"2000","unstructured":"Voas, J., Payne, J.: Dependability Certification of software components. Journal of Systems and Software\u00a052, 165\u2013172 (2000)","journal-title":"Journal of Systems and Software"},{"key":"13_CR39","unstructured":"Wallin, C.: Verification and Validation of Software Components and Component Based Software Systems. In: Crnkovic, I., Larrson, M. (eds.) Building Reliable Component Based Systems. Artech House (2002)"},{"key":"13_CR40","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/EURMIC.2001.952437","volume-title":"Proc. of 27th Euromicro Conference","author":"K. Wallnau","year":"2001","unstructured":"Wallnau, K., Stafford, J.: Ensembles: Abstractions for a New Class of Design Problem. In: Proc. of 27th Euromicro Conference, pp. 48\u201355. IEEE Computer Society, Warsaw (2001)"},{"key":"13_CR41","series-title":"Series of Computer Science","volume-title":"Using Z: Specification, Refinement, and Proof","author":"J. Woodcock","year":"1996","unstructured":"Woodcock, J., Davies, J.: Using Z: Specification, Refinement, and Proof. Series of Computer Science. Prentice Hall International, Englewood Cliffs (1996)"}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Quality"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45064-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T04:51:32Z","timestamp":1740199892000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45064-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405030","9783540450641"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45064-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}