{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:12:08Z","timestamp":1747807928232},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540405030"},{"type":"electronic","value":"9783540450641"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45064-1_14","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T19:44:25Z","timestamp":1277235865000},"page":"287-325","source":"Crossref","is-referenced-by-count":24,"title":["Reasoning about Software Architectures with Contractually Specified Components"],"prefix":"10.1007","author":[{"given":"Ralf H.","family":"Reussner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iman H.","family":"Poernomo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heinz W.","family":"Schmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Brada, P.: Towards automated component compatibility assessment. In: Weck, W., Bosch, J., Szyperski, C. (eds.) Proceedings of the Sixth International Workshop on Component-Oriented Programming (WCOP 2001) (June 2001)"},{"issue":"2","key":"14_CR2","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1109\/TSE.1980.234477","volume":"6","author":"R.C. Cheung","year":"1978","unstructured":"Cheung, R.C.: A user-oriented software reliability model. IEEE Transactions on Software Engineering\u00a06(2), 118\u2013125 (1980); Special collection from COMPSAC 1978 (1978)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR3","series-title":"Software Engineering Notes","first-page":"109","volume-title":"Proceedings of the Joint 8th European Software Engeneering Conference and 9th ACM SIGSOFT Symposium on the Foundation of Software Engeneering (ESEC\/FSE 2001)","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: Gruhn, V. (ed.) Proceedings of the Joint 8th European Software Engeneering Conference and 9th ACM SIGSOFT Symposium on the Foundation of Software Engeneering (ESEC\/FSE 2001), New York. Software Engineering Notes, vol.\u00a026, 5, pp. 109\u2013120. ACM Press, New York (2001)"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Compositionality: The Significant Difference","year":"1998","unstructured":"de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.): COMPOS 1997. LNCS, vol.\u00a01536. Springer, Heidelberg (1998)"},{"key":"14_CR5","series-title":"Series in Software Engineering Practice","volume-title":"The Cleanroom Approach to Quality Software Development","author":"M. Dyer","year":"1992","unstructured":"Dyer, M.: The Cleanroom Approach to Quality Software Development. Series in Software Engineering Practice. Wiley & Sons, New York (1992)"},{"key":"14_CR6","unstructured":"Frolund, S., Koistinen, J.: Quality-of-service specification in distributed object systems. Technical Report HPL-98-159, Hewlett Packard, Software Technology Laboratory (September 1998)"},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1109\/ICSE.2001.919109","volume-title":"Proceedings of the 23rd International Conference on Software Engeneering (ICSE 2001)","author":"D. Hamlet","year":"2001","unstructured":"Hamlet, D., Mason, D., Woit, D.: Theory of software reliability based on components. In: Proceedings of the 23rd International Conference on Software Engeneering (ICSE 2001), Los Alamitos, California, pp. 361\u2013370. IEEE Computer Society, Los Alamitos (2001)"},{"key":"14_CR8","unstructured":"Han, J.: Temporal logic based specification of component interaction protocols. In: Proccedings of the 2nd Workshop of Object Interoperability at ECOOP 2000, Cannes, France, June 12\u201316 (2000)"},{"key":"14_CR9","volume-title":"Design and Validation of Computer Protocols","author":"G.J. Holzmann","year":"1991","unstructured":"Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice Hall, Englewood Cliffs (1991)"},{"key":"14_CR10","unstructured":"Hunzelmann, G.: Generierung von Protokollinformation f\u00fcr Softwarekomponentenschnittstellen aus annotiertem Java-Code. Diplomarbeit, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Karlsruhe (TH), Germany (April 2001)"},{"key":"14_CR11","volume-title":"Software Reliability - Measurement, prediction, application","author":"A. Iannino","year":"1987","unstructured":"Iannino, A., Musa, J.D., Okumoto, K.: Software Reliability - Measurement, prediction, application. McGraw-Hill, New York (1987)"},{"key":"14_CR12","first-page":"3","volume-title":"Automata Studies, Annals of Math. Studies","author":"S.C. Kleene","year":"1956","unstructured":"Kleene, S.C.: Representation of events in nerve nets and finite automata. In: Shannon, C., McCarthy, J. (eds.) Automata Studies, Annals of Math. Studies, vol.\u00a034, pp. 3\u201340. Princeton, New Jersey (1956)"},{"key":"14_CR13","first-page":"111","volume-title":"Information Systems Interoperability","author":"B. Kr\u00e4mer","year":"1998","unstructured":"Kr\u00e4mer, B.: Synchronization constraints in object interfaces. In: Kr\u00e4mer, B., Papazoglou, M.P., Schnmidt, H.W. (eds.) Information Systems Interoperability, pp. 111\u2013141. Research Studies Press, Taunton (1998)"},{"key":"14_CR14","first-page":"31","volume-title":"Software Architecture for Product Families: Principles and Practice","author":"J. Kramer","year":"2000","unstructured":"Kramer, J., Magee, J., Ng, K., Dulay, N.: Software architecture description. In: Software Architecture for Product Families: Principles and Practice, pp. 31\u201364. Addison-Wesley, Reading (2000)"},{"key":"14_CR15","first-page":"27","volume-title":"Handbook of Software Engineering Reliability","author":"J.-C. Laprie","year":"1996","unstructured":"Laprie, J.-C., Kanoun, K.: Software reliability and system reliability. In: Lyu, M.R. (ed.) Handbook of Software Engineering Reliability, pp. 27\u201369. McGraw-Hill, New York (1996)"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-60406-5_12","volume-title":"Software Engineering - ESEC \u201995","author":"J. Magee","year":"1995","unstructured":"Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying distributed software architectures. In: Botella, P., Sch\u00e4fer, W. (eds.) ESEC 1995. LNCS, vol.\u00a0989, pp. 137\u2013153. Springer, Heidelberg (1995)"},{"issue":"1","key":"14_CR17","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N. Medvidovic","year":"2000","unstructured":"Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering\u00a026(1), 70\u201393 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"10","key":"14_CR18","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u201cdesign by contract\u201d. IEEE Computer\u00a025(10), 40\u201351 (1992)","journal-title":"IEEE Computer"},{"key":"14_CR19","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice Hall, Englewood Cliffs (1997)","edition":"2"},{"issue":"5","key":"14_CR20","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MS.1987.231413","volume":"4","author":"H.D. Mills","year":"1987","unstructured":"Mills, H.D., Dyer, M., Linger, R.: Cleanoom software engineering. IEEE Software\u00a04(5), 19\u201325 (1987)","journal-title":"IEEE Software"},{"issue":"2","key":"14_CR21","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/52.199724","volume":"10","author":"J.D. Musa","year":"1993","unstructured":"Musa, J.D.: Operational profiles in software-reliability engineering. IEEE Software\u00a010(2), 14 (1993)","journal-title":"IEEE Software"},{"key":"14_CR22","unstructured":"Microsoft Corp., The .NET homepage, \n                    \n                      http:\/\/www.microsoft.com\/net\/default.asp"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Nierstrasz, O.: Regular types for active objects. In: Proceedings of the 8th ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 1993), October 1993. ACM SIGPLAN Notices, vol.\u00a028(10), pp. 1\u201315 (1993)","DOI":"10.1145\/165854.167976"},{"key":"14_CR24","unstructured":"Reussner, R.H.: Dynamic types for software components. In: Companion of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 1999), November 5\u201310 (1999) (extended abstract)"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"Reussner, R.H.: Enhanced component interfaces to support dynamic adaption and extension. In: 34th Hawaiin International Conference on System Sciences. IEEE, Los Alamitos (2001)","DOI":"10.1109\/HICSS.2001.927238"},{"key":"14_CR26","volume-title":"Parametrisierte Vertr\u00e4ge zur Protokolladaption bei Software- Komponenten","author":"R.H. Reussner","year":"2001","unstructured":"Reussner, R.H.: Parametrisierte Vertr\u00e4ge zur Protokolladaption bei Software- Komponenten. Logos Verlag, Berlin (2001)"},{"key":"14_CR27","unstructured":"Reussner, R.H.: The use of parameterised contracts for architecting systems with software components. In: Weck, W., Bosch, J., Szyperski, C. (eds.) Proceedings of the Sixth International Workshop on Component-Oriented Programming (WCOP 2001) (June 2001)"},{"key":"14_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/3-540-36137-5_2","volume-title":"SOFSEM 2002: Theory and Practice of Informatics","author":"R.H. Reussner","year":"2002","unstructured":"Reussner, R.H.: Counter-constraint finite state machines: A new model for resource-bounded component protocols. In: Grosky, B., Plasil, F., Krenek, A. (eds.) SOFSEM 2002. LNCS, vol.\u00a02540, pp. 20\u201340. Springer, Heidelberg (2002)"},{"key":"14_CR29","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley, Reading (1999)"},{"issue":"3","key":"14_CR30","first-page":"25","volume":"5","author":"H.W. Schmidt","year":"2001","unstructured":"Schmidt, H.W., Poernomo, I., Reussner, R.H.: Trust-by-contract: Modelling, analysing and predicting behaviour in software architectures. Journal of Integrated Design and Process Science\u00a05(3), 25\u201351 (2001)","journal-title":"Journal of Integrated Design and Process Science"},{"key":"14_CR31","doi-asserted-by":"crossref","unstructured":"Schmidt, H.W., Reussner, R.H.: Generating Adapters for Concurrent Component Protocol Synchronisation. In: Proceedings of the Fifth IFIP International conference on Formal Methods for Open Object-based Distributed Systems (March 2002)","DOI":"10.1007\/978-0-387-35496-5_15"},{"key":"14_CR32","unstructured":"Schmidt, H.W., Reussner, R.H.: Parameterised Contracts and Adaptor Synthesis. In: Proceedings of the ICSE Workshop of Component Oriented Software Engineering (CBSE5). IEEE, Los Alamitos (2002)"},{"key":"14_CR33","volume-title":"Software Architecture","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architecture. Prentice Hall, Englewood Cliffs (1996)"},{"key":"14_CR34","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming. ACM Press, Addison-Wesley, Reading, MA, USA (1998)"},{"key":"14_CR35","doi-asserted-by":"crossref","unstructured":"Trammell, C.: Quantifying the reliability of software: Statistical testing based on a usage model. In: Proceedings of the Second IEEE International Symposium on Software Engineering Standards, pp. 208\u2013218 (1995)","DOI":"10.1109\/SESS.1995.525966"},{"key":"14_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-46589-8_1","volume-title":"Object-Oriented Technology. ECOOP\u201999 Workshop Reader","author":"A. Vallecillo","year":"1999","unstructured":"Vallecillo, A., Hern\u00e1ndez, J., Troya, J.M.: Object interoperability. In: Moreira, A.M.D., Demeyer, S. (eds.) ECOOP 1999 Workshops. LNCS, vol.\u00a01743, pp. 1\u201321. Springer, Heidelberg (1999)"},{"key":"14_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/3-540-44555-2_18","volume-title":"Object-Oriented Technology: ECOOP 2000 Workshop Reader","author":"A. Vallecillo","year":"2000","unstructured":"Vallecillo, A., Hern\u00e1ndez, J., Troya, J.M.: Object interoperability. In: Malenfant, J., Moisan, S., Moreira, A.M.D. (eds.) ECOOP 2000 Workshops. LNCS, vol.\u00a01964, pp. 256\u2013269. Springer, Heidelberg (2000)"},{"key":"14_CR38","doi-asserted-by":"crossref","unstructured":"Wang, W.-L., Wu, Y., Chen, M.-H.: An Architecture-Based Software Reliability Model. In: Proceedings of the 1999 Pacific Rim International Symposium on Dependable Computing, Hong Kong, China. IEEE, Los Alamitos (1999)","DOI":"10.1109\/PRDC.1999.816223"},{"issue":"10","key":"14_CR39","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1109\/32.328991","volume":"20","author":"J.A. Whittaker","year":"1994","unstructured":"Whittaker, J.A., Thomason, M.G.: A Markov chain model for statistical software testing. IEEE Transactions on Software Engineering\u00a020(10), 812\u2013824 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR40","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96878-5","volume-title":"Programming in MODULA-2","author":"N. Wirth","year":"1985","unstructured":"Wirth, N.: Programming in MODULA-2, 3rd edn. Springer, Heidelberg (1985)","edition":"3"},{"key":"14_CR41","unstructured":"Wydaeghe, B.: Component Composition Based on Composition Patterns and Usage Scenarios. Dissertation, Department of Computer Science, Vrije Universitiet Brussel, Belgium (2001)"},{"issue":"2","key":"14_CR42","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/244795.244801","volume":"19","author":"D. Yellin","year":"1997","unstructured":"Yellin, D., Strom, R.: Protocol Specifications and Component Adaptors. ACM Transactions on Programming Languages and Systems\u00a019(2), 292\u2013333 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Quality"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45064-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T01:22:30Z","timestamp":1552612950000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45064-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405030","9783540450641"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45064-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}