{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:40:44Z","timestamp":1725558044726},"publisher-location":"Berlin, Heidelberg","reference-count":17,"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_8","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T15:44:25Z","timestamp":1277221465000},"page":"159-183","source":"Crossref","is-referenced-by-count":6,"title":["Component Integration through Built-in Contract Testing"],"prefix":"10.1007","author":[{"given":"Hans-Gerhard","family":"Gross","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Colin","family":"Atkinson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franck","family":"Barbier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/3-540-40011-7_28","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"A. Abdurazik","year":"2000","unstructured":"Abdurazik, A., Offutt, J.: Using UML collaboration diagrams for static checking and test generation. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 383\u2013395. Springer, Heidelberg (2000)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Atkinson, C., Bunse, C., Gross, H.-G., K\u00fchne, T.: Component model for webbased applications. Annals of Software Engineering 13 (2002)","DOI":"10.1023\/A:1016589208824"},{"key":"8_CR3","volume-title":"Component-Based Product-Line Engineering with UML","author":"C. Atkinson","year":"2001","unstructured":"Atkinson, C., et al.: Component-Based Product-Line Engineering with UML. Addison-Wesley, London (2001)"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/3-540-36465-X_3","volume-title":"COTS-Based Software Systems","author":"F. Barbier","year":"2003","unstructured":"Barbier, F., Belloir, N., Bruel, J.M.: Incorporation of test functionality in software components. In: Erdogmus, H., Weng, T. (eds.) ICCBSS 2003. LNCS, vol.\u00a02580, pp. 25\u201335. Springer, Heidelberg (2003)"},{"key":"8_CR5","volume-title":"Black-box Testing, Techniques for Functional Testing of Software and Systems","author":"B. Beizer","year":"1995","unstructured":"Beizer, B.: Black-box Testing, Techniques for Functional Testing of Software and Systems. John Wiley & Sons, New York (1995)"},{"key":"8_CR6","volume-title":"Testing Object-Oriented Systems - Models, Patterns and Tools","author":"R. Binder","year":"2000","unstructured":"Binder, R.: Testing Object-Oriented Systems - Models, Patterns and Tools. Addison-Wesley, Reading (2000)"},{"key":"8_CR7","unstructured":"Booch, G.: Software Components with Ada: Structures, Tools and Subsystems (1987)"},{"key":"8_CR8","unstructured":"Component+. Built-in testing for component-based development. Technical report, Component+ Project (2001), http:\/\/www.component-plus.org"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Guindi, D.S., Ligon, W.B., McCracken, W.M., Rugaber, S.: The impact of verification and validation of reusable components on software productivity. In: 22nd Annual Hawaii International Conference on System Sciences, pp. 1016\u20131024 (1989)","DOI":"10.1109\/HICSS.1989.48114"},{"key":"8_CR10","unstructured":"IEEE. Standard Glossary of Software Engineering Terminology. IEEE Std-610.12- 1990 (1999)"},{"volume-title":"A Practical Guide to Testing Object-Oriented Software","year":"2001","key":"8_CR11","unstructured":"McGregor, J., Sykes, D. (eds.): A Practical Guide to Testing Object-Oriented Software. Addison-Wesley, Reading (2001)"},{"key":"8_CR12","volume-title":"Object-oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-oriented Software Construction. Prentice Hall, Englewood Cliffs (1997)"},{"key":"8_CR13","unstructured":"Meyer, S., Sandfoss, R.: Applying use-case methodology to SRE and system testing. In: STAR West Conference (October 1998)"},{"key":"8_CR14","unstructured":"Quasar. German national funded quasar project. Technical report (2001), http:\/\/www.first.gmd.de\/quasar\/"},{"key":"8_CR15","unstructured":"Ryser, J., Glinz, M.: A scenario-based approach to validating and testing software systems using statecharts. In: 12th Intl. Conf. on Software and Systems Engineering and their Applications (ICS-SEA 1999), Paris, France (1999)"},{"key":"8_CR16","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"1999","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley, Reading (1999)"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Wang, Y., King, G., Fayad, M., Patel, D., Court, I., Staples, G., Ross, M.: On builtin test reuse in object-oriented framework design. ACM Journal on Computing Surveys\u00a032 (March 2000)","DOI":"10.1145\/351936.351943"}],"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_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T05:40:05Z","timestamp":1559194805000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45064-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405030","9783540450641"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45064-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}