{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:44Z","timestamp":1761611204416},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540438472"},{"type":"electronic","value":"9783540454403"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45440-3_8","type":"book-chapter","created":{"date-parts":[[2007,5,13]],"date-time":"2007-05-13T11:42:06Z","timestamp":1179056526000},"page":"108-124","source":"Crossref","is-referenced-by-count":31,"title":["Packaging Predictable Assembly"],"prefix":"10.1007","author":[{"given":"Scott A.","family":"Hissam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel A.","family":"Moreno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Judith A.","family":"Stafford","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kurt C.","family":"Wallnau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,21]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Wallnau, K., Hissam, S., Seacord, R., Building Systems from Commercial Components, Addison-Wesley, July, 2001.","DOI":"10.1145\/581441.581442"},{"key":"8_CR2","unstructured":"Finkbeiner, B. & Kruger, I. \u201cUsing Message Sequence Charts for Component-Based Formal Verification,\u201d in Proceedings of the OOPSLA workshop on Specification and Verification of Component-Based Systems, Tampa, Florida, 2001."},{"key":"8_CR3","unstructured":"Sharygina, N.; Browne, J.; & Kurshan, R. \u201cA Formal Object-Oriented Analysis for Software Reliability: Design for Verification,\u201d in Proceedings of the ACM European Conferences on Theory and Practice in Software, Fundamental Approaches to Software Engineering (FACE), Genova, Italy, April 2-6, 2001. URL: <http:\/\/st72095.inf.tu-dresden.de:8080\/fase2001> (2001)."},{"key":"8_CR4","volume-title":"Technical Concepts of Component-Based Software Engineering (CMU\/SEI-2000-TR-008)","author":"F. Bachmann","year":"2000","unstructured":"Bachmann, F., Bass, L., Buhman, C., Comella-Dorda, S., Long, F., Robert, J., Sea-cord, R., & Wallnau, K.; Volume II: Technical Concepts of Component-Based Software Engineering (CMU\/SEI-2000-TR-008), Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University. URL: <http:\/\/www.sei.cmu.edu\/publications\/documents\/00.reports\/00tr008.html> (2000)."},{"key":"8_CR5","volume-title":"Component-Based Software Engineering Putting the Pieces Together","author":"G. Heineman","year":"2001","unstructured":"Heineman, G. & Council, W. Component-Based Software Engineering Putting the Pieces Together, Reading, MA: Addison-Wesley, 2001."},{"key":"8_CR6","volume-title":"Component Software Beyond Object-Oriented Programming","author":"C. Szyperski","year":"1997","unstructured":"Szyperski, C. Component Software Beyond Object-Oriented Programming, New York, Reading, MA: ACM Press, Addison-Wesley, 1997."},{"issue":"2","key":"8_CR7","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"E. M. Clarke, E.A. Emerson, and A.P. Sistla, \u201cAutomatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications,\u201d ACM Transactions on Programming Languages and Systems, Vol. 8, No. 2, April 1986, pp. 244\u2013263.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-2796-1","volume-title":"A Practitioner\u2019s Handbook for Real-Time Analysis","author":"M. Klein","year":"1993","unstructured":"Klein, M., Ralya, T., Pollak, W., Obenza, R., A Practitioner\u2019s Handbook for Real-Time Analysis, Boston, MA: Kluwer Academic Publishers, 1993."},{"key":"8_CR9","volume-title":"Market Assessment of Component-Based Software Engineering Assessments (CMU\/SEI-2001-TN-007)","author":"L. Bass","year":"2001","unstructured":"Len Bass, Charles Buhman, Santiago Comella-Dorda, Fred Long, John Robert, Robert Seacord, and Kurt Wallnau, Volume I: Market Assessment of Component-Based Software Engineering Assessments (CMU\/SEI-2001-TN-007), Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University. URL: <http:\/\/www.sei.cmu.edu\/publications\/documents\/01.reports\/01tn007.html> (2001)."},{"key":"8_CR10","volume-title":"The Sciences of the Artificial","author":"H. Simon","year":"1996","unstructured":"H. Simon. The Sciences of the Artificial, 3rd ed, Cambridge, MA: MIT Press 1996.","edition":"3rd ed"},{"key":"8_CR11","volume-title":"Builder\u2019s Guide for WaterBeans Components (CMU\/SEI-99-TR-024, ADA373154)","author":"D. Plakosh","year":"1999","unstructured":"D. Plakosh, D. Smith and K. Wallnau. Builder\u2019s Guide for WaterBeans Components (CMU\/SEI-99-TR-024, ADA373154). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University. URL: <http:\/\/www.sei.cmu.edu\/publica-tions\/documents\/99.reports\/99tr024\/99tr024abstract.html> (1999)."},{"key":"8_CR12","doi-asserted-by":"crossref","DOI":"10.21236\/ADA399793","volume-title":"Packaging Predictable Assembly with Prediction-Enabled Component Technology (CMU\/SEI-2001-TR-024)","author":"S. Hissam","year":"2001","unstructured":"S. Hissam, G. Moreno, J. Stafford, K. Wallnau,. Packaging Predictable Assembly with Prediction-Enabled Component Technology (CMU\/SEI-2001-TR-024). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University. URL: <http:\/\/www.sei.cmu.edu\/publications\/documents\/01.reports\/01tr024.html> (2001)"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"C.F. Kemerer. \u201cAn Empirical Validation of Software Cost Estimation Models,\u201d in Communications of the ACM 30, 5, May 1987: 416\u2013429.","DOI":"10.1145\/22899.22906"},{"key":"8_CR14","unstructured":"NIST, NIST\/SEMATECH Engineering Statistics Internet Handbook, National Institute of Standards and Technology (NIST), online at <http:\/\/www.itl.nist.gov\/ div898\/handbook\/> ."},{"key":"8_CR15","volume-title":"Probability and Statistics for Engineers and Scientists","author":"R.E. Walpole","year":"1989","unstructured":"R.E. Walpole and R. H. Myers. Probability and Statistics for Engineers and Scientists. New York: MacMillan Publishing Company, 1989"},{"issue":"5","key":"8_CR16","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1145\/374308.374365","volume":"44","author":"M. Astley","year":"2001","unstructured":"Astley, M., Sturman, D., and Agha, G., \u201cCustomizable Middleware for Modular Distributed Software,\u201d in Communications of the ACM, Vol. 44, No. 5, May 2001, pp. 99\u2013107.","journal-title":"Communications of the ACM"},{"key":"8_CR17","unstructured":"K. Fisler, S. Krishnamurthi and D. Batory. \u201cVerifying Component-Based Collaboration Designs,\u201d in Proceedings of the Fifth ICSE Workshop on Component-Based Software Engineering, Toronto, Canada, May 2001: 84\u201387"},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"R. Allen and D. Garlan. \u201cA Formal Basis for Architectural Connection,\u201d ACM Transactions on Software Engineering and Methodology, Vol. 6, No. 3, Jul. 1997, pp. 213\u2013249.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"J. Magee, J. Kramer, and D. Giannakopoulou, \u201cAnalysing the Behaviour of Distributed Software Architectures: A Case Study,\u201d Proceedings, Fifth IEEE Workshop on Future Trends of Distributed Computing Systems, Oct. 1997, 240\u2013247.","DOI":"10.1109\/FTDCS.1997.644733"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"S. Balsamo, P. Inverardi and C. Mangano, \u201cAn Approach to Performance Evaluation of Software Architectures\u201d, Proceedings of the 1998 Workshop on Software and Performance, Oct. 1998, 77\u201384.","DOI":"10.1145\/287318.287354"},{"key":"8_CR21","unstructured":"B. Spitznagel, D. Garlan, \u201cArchitecture-Based Performance Analysis,\u201d Proceedings of the 1998 Conference on Software Engineering and Knowledge Engineering, San Francisco, California, 1998."},{"key":"8_CR22","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"B. Meyer, Object-Oriented Software Construction, Second Edition, Prentice Hall, London, 1997.","edition":"Second Edition"},{"key":"8_CR23","unstructured":"Underwriter Laboratories, UL-1998, UL Standard for Safety for Software in Programmable Components, Northbrook, IL, 1998."},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Jeffrey Voas, Jeffery Payne, \u201cDependability certification of software components,\u201d in the Journal of Systems and Software, no. 52, 165\u2013172, 2000","DOI":"10.1016\/S0164-1212(99)00143-0"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"D. Hamlet, D. Mason and D. Woit. \u201cTheory of Software Reliability Based on Components,\u201d in Proceedings of the 23rd International Conference on Software Engineering, Toronto, Canada, 2001: 361\u2013370.","DOI":"10.1109\/ICSE.2001.919109"}],"container-title":["Lecture Notes in Computer Science","Component Deployment"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45440-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T21:51:41Z","timestamp":1556401901000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45440-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540438472","9783540454403"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-45440-3_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}