{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:06:35Z","timestamp":1725487595045},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540725879"},{"type":"electronic","value":"9783540725886"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-72588-6_78","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T14:35:23Z","timestamp":1184596523000},"page":"469-476","source":"Crossref","is-referenced-by-count":0,"title":["From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum"],"prefix":"10.1007","author":[{"given":"Yujun","family":"Zheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haihe","family":"Shi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinyun","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"78_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1524.001.0001","volume-title":"Basic Category Theory for Computer Scientists","author":"B.C. Pierce","year":"1991","unstructured":"Pierce, B.C.: Basic Category Theory for Computer Scientists. MIT Press, Cambridge (1991)"},{"key":"78_CR2","volume-title":"Categories for the Working Mathematician","author":"M.L. Saunders","year":"1998","unstructured":"Saunders, M.L.: Categories for the Working Mathematician. Springer, New York (1998)"},{"key":"78_CR3","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":"78_CR4","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":"78_CR5","doi-asserted-by":"crossref","unstructured":"Wiels, V., Easterbrook, S.: Management of Evolving Specifications Using Category Theory. In: Proceedings of 13th IEEE Conference on Automated Software Engineering, Hawaii, pp. 12\u201321 (1998)","DOI":"10.1109\/ASE.1998.732561"},{"issue":"2","key":"78_CR6","first-page":"51","volume":"8","author":"D.C. Kung","year":"1995","unstructured":"Kung, D.C., Gao, J., Hsia, P., Toyoshima, Y., Chen, C.: On Regression Testing of Object-Oriented Programs. Journal of Object-Oriented Programming\u00a08(2), 51\u201365 (1995)","journal-title":"Journal of Object-Oriented Programming"},{"key":"78_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1007\/11750321_57","volume-title":"Theory and Applications of Models of Computation","author":"Y.J. Zheng","year":"2006","unstructured":"Zheng, Y.J., Xue, J.Y., Liu, W.B.: Object-Oriented Specification Composition and Refinement via Category Theoretic Computations. In: Cai, J.-Y., Cooper, S.B., Li, A. (eds.) TAMC 2006. LNCS, vol.\u00a03959, pp. 601\u2013610. Springer, Heidelberg (2006)"},{"key":"78_CR8","unstructured":"Zheng, Y.J., Shi, H.H., Xue, J.Y.: Formalization and Mechanization of Design Patterns. In: Proceedings of 1st International Conference on Computer Science and Education, Xiamen, China, pp. 892\u2013897 (2006)"},{"key":"78_CR9","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":"78_CR10","volume-title":"Computational Category Theory","author":"D.E. Rydeheard","year":"1988","unstructured":"Rydeheard, D.E., Burstall, R.M.: Computational Category Theory. Prentice Hall, New York (1988)"},{"key":"78_CR11","unstructured":"Turi, D.: Category Theory Lecture Notes. Laboratory for Foundations of Computer Science, University of Edinburgh (2001)"}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2013 ICCS 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72588-6_78","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:21:49Z","timestamp":1556670109000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72588-6_78"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540725879","9783540725886"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72588-6_78","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}