{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:27:04Z","timestamp":1725467224438},"publisher-location":"Berlin, Heidelberg","reference-count":3,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642312229"},{"type":"electronic","value":"9783642312236"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31223-6_47","type":"book-chapter","created":{"date-parts":[[2012,6,18]],"date-time":"2012-06-18T15:59:20Z","timestamp":1340035160000},"page":"346-348","source":"Crossref","is-referenced-by-count":0,"title":["Formalising Simple Codecharts"],"prefix":"10.1007","author":[{"given":"Jon","family":"Nicholson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aidan","family":"Delaney","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"47_CR1","doi-asserted-by":"crossref","unstructured":"Eden, A.H., Nicholson, J.: Codecharts: Roadmaps and Blueprints for Object-Oriented Programs. Wiley-Blackwell (April 2011)","DOI":"10.1002\/9780470891032"},{"key":"47_CR2","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software, 1st edn. Addison-Wesley Professional (November 1994)"},{"key":"47_CR3","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1145\/505168.505185","volume-title":"Proceedings of the International Conference on Formal Ontology in Information Systems, FOIS 2001","author":"J. Howse","year":"2001","unstructured":"Howse, J., Molina, F., Taylor, J., Shin, S.-J.: Type-syntax and token-syntax in diagrammatic systems. In: Proceedings of the International Conference on Formal Ontology in Information Systems, FOIS 2001, vol.\u00a02001, pp. 174\u2013185. ACM, New York (2001)"}],"container-title":["Lecture Notes in Computer Science","Diagrammatic Representation and Inference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31223-6_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:52:17Z","timestamp":1620129137000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31223-6_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642312229","9783642312236"],"references-count":3,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31223-6_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}