{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:49:58Z","timestamp":1725490198180},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540745099"},{"type":"electronic","value":"9783540745105"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74510-5_13","type":"book-chapter","created":{"date-parts":[[2007,8,21]],"date-time":"2007-08-21T15:11:35Z","timestamp":1187709095000},"page":"104-114","source":"Crossref","is-referenced-by-count":4,"title":["Proved-Patterns-Based Development for Structured Programs"],"prefix":"10.1007","author":[{"given":"Dominique","family":"Cansell","sequence":"first","affiliation":[]},{"given":"Dominique","family":"M\u00e9ry","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","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":"13_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"J.-R. Abrial","year":"2003","unstructured":"Abrial, J.-R.: B#: Toward a synthesis between z and b. In: Bert, D., Bowen, J.P., King, S. (eds.) ZB 2003. LNCS, vol.\u00a02651, Springer, Heidelberg (2003)"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/978-3-540-45236-2_5","volume-title":"FME 2003: Formal Methods","author":"J.-R. Abrial","year":"2003","unstructured":"Abrial, J.-R.: Event based sequential program development: Application to constructing a pointer program. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 51\u201374. Springer, Heidelberg (2003)"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R., Cansell, D.: Click\u2019n prove: Interactive proofs within set theory. In: TPHOL 2003, pp. 1\u201324 (2003)","DOI":"10.1007\/10930755_1"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1007\/11415787_14","volume-title":"ZB 2005: Formal Specification and Development in Z and B","author":"J.-R. Abrial","year":"2005","unstructured":"Abrial, J.-R., Cansell, D., M\u00e9ry, D.: Refinement and reachability in event $_{\\mbox{b}}$ . In: Treharne, H., King, S., Henson, M.C., Schneider, S. (eds.) ZB 2005. LNCS, vol.\u00a03455, pp. 222\u2013241. Springer, Heidelberg (2005)"},{"issue":"1","key":"13_CR6","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0022-0000(81)90005-2","volume":"23","author":"R. Back","year":"1979","unstructured":"Back, R.: On correct refinement of programs. Journal of Computer and System Sciences\u00a023(1), 49\u201368 (1979)","journal-title":"Journal of Computer and System Sciences"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner, D., Henson, M.C\u0303. (eds.): Logics of Specification Languages. In: EATCS Textbook in Computer Science. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-74107-7"},{"key":"13_CR8","unstructured":"Cansell, D., M\u00e9ry, D.: Incremental parametric development of greedy algorithms. In: Merz, S., Nipkow, T. (eds.) AVoCS 2006. Automatic Verification of Critical Systems - AVoCS 2006, 2006-09, Automatic Verification of Critical Systems, Nancy\/France, pp. 48\u201362 (2006)"},{"key":"13_CR9","first-page":"33","volume-title":"The event-B Modelling Method: Concepts and Case Studies","author":"D. Cansell","year":"2007","unstructured":"Cansell, D., M\u00e9ry, D.: The event-B Modelling Method: Concepts and Case Studies, pp. 33\u2013140. Springer, Heidelberg (2007), See [7]"},{"key":"13_CR10","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"13_CR11","unstructured":"ClearSy, Aix-en-Provence (F). B4FREE (2004), http:\/\/www.b4free.com"},{"key":"13_CR12","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1145\/1173706.1173740","volume-title":"GPCE 2006","author":"G.T. Leavens","year":"2006","unstructured":"Leavens, G.T., Abrial, J.-R., Batory, D., Butler, M., Coglio, A., Fisler, K., Hehner, E., Jones, C., Miller, D., Peyton-Jones, S., Sitaraman, M., Smith, D.R., Stump, A.: Roadmap for enhanced languages and methods to aid verification. In: GPCE 2006. Fifth Intl. Conf. Generative Programming and Component Engineering, pp. 221\u2013235. ACM, New York (2006)"},{"key":"13_CR14","series-title":"International Series in Computer Science","volume-title":"Programming from Specifications","author":"C. Morgan","year":"1990","unstructured":"Morgan, C.: Programming from Specifications. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1990)"},{"key":"13_CR15","volume-title":"How to Solve It","author":"G. Polya","year":"1957","unstructured":"Polya, G.: How to Solve It, 2nd edn. Princeton University Press, Princeton, NJ (1957)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Computer Science \u2013 Theory and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74510-5_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:21:46Z","timestamp":1619518906000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74510-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540745099","9783540745105"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74510-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}