{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:47:41Z","timestamp":1725475661634},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540687603"},{"type":"electronic","value":"9783540687610"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11955757_12","type":"book-chapter","created":{"date-parts":[[2006,12,11]],"date-time":"2006-12-11T04:34:20Z","timestamp":1165811660000},"page":"125-139","source":"Crossref","is-referenced-by-count":3,"title":["Patterns for B: Bridging Formal and Informal Development"],"prefix":"10.1007","author":[{"given":"Edward","family":"Chan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ken","family":"Robinson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brett","family":"Welch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"A Pattern Language : Towns, Buildings, Construction (Center for Environmental Structure Series)","author":"C. Alexander","year":"1977","unstructured":"Alexander, C.: A Pattern Language: Towns, Buildings, Construction (Center for Environmental Structure Series). Oxford University Press, Oxford (1977)"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/3-540-44880-2_4","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"S. Blazy","year":"2003","unstructured":"Blazy, S., Gervais, F., Laleau, R.: Reuse of Specification Patterns with the B Method. In: Bert, D., P. Bowen, J., King, S. (eds.) ZB 2003. LNCS, vol.\u00a02651, pp. 40\u201357. Springer, Heidelberg (2003)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Chan, E., Welch, B.: Patterns and the B Method: Bridging Formal and Informal Development. Technical report, Department of Computer Science, University of NSW (2006), ftp:\/\/ftp.cse.unsw.edu.au\/pub\/doc\/papers\/UNSW\/0620.pdf","DOI":"10.1007\/11955757_12"},{"key":"12_CR4","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-540-30472-2_13","volume-title":"Teaching Formal Methods","author":"K. Robinson","year":"2004","unstructured":"Robinson, K.: Embedding Formal Methods in Software Engineering. In: Dean, C.N., Boute, R.T. (eds.) TFM 2004. LNCS, vol.\u00a03294, pp. 203\u2013213. Springer, Heidelberg (2004)"},{"issue":"1","key":"12_CR6","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/1125808.1125811","volume":"15","author":"C. Snook","year":"2006","unstructured":"Snook, C., Butler, M.: UML-B: Formal Modeling and Design Aided by UML. ACM Trans. Softw. Eng. Methodol.\u00a015(1), 92\u2013122 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."}],"container-title":["Lecture Notes in Computer Science","B 2007: Formal Specification and Development in B"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11955757_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:21:15Z","timestamp":1619493675000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11955757_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540687603","9783540687610"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/11955757_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}