{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:14:59Z","timestamp":1725488099464},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540675303"},{"type":"electronic","value":"9783540454991"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45499-3_34","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T21:55:04Z","timestamp":1185918904000},"page":"484-498","source":"Crossref","is-referenced-by-count":2,"title":["Applying Category Theory to Derive Engineering Software from Encoded Knowledge"],"prefix":"10.1007","author":[{"given":"Michael","family":"Healy","sequence":"first","affiliation":[]},{"given":"Keith","family":"Williamson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"key":"34_CR1","unstructured":"D. Bjorner and C. Jones. Formal Specification and Software Development. Prentice-Hall International, 1982."},{"key":"34_CR2","unstructured":"L Blaine and A Goldberg. Dtre-a semi-automatic transformation system. In B Moller, editor, Constructing Programs from Specifications. North-Holland, 1991."},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"T. Gruber et al. An ontology for engineering mathematics. In Proceedings of the Fourth International Conference on Principles of Representation and Reasoning. Morgan Kauffman, 1994.","DOI":"10.1016\/B978-1-4832-1452-8.50120-2"},{"issue":"12","key":"34_CR4","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/0304-3975(84)90134-8","volume":"31","author":"J. A. Goguen","year":"1984","unstructured":"J. A. Goguen and R. M. Burstall. Some fundamental algebraic tools for the semantics of computation-part 1: Comma categories, colimits, signatures and theories. Theoretical Computer Science, 31(1,2):175\u2013209, 1984.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"34_CR5","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen and R. M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39(1):95\u2013146, 1992.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"34_CR6","doi-asserted-by":"crossref","unstructured":"R. Jullig and Y. V. Srinivas. Diagrams for software synthesis. In Proceedings of KBSE\u2019 93: The Eighth Knowledge-Based Software Engineering Conference, pages 10\u201319. IEEE Computer Society Press, 1993.","DOI":"10.1109\/KBSE.1993.341202"},{"key":"34_CR7","doi-asserted-by":"crossref","unstructured":"J. Meseguer. General logics. In Logic Colloquium\u2019 87, pages 275\u2013329. Science Publishers B. V. (North-Holland), 1987.","DOI":"10.1016\/S0049-237X(08)70132-0"},{"key":"34_CR8","doi-asserted-by":"crossref","unstructured":"B C Pierce. Basic CategoryThe oryf or Computer Scientists. MIT Press, 1991.","DOI":"10.7551\/mitpress\/1524.001.0001"},{"key":"34_CR9","unstructured":"D. Smith. Kids: Akno wledge based software development system. In M. Lowry and R. McCartney, editors, Automating Software Design. MIT Press, 1991."},{"key":"34_CR10","unstructured":"J. M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall, 1992."},{"key":"34_CR11","doi-asserted-by":"crossref","unstructured":"Y. V. Srinivas and R. Jullig. specwaretm: Formal support for composing software. In Proceedings of the Conference of Mathematics of Program Construction, 1995.","DOI":"10.1007\/3-540-60117-1_22"},{"key":"34_CR12","unstructured":"T. C. Wang and A. Goldberg. A mechanical verifier for supporting the design of reliable reactive systems. In Proceedings of the International Symposium on Software ReliabilityE ngineering, 1991."},{"key":"34_CR13","doi-asserted-by":"crossref","unstructured":"K. Williamson and M. Healy. Formally specifyuing engineering design rationale. In Proceedings of the Automated Software Engineering Conference-1997, 1997.","DOI":"10.1109\/ASE.1997.632863"},{"issue":"1","key":"34_CR14","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1023\/A:1008959706859","volume":"11","author":"K. Williamson","year":"2000","unstructured":"K. Williamson and M. Healy. Deriving engineering software from requirements. Journal of Intelligent Manufacturing, 11(1):3\u201328, 2000.","journal-title":"Journal of Intelligent Manufacturing"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45499-3_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T12:28:14Z","timestamp":1556713694000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45499-3_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540675303","9783540454991"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45499-3_34","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}