{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:13Z","timestamp":1761611173856},"publisher-location":"Boston","reference-count":19,"publisher":"Kluwer Academic Publishers","isbn-type":[{"type":"print","value":"1402081405"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/1-4020-8141-3_28","type":"book-chapter","created":{"date-parts":[[2006,2,21]],"date-time":"2006-02-21T15:15:11Z","timestamp":1140534911000},"page":"349-366","source":"Crossref","is-referenced-by-count":15,"title":["Contract Oriented Development of Component Software"],"prefix":"10.1007","author":[{"given":"Zhiming","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"He","family":"Jifeng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoshan","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","doi-asserted-by":"crossref","unstructured":"Allen, R. and Garlan, D. (1997). A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology, 6(3).","DOI":"10.1145\/258077.258078"},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"Andrade, L. F. and J.L. Fiadeiro (1999). Interconnecting objects via contracts. In France, R. and Rumpe, B., editors, UML\u201999-Beyond the Standard, LNCS1723. Springer-Verlag.","DOI":"10.1007\/3-540-46852-8_40"},{"key":"28_CR3","unstructured":"Cheesman, J. and Daniels, J. (2001). UML Components. Component Software Series. Addison-Wesley."},{"issue":"3","key":"28_CR4","doi-asserted-by":"crossref","first-page":"231","DOI":"10.5381\/jot.2002.1.3.a13","volume":"1","author":"J. Filipe","year":"2002","unstructured":"Filipe, J. (2002). A logic-based formalization for component specification. Journal of Object Technology, 1(3):231\u2013248.","journal-title":"Journal of Object Technology"},{"key":"28_CR5","unstructured":"He, J., Liu, Z., and Li, X. (2002). Towards a refinement calculus for objectoriented systems (keynote talk). In Proc. ICCI02, August 19\u201320, 2002, Alberta, Canada."},{"key":"28_CR6","unstructured":"He, J., Liu, Z., and Li, X. (2003). Component calculus. In Dang, V. and Liu, Z., editors, Proc. Proc. Workshop on Formal Aspects of Component Software (FACS\u201903), Satellite Workshop of FME2003, Pisa, Italy, 8\u20139 September, 2003. UNU\/IIST Report No 284, UNU\/IIST, P.O. Box 3058, Macao."},{"key":"28_CR7","unstructured":"Heineman, G. and Councill, W. (2001). Component-Based Software Engineering, Putting the Pieces Together. Addison-Wesley."},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Helm, R., Holland, I., and Gangopadhyay, D. (1990). Contracts: Specifying behavioral compositions in object-oriented systems. In Proc. OOPSLA\u201990\/ECOOP\u201990, pages 169\u2013180. ACM.","DOI":"10.1145\/97945.97967"},{"key":"28_CR9","unstructured":"Hoare, C. and He, J. (1998). Unifying theories of programming. Prentice-Hall International."},{"key":"28_CR10","unstructured":"Liu, Z., He, J., and Li, X. (2004a). Contract-oriented component software development. Technical Report UNU\/IIST, Report No 298. http:\/\/www.iist.unu.edu\/newrh\/III\/1\/page.html ."},{"key":"28_CR11","unstructured":"Liu, Z., He, J., and Li, X. (2004b). Integrating and refining UML models. Technical Report UNU\/IIST Report No 295, http:\/\/www.iist.unu.edu\/newrh\/III\/1\/page.html , UNU\/IIST, P.O. Box 3058, Macao. Submitted for publication."},{"key":"28_CR12","unstructured":"Liu, Z., He, J., Li, X., and Chen, Y. (2003). A relational model for objectoriented requirement analysis in UML. Technical Report UNU\/IIST, Report No 287. Proc. ICFEM03, 5\u20137 November, 2003, Singapore. Lecture Notes in Computer Science."},{"key":"28_CR13","unstructured":"Liu, Z., He, J., Li, X., and Liu, J. (2004c). Unifying views of UML. Technical Report UNU\/IIST Report No 288, http:\/\/www.iist.unu.edu\/newrh\/III\/1\/page.html , UNU\/IIST, P.O. Box 3058, Macao. Presented at <<UML>> 2003 Workshop on Compositional Verification of UML, 21 October 2003, SF, USA. To appear in ENTCS."},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"Meyer, B. (1992). Applying design by contract. IEEE Computer.","DOI":"10.1109\/2.161279"},{"key":"28_CR15","unstructured":"Meyer, B. (1997). Object-oriented Software Construction (2nd Edition). Prentice Hall PTR."},{"key":"28_CR16","unstructured":"Selic, B. (1998). Using UML for modelling complex real-time systems. In Mueller, F. and Bestavros, A., editors, Language Compilers, and Tools for Embedded Systems, LNCS 1474, pages 250\u2013262. Springer."},{"key":"28_CR17","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","volume":"16","author":"M. Smyth","year":"1978","unstructured":"Smyth, M. (1978). Powerdomain. Journal of Computer Science and System Sciences, 16:23\u201336.","journal-title":"Journal of Computer Science and System Sciences"},{"key":"28_CR18","unstructured":"Szyperski, C. (2002). Component Software: Beyond Object-Oriented Programming. Addison-Wesley."},{"key":"28_CR19","unstructured":"Wirsing, M. and Broy, M. (2000). Algebraic state machines. In Rus, T., editor, Proc. 8th Internat. Conf. Algebraic Methodology and Software Technology, AMAST 2000. LNCS 1816, pages 89\u2013118. Springer."}],"container-title":["IFIP International Federation for Information Processing","Exploring New Frontiers of Theoretical Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-8141-3_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:28:15Z","timestamp":1619555295000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-8141-3_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402081405"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/1-4020-8141-3_28","relation":{},"subject":[]}}