{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,21]],"date-time":"2023-08-21T05:11:59Z","timestamp":1692594719168},"reference-count":39,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2003,3,1]],"date-time":"2003-03-01T00:00:00Z","timestamp":1046476800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[2003,3]]},"DOI":"10.1016\/s0164-1212(02)00038-9","type":"journal-article","created":{"date-parts":[[2003,4,30]],"date-time":"2003-04-30T23:34:13Z","timestamp":1051745653000},"page":"185-198","source":"Crossref","is-referenced-by-count":27,"title":["Enabling predictable assembly"],"prefix":"10.1016","volume":"65","author":[{"given":"Scott","family":"Hissam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel","family":"Moreno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Judith","family":"Stafford","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kurt","family":"Wallnau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"3","key":"10.1016\/S0164-1212(02)00038-9_BIB1","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/258077.258078","article-title":"A formal basis for architectural connection","volume":"6","author":"Allen","year":"1997","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB2","doi-asserted-by":"crossref","unstructured":"Bachmann, F., Bass, L., Buhman, C., Comella-Dorda, S., Long, F., Seacord, R.J., Wallnau, K., 2000. Volume II: Technical Concepts of Component-Based Software Engineering (CMU\/SEI-2000-TR-008). Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA. URL: <http:\/\/www.sei.cmu.edu\/publications\/documents\/00.reports\/00tr008.html>","DOI":"10.21236\/ADA379930"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB3","series-title":"Object-Oriented Technology, ECOOP\u201997 Workshop Reader, ECOOP\u201997 Workshops, Jyv\u00e4skyl\u00e4, Finland, June 9\u201313, 1997, Proceedings. Lecture Notes in Computer Science, vol. 1357","article-title":"Toward automatic run-time fault management for component-based applications","author":"Baggiolini","year":"1998"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB4","doi-asserted-by":"crossref","unstructured":"Balsamo, S., Inverardi, P., Mangano, C., 1998. An approach to performance evaluation of software architectures. In: Proceedings of the 1998 Workshop on Software and Performance, October 1998, pp. 77\u201384","DOI":"10.1145\/287318.287354"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB5","unstructured":"Bass, L., Klein, M., Bachmann, F., 2000. Quality Attribute Design Primitives (CMU\/SEI-2000-TN-017, ADA392284). Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA. URL: <http:\/\/www.sei.cmu.edu\/publications\/documents\/00.reports\/00tn017.html>"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB6","series-title":"Model Checking","author":"Clarke","year":"1999"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB7","unstructured":"Fisler, K., Krishnamurthi, S., Batory, D., 2001. Verifying component-based collaboration designs. In: Proceedings of the Fifth ICSE Workshop on Component-Based Software Engineering, Toronto, Canada, May, pp. 4\u201387"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB8","unstructured":"Finkbeiner, B., Kruger, I., 2001. Using message sequence charts for component-based formal verification. In: Proceedings of the OOPSLA workshop on Specification and Verification of Component-Based Systems, Tampa, Florida"},{"issue":"6","key":"10.1016\/S0164-1212(02)00038-9_BIB9","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1109\/52.469757","article-title":"Architectural mismatch: why reuse is so hard","volume":"12","author":"Garlan","year":"1995","journal-title":"IEEE Software"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB10","unstructured":"Giannakopoulou, D., Havelund, K., 2001. Runtime analysis of linear temporal logic specifications. In: Proceedings of the 16th IEEE International Conference on Automated Software Engineering, San Diego, California"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB11","doi-asserted-by":"crossref","unstructured":"Hamlet, D., Mason, D., Woit, D., 2001. Theory of software reliability based on components. In: Proceedings of the 23rd International Conference on Software Engineering, Toronto, Canada, pp. 361\u2013370","DOI":"10.1109\/ICSE.2001.919109"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB12","series-title":"Component-Based Software Engineering Putting the Pieces Together","author":"Heineman","year":"2001"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB13","doi-asserted-by":"crossref","unstructured":"Hissam, S., Moreno, G., Stafford, J., Wallnau, K., 2001. Packaging Predictable Assembly with Prediction-Enabled Component Technology (CMU\/SEI-2001-TR-024). Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA. URL: <http:\/\/www.sei.cmu.edu\/publications\/documents\/01.reports\/01tr024.html>","DOI":"10.21236\/ADA399793"},{"issue":"3","key":"10.1016\/S0164-1212(02)00038-9_BIB14","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1145\/352591.352593","article-title":"Static checking of system behaviors using derived component assumptions","volume":"9","author":"Inverardi","year":"2000","journal-title":"ACM Transaction on Software Engineering and Methodology"},{"issue":"5","key":"10.1016\/S0164-1212(02)00038-9_BIB15","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1145\/22899.22906","article-title":"An empirical validation of software cost estimation models","volume":"30","author":"Kemerer","year":"1987","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB16","series-title":"A Practitioner\u2019s Handbook for Real-Time Analysis","author":"Klein","year":"1993"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB17","doi-asserted-by":"crossref","unstructured":"Klein, M., Kazman, R., 1999. Attribute-Based Architectural Styles, (CMU\/SEI-99-TR-022, ADA371802). Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA. URL: <http:\/\/www.sei.cmu.edu\/publications\/documents\/99.reports\/99tr022\/99tr022abstract.html>","DOI":"10.21236\/ADA371802"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB18","doi-asserted-by":"crossref","unstructured":"Kramer, J., Magee, J., 1998. Analysing dynamic change in software architectures: a case study. In: Proceedings of the 4th International Conference on Configurable Distributed Systems, May 1998, pp. 91\u2013100","DOI":"10.1109\/CDS.1998.675762"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB19","series-title":"Software Reliability Engineering","year":"1996"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB20","doi-asserted-by":"crossref","unstructured":"Magee, J., Kramer, J., Giannakopoulou, D., 1997. Analysing the behaviour of distributed software architectures: a case study. In: Proceedings, Fifth IEEE Workshop on Future Trends of Distributed Computing Systems, October 1997, pp. 240\u2013247","DOI":"10.1109\/FTDCS.1997.644733"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB21","unstructured":"Messerschmitt, D.G., Szyperski, C., 2001. Industrial and Economic Properties of Software: Technology, Processes, and Value. University of California at Berkeley, Computer Science Division Technical Report UCB\/\/CSD-01-1130 and Microsoft Corporation Technical Report MSR-TR-2001-11, January 18. URL: <http:\/\/divine.eecs.berkeley.edu\/~messer\/PAPERS\/01\/Software-econ>"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB22","series-title":"Object-Oriented Software Construction","author":"Meyer","year":"1997"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB23","series-title":"Proceedings, Sixth European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on Foundations of Software Engineering, number 1301 in Lecture Notes in Computer Science","first-page":"77","article-title":"Applying static analysis to software architectures","author":"Naumovich","year":"1997"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB24","unstructured":"NIST, 2002. NIST\/SEMATECH Engineering Statistics Internet Handbook, National Institute of Standards and Technology (NIST). Available from: <http:\/\/www.itl.nist.gov\/div898\/handbook\/>"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB25","unstructured":"Plakosh, D., Smith, D., Wallnau, K., 1999. Builder\u2019s Guide for WaterBeans Components (CMU\/SEI-99-TR-024, ADA373154). Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA. URL: <http:\/\/www.sei.cmu.edu\/publications\/documents\/99.reports\/99tr024\/99tr024abstract.html>"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB26","doi-asserted-by":"crossref","unstructured":"Rivera, J., Danylyszyn, A., Weinstock, C., Sha, L., Gagliardi, M., 1996. An Architectural Description of the Simplex Architecture (CMU\/SEI-96-TR-006, ADA307890). Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA. URL: <http:\/\/www.sei.cmu.edu\/publications\/documents\/96.reports\/96.tr.006.html>","DOI":"10.21236\/ADA307890"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB27","unstructured":"Sha, L., Rajkumar, R., Gagliardi, M., 1995. A Software Architecture for Dependable and Evolvable Computing Systems (CMU\/SEI-95-TR-005, ADA301169). Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA. URL: <http:\/\/www.sei.cmu.edu\/publications\/documents\/95.reports\/95.tr.005.html>"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB28","doi-asserted-by":"crossref","unstructured":"Sharygina, N., Browne, J., Kurshan, R., 2001. A formal object-oriented analysis for software reliability: design for verification. In: Proceedings of the ACM European Conferences on Theory and Practice in Software, Fundamental Approaches to Software Engineering (FACE), Genova, Italy, April 2\u20136. URL: <http:\/\/st72095.inf.tu-dresden.de:8080\/fase2001>","DOI":"10.1007\/3-540-45314-8_23"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB29","doi-asserted-by":"crossref","unstructured":"Shaw, M., 1996. Truth vs. knowledge: the difference between what a component does and what we know it does. In: Proceedings of the 8th International Workshop on Software Specification and Design, March 1996","DOI":"10.1109\/IWSSD.1996.501165"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB30","doi-asserted-by":"crossref","unstructured":"Shaw, M., Clements, P., 1997. A field guide to boxology: preliminary classification of architectural styles for software systems. In: Proceedings of COMPSAC, Washington, DC, August 1997","DOI":"10.1109\/CMPSAC.1997.624691"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB31","series-title":"The Sciences of the Artificial","author":"Simon","year":"1996"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB32","series-title":"Proceedings of the 10th International Conference on Software Engineering and Knowledge Engineering, Knowledge Systems Institute","first-page":"146","article-title":"Architecture-based performance analysis","author":"Spitznagel","year":"1998"},{"issue":"4","key":"10.1016\/S0164-1212(02)00038-9_BIB33","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1142\/S021819400100061X","article-title":"Architecture-level dependence analysis for software systems","volume":"11","author":"Stafford","year":"2001","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB34","series-title":"Component Software Beyond Object-Oriented Programming","author":"Szyperski","year":"1997"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB35","doi-asserted-by":"crossref","unstructured":"Vieira, M.E.R., Dias, S., Richardson, D.J., 2000. Analyzing software architectures with Argus-I. In: Proceedings of the 2000 International Conference on Software Engineering, June 2000, pp. 758\u2013761","DOI":"10.1145\/337180.337624"},{"issue":"52","key":"10.1016\/S0164-1212(02)00038-9_BIB36","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/S0164-1212(99)00143-0","article-title":"Dependability certification of software components","author":"Voas","year":"2000","journal-title":"Journal of Systems and Software"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB37","unstructured":"Wallnau, K., Stafford, J., Hissam, S., Klein, M., 2001. On the relationship of software architecture to software component technology. In: Proceedings of the 6th International Workshop on Component-Oriented Programming (WCOP6). Budapest, Hungary, June"},{"key":"10.1016\/S0164-1212(02)00038-9_BIB38","series-title":"Probability and Statistics for Engineers and Scientists","author":"Walpole","year":"1989"},{"issue":"September","key":"10.1016\/S0164-1212(02)00038-9_BIB39","first-page":"135","article-title":"Using dependence analysis to support software architecture understanding","author":"Zhao","year":"1997","journal-title":"New Technologies on Computer Software"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121202000389?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121202000389?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,6,6]],"date-time":"2021-06-06T23:08:13Z","timestamp":1623020893000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121202000389"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,3]]},"references-count":39,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,3]]}},"alternative-id":["S0164121202000389"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(02)00038-9","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2003,3]]}}}