{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:00:28Z","timestamp":1725552028878},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540340218"},{"type":"electronic","value":"9783540340225"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11750321_57","type":"book-chapter","created":{"date-parts":[[2006,5,4]],"date-time":"2006-05-04T06:11:16Z","timestamp":1146723076000},"page":"601-610","source":"Crossref","is-referenced-by-count":5,"title":["Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations"],"prefix":"10.1007","author":[{"given":"Yujun","family":"Zheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinyun","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weibo","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"57_CR1","series-title":"Lecture Notes in Computer Science","first-page":"40","volume-title":"Proc. 8th Workshop on Abstract Data Types","author":"H.D. Ehrich","year":"1991","unstructured":"Ehrich, H.D., Gogolla, M.: Objects and Their Specifications. In: Proc. 8th Workshop on Abstract Data Types. LNCS, vol.\u00a0665, pp. 40\u201365. Springer, Heidelberg (1991)"},{"key":"57_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/BFb0019447","volume-title":"Rex90 Workshop on the Foundations of Object Oriented Languages","author":"J. Fiadeiro","year":"1991","unstructured":"Fiadeiro, J., Maibaum, T.: Describing, Structuring and Implementing Objects. In: Rex90 Workshop on the Foundations of Object Oriented Languages. LNCS, vol.\u00a0489, pp. 274\u2013310. Springer, Heidelberg (1991)"},{"key":"57_CR3","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1109\/69.334861","volume":"6","author":"X.M. Lu","year":"1994","unstructured":"Lu, X.M., Dillon, T.S.: An Algebraic Theory of Object-Oriented Systems. IEEE Tran. Knowledge and Data Engineering\u00a06, 412\u2013419 (1994)","journal-title":"IEEE Tran. Knowledge and Data Engineering"},{"key":"57_CR4","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1109\/32.852740","volume":"26","author":"S.A. DeLoach","year":"2000","unstructured":"DeLoach, S.A., Hartrum, T.C.: A Theory-Based Representation for Object-Oriented Domain Models. IEEE Trans. Software Engineering\u00a026, 500\u2013517 (2000)","journal-title":"IEEE Trans. Software Engineering"},{"key":"57_CR5","volume-title":"The Z Notation: A Reference Manual","author":"J.M. Spivey","year":"1989","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual. Prentice Hall, New York (1989)"},{"key":"57_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning Programs to Meanings","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)"},{"key":"57_CR7","unstructured":"Kestrel Institute, Slang Language Manual: Specware Version Core4 (1994)"},{"key":"57_CR8","doi-asserted-by":"crossref","unstructured":"Hartrum, T.C., Bailor, P.D.: Teaching Formal Extensions of Informal-Based Object-Oriented Analysis Methodologies. In: Proc. 7th Conf. Software Engineering Education, Pittsburgh, Pa, pp. 389\u2013409 (1994)","DOI":"10.1007\/BFb0017629"},{"key":"57_CR9","doi-asserted-by":"crossref","unstructured":"Wiels, V., Easterbrook, S.: Management of Evolving Specifications Using Category Theory. In: Proc. 13th IEEE Conf. Automated Software Engineering, Hawaii, pp. 12\u201321 (1998)","DOI":"10.1109\/ASE.1998.732561"},{"key":"57_CR10","volume-title":"Categories, Types and Structures: an introduction to category theory for the working computer scientist","author":"A. Asperti","year":"1991","unstructured":"Asperti, A., Longo, G.: Categories, Types and Structures: an introduction to category theory for the working computer scientist. MIT Press, Cambridge (1991)"},{"key":"57_CR11","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1017\/S0960129500000050","volume":"1","author":"J.A. Goguen","year":"1991","unstructured":"Goguen, J.A.: A Categorical Manifesto. Mathematical Structures in Computer Sciences\u00a01, 49\u201367 (1991)","journal-title":"Mathematical Structures in Computer Sciences"},{"key":"57_CR12","doi-asserted-by":"crossref","unstructured":"Smith, D.R.: Designware: Software Development by Refinement. In: Proc. 8th Conf. Category Theory and Computer Science, The Kluwer International Series In Engineering And Computer Science, pp. 3\u201321 (1999)","DOI":"10.1007\/978-1-4615-1391-9_1"},{"key":"57_CR13","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Systems","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Systems. Addison-Wesley, Reading (1995)"},{"key":"57_CR14","doi-asserted-by":"publisher","first-page":"127","DOI":"10.5381\/jot.2003.2.4.a4","volume":"2","author":"T. Taibi","year":"2003","unstructured":"Taibi, T., Ngo, D.C.L.: Formal Specification of Design Patterns - A Balanced Approach. Journal of Object Technology\u00a02, 127\u2013140 (2003)","journal-title":"Journal of Object Technology"},{"key":"57_CR15","unstructured":"Smith, J.M., Stotts, D.: Elemental Design Patterns: A Formal Semantics for Composition of OO Software Architecture. In: Proc. 27th IEEE\/NASA Software Engineering Laboratory Workshop, pp. 183\u2013190 (2002)"},{"key":"57_CR16","unstructured":"Zheng, Y.J., Xue, J.Y.: MISCE: A Semi-Automatic Development Environment for Logistic Information Systems. In: Proc. 1st IEEE Conf. Service Operations and Logistics, and Informatics, Beijing, China, pp. 1020\u20131025 (2005)"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Models of Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11750321_57.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:56:46Z","timestamp":1619506606000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11750321_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540340218","9783540340225"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11750321_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}