{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:31:12Z","timestamp":1773192672096,"version":"3.50.1"},"reference-count":27,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2003,6,1]],"date-time":"2003-06-01T00:00:00Z","timestamp":1054425600000},"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,6]]},"DOI":"10.1016\/s0164-1212(02)00080-8","type":"journal-article","created":{"date-parts":[[2003,5,19]],"date-time":"2003-05-19T14:05:06Z","timestamp":1053353106000},"page":"241-252","source":"Crossref","is-referenced-by-count":189,"title":["Reliability prediction for component-based software architectures"],"prefix":"10.1016","volume":"66","author":[{"given":"Ralf H.","family":"Reussner","sequence":"first","affiliation":[]},{"given":"Heinz W.","family":"Schmidt","sequence":"additional","affiliation":[]},{"given":"Iman H.","family":"Poernomo","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"2","key":"10.1016\/S0164-1212(02)00080-8_BIB1","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1109\/TSE.1980.234477","article-title":"A user-oriented software reliability model","volume":"6","author":"Cheung","year":"1980","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(02)00080-8_BIB2","article-title":"Interface automata","volume":"vol. 26","author":"DeAlfaro","year":"2001"},{"key":"10.1016\/S0164-1212(02)00080-8_BIB3","doi-asserted-by":"crossref","unstructured":"de Roever, W.-R., Langmaack, H., Pnueli, A., 1998. Compositionality: the significant difference. In: International Symposium, COMPOS\u201997, Bad Malente, Springer-Verlag, Germany","DOI":"10.1007\/3-540-49213-5"},{"key":"10.1016\/S0164-1212(02)00080-8_BIB4","series-title":"Series in Software Engineering Practice","article-title":"The cleanroom approach to quality software development","author":"Dyer","year":"1992"},{"key":"10.1016\/S0164-1212(02)00080-8_BIB5","unstructured":"Freudig, J., 1998. Konformit\u00e4tspr\u00fcfung jenseits von Typanalyse. Diplomarbeit, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Karlsruhe (TH), Germany"},{"key":"10.1016\/S0164-1212(02)00080-8_BIB6","unstructured":"Frolund, S., Koistinen, J., 1998. Quality-of-service specification in distributed object systems. Technical Report HPL-98-159, Hewlett Packard, Software Technology Laboratory"},{"key":"10.1016\/S0164-1212(02)00080-8_BIB7","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 (ICSE-01), IEEE Computer Society, Los Alamitos, California, pp. 361\u2013370","DOI":"10.1109\/ICSE.2001.919109"},{"key":"10.1016\/S0164-1212(02)00080-8_BIB8","unstructured":"Han, J., 2000. Temporal logic based specification of component interaction protocols. In: Proceedings of the 2nd Workshop of Object interoperability at ECOOP 2000, Cannes, France"},{"key":"10.1016\/S0164-1212(02)00080-8_BIB9","unstructured":"Hunzelmann, G., 2001. Generierung von Protokollinformation f\u00fcr Softwarekomponentenschnittstellen aus annotiertem Java-Code. Diplomarbeit, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Karlsruhe (TH), Germany"},{"key":"10.1016\/S0164-1212(02)00080-8_BIB10","series-title":"Software Reliability\u2013\u2013Measurement, Prediction, Application","author":"John D. Musa","year":"1987"},{"key":"10.1016\/S0164-1212(02)00080-8_BIB11","series-title":"Information Systems Interoperability","first-page":"111","article-title":"Synchronization constraints in object interfaces","author":"Kr\u00e4mer","year":"1998"},{"key":"10.1016\/S0164-1212(02)00080-8_BIB12","series-title":"Handbook of Software Engineering Reliability","first-page":"27","article-title":"Software reliability and system reliability","author":"Laprie","year":"1996"},{"key":"10.1016\/S0164-1212(02)00080-8_BIB13","doi-asserted-by":"crossref","unstructured":"Magee, J., Dulay, N., Eisenbach, S., Kr\u00e4mer, J., 1995. Specifying distributed software architectures. In: Proceedings of ESEC \u201995\u2013\u20135th European Software Engineering Conference, volume 989 of Lecture Notes in Computer Science, Sitges, Spain. Springer-Verlag, Berlin, Germany, pp. 137\u2013153","DOI":"10.1007\/3-540-60406-5_12"},{"issue":"10","key":"10.1016\/S0164-1212(02)00080-8_BIB14","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","article-title":"Applying design by contract","volume":"25","author":"Meyer","year":"1992","journal-title":"IEEE Computer"},{"issue":"5","key":"10.1016\/S0164-1212(02)00080-8_BIB15","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/MS.1987.231413","article-title":"Cleanroom software engineering","volume":"4","author":"Mills","year":"1987","journal-title":"IEEE Software"},{"key":"10.1016\/S0164-1212(02)00080-8_BIB16","unstructured":"Reussner, R.H., 1999. Dynamic types for software components. In: Companion of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA\u201999), extended abstract"},{"key":"10.1016\/S0164-1212(02)00080-8_BIB17","doi-asserted-by":"crossref","unstructured":"Reussner, R.H., 2001a. Enhanced component interfaces to support dynamic adaption and extension. In: 34th Hawaiin International Conference on System Sciences, IEEE","DOI":"10.1109\/HICSS.2001.927238"},{"key":"10.1016\/S0164-1212(02)00080-8_BIB18","series-title":"Parametrisierte Vertr\u00fcge zur Protokolladaption bei Software-Komponenten","author":"Reussner","year":"2001"},{"key":"10.1016\/S0164-1212(02)00080-8_BIB19","unstructured":"Reussner, R.H., 2001c. The use of parameterised contracts for architecting systems with software components. In: Week, W., Bosch, J., Szyperski, C., (Eds.), Proceedings of the Sixth international Workshop on Component-Oriented Programming (WCOP\u201901)"},{"key":"10.1016\/S0164-1212(02)00080-8_BIB20","unstructured":"Schmidt, H.W., 1998. Compatibility of interoperable objects. In: Kr\u00e4mer, B., Papazoglou, M.P., Schnmidt, H.W., (Eds.), Information Systems interoperability, Research Studies Press, Taunton, England, pp. 143\u2013181"},{"issue":"3","key":"10.1016\/S0164-1212(02)00080-8_BIB21","first-page":"25","article-title":"Trust-by-contract: modelling, analysing and predicting behaviour in software architectures","volume":"5","author":"Schmidt","year":"2001","journal-title":"Journal of Integrated Design and Process Science"},{"key":"10.1016\/S0164-1212(02)00080-8_BIB22","doi-asserted-by":"crossref","unstructured":"Schmidt, H.W., Reussner, R.H., 2002. Generating adapters for concurrent component protocol synchronisation. In: Accepted for the Proceedings of the Fifth IFIP International Conference on Formal Methods for Open Object-Bused Distributed Systems","DOI":"10.1007\/978-0-387-35496-5_15"},{"key":"10.1016\/S0164-1212(02)00080-8_BIB23","series-title":"Software Architecture","author":"Shaw","year":"1996"},{"key":"10.1016\/S0164-1212(02)00080-8_BIB24","series-title":"Proceedings of the Second IEEE international Symposium on Software Engineering Standards","first-page":"208","article-title":"Quantifying the reliability of software: statistical testing based on a usage model","author":"Trammell","year":"1995"},{"key":"10.1016\/S0164-1212(02)00080-8_BIB25","doi-asserted-by":"crossref","unstructured":"Wang, W.-L., Wu, Y., Chen, M.-H., 1999. An architecture-based software reliability model. In:Proceedings of the 1999 Pacific Rim International Symposium on Dependable Computing, 16\u201317 December, Hong Kong, China, IEEE","DOI":"10.1109\/PRDC.1999.816223"},{"issue":"10","key":"10.1016\/S0164-1212(02)00080-8_BIB26","doi-asserted-by":"crossref","first-page":"812","DOI":"10.1109\/32.328991","article-title":"A Markov chain model for statistical software testing","volume":"20","author":"Whittaker","year":"1994","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(02)00080-8_BIB27","unstructured":"Wydaeghe, B. Component composition based on composition patterns and usage scenarios. Dissertation, Department of Computer Science, Vrije Universitiet Brussel, Belgium"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121202000808?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121202000808?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T06:23:47Z","timestamp":1553149427000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121202000808"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,6]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,6]]}},"alternative-id":["S0164121202000808"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(02)00080-8","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2003,6]]}}}