{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T00:32:49Z","timestamp":1743035569291,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676966"},{"type":"electronic","value":"9783540449959"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-540-44995-9_16","type":"book-chapter","created":{"date-parts":[[2010,10,14]],"date-time":"2010-10-14T14:31:59Z","timestamp":1287066719000},"page":"266-283","source":"Crossref","is-referenced-by-count":15,"title":["Reasoning about Software-Component Behavior"],"prefix":"10.1007","author":[{"given":"Murali","family":"Sitaraman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Atkinson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregory","family":"Kulczycki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruce W.","family":"Weide","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Timothy J.","family":"Long","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Bucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wayne","family":"Heym","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott","family":"Pike","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph E.","family":"Hollingsworth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"High, Integrity Software","author":"M. Aronszajn","year":"2000","unstructured":"Aronszajn, M., Sitaraman, M., Atkinson, S., Kulczyski, G.: A System for Predictable Component-Based Software Construction. In: Winter, V., Bhattacharya, S. (eds.) High, Integrity Software. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"16_CR2","volume-title":"Software Components With Ada","author":"G. Booch","year":"1987","unstructured":"Booch, G.: Software Components With Ada. Benjamin\/Cummings, Menlo Park (1987)"},{"key":"16_CR3","volume-title":"Object-Oriented System Development","author":"D. de Champeaux","year":"1993","unstructured":"de Champeaux, D., Lea, D., Faure, P.: Object-Oriented System Development. Addison-Wesley, Reading (1993)"},{"key":"16_CR4","unstructured":"Fleming, D.: Foundations of Object-Based Specification Design. Ph.D. diss., West Virginia University, Dept. Comp. Sci. and Elec. Eng. (1997)"},{"key":"16_CR5","volume-title":"Handbook of Walkthroughs, Inspections, and Technical Reviews: Evaluating Programs, Projects, and Products","author":"D.P. Freedman","year":"1990","unstructured":"Freedman, D.P., Weinberg, C.: Handbook of Walkthroughs, Inspections, and Technical Reviews: Evaluating Programs, Projects, and Products, 3rd edn. Dorset House, New York (1990)","edition":"3"},{"issue":"5","key":"16_CR6","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1109\/32.90445","volume":"17","author":"D.E. Harms","year":"1991","unstructured":"Harms, D.E., Weide, B.W.: Copying and Swapping: Influences on the Design of Reusable Software Components. IEEE Trans, on Soft. Eng.\u00a017(5), 424\u2013435 (1991)","journal-title":"IEEE Trans, on Soft. Eng."},{"key":"16_CR7","unstructured":"Heym, W.D.: Computer Program Verification: Improvements for Human Reasoning. Ph.D. diss., The Ohio State Univ., Dept. of Comp. and Inf. Sci. (1995)"},{"key":"16_CR8","unstructured":"Knuth, D.: \"Knuth Comments on Code: An Interview with D. Andrews,\" Byte (September 1996), \n                      http:\/\/www.byte.com\/art\/9609\/sec3\/artl9.htm\n                     (current October 11, 1999)"},{"key":"16_CR9","first-page":"77","volume-title":"OOPSLA 1993 Workshop Proc: Specification of Behavioral Semantics in OO Info. Modeling","author":"G.T. Leavens","year":"1993","unstructured":"Leavens, G.T., Cheon, Y.: Extending CORBA IDL to specify behavior with Larch. In: OOPSLA 1993 Workshop Proc: Specification of Behavioral Semantics in OO Info. Modeling, pp. 77\u201380. ACM, New York (1993); also TR #93-20, Dept. of Comp. Sci., Iowa State Univ. (1993)"},{"key":"16_CR10","volume-title":"The Essential Distributed Objects Survival Guide","author":"R. Orfali","year":"1996","unstructured":"Orfali, R., Harkey, D., Edwards, J.: The Essential Distributed Objects Survival Guide. J. Wiley, New York (1996)"},{"issue":"2","key":"16_CR11","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1109\/32.345827","volume":"21","author":"S. Owre","year":"1995","unstructured":"Owre, S., Rushby, J., Shankar, N., von Henke, F.: Formal Verification of Fault-Tolerant Architectures: Prolegomena to the Design of PVS. IEEE Trans, on, Soft. Eng.\u00a021(2), 107\u2013125 (1995)","journal-title":"IEEE Trans, on, Soft. Eng."},{"key":"16_CR12","volume-title":"An Introduction to Software Engineering Using Properly Conceptualized Objects","author":"M. Sitaraman","year":"1997","unstructured":"Sitaraman, M.: An Introduction to Software Engineering Using Properly Conceptualized Objects. WVU Publications, Morgantown (1997)"},{"issue":"4","key":"16_CR13","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/190679.199221","volume":"19","author":"M. Sitaraman","year":"1994","unstructured":"Sitaraman, M., Weide, B.W. (ed.): Component-Based Software Using RESOLVE. ACM Software Eng. Notes\u00a019(4), 21\u201367 (1994)","journal-title":"ACM Software Eng. Notes"},{"key":"16_CR14","series-title":"Algorithms and Complexity","volume-title":"Handbook of Theoretical Computer Science","year":"1990","unstructured":"van Leeuwen, J. (ed.): Handbook of Theoretical Computer Science. Algorithms and Complexity, vol.\u00a0A. Elsevier Science Publishers, Amsterdam (1990)"},{"key":"16_CR15","first-page":"327","volume-title":"Proc. 17th Intl. Conf. on Software Eng.","author":"B.W. Weide","year":"1995","unstructured":"Weide, B.W., Hollingsworth, J.E., Heym, W.D.: Reverse Engineering of Legacy Code Exposed. In: Proc. 17th Intl. Conf. on Software Eng., pp. 327\u2013331. ACM, New York (1995)"},{"key":"16_CR16","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/ICSR.1996.496114","volume-title":"Proc. 4th Intl. Conf. on Software Reuse","author":"B.W. Weide","year":"1996","unstructured":"Weide, B.W., Edwards, S.H., Heym, W.D., Long, T.J., Ogden, W.F.: Characterizing Observability and Controllability of Software Components. In: Proc. 4th Intl. Conf. on Software Reuse, pp. 62\u201371. IEEE CS Press, Los Alamitos (1996)"},{"key":"16_CR17","unstructured":"Weide, B.W.: Software Component Engineering, OSU Reprographics, Columbus, OH (1999)"}],"container-title":["Lecture Notes in Computer Science","Software Reuse: Advances in Software Reusability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-44995-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T21:40:07Z","timestamp":1674078007000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-44995-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676966","9783540449959"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-44995-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}