{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T04:20:44Z","timestamp":1742962844222,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540402534"},{"type":"electronic","value":"9783540448808"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44880-2_9","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T16:12:53Z","timestamp":1183479173000},"page":"103-126","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Operation Refinement and Monotonicity in the Schema Calculus"],"prefix":"10.1007","author":[{"given":"Moshe","family":"Deutsch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin C.","family":"Henson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steve","family":"Reeves","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"C. Bolton, J. Davies, and J. C. P. Woodcock. On the refinement and simulation of data types and processes. In K. Araki, A. Galloway, and K. Taguchi, editors, Integrated Formal Methods (IFM\u201999). Springer, 1999.","DOI":"10.1007\/978-1-4471-0851-1_15"},{"key":"9_CR2","unstructured":"A. Cavalcanti. A Refinement Calculus for Z. PhD thesis, University of Oxford, 1997."},{"issue":"3","key":"9_CR3","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/s001650050016","volume":"10","author":"A. Cavalcanti","year":"1998","unstructured":"A. Cavalcanti and J. C. P. Woodcock. ZRC \u2014 a refinement calculus for Z. Formal Aspects of Computing, 10(3):267\u2013289, 1998.","journal-title":"Formal Aspects of Computing"},{"key":"9_CR4","unstructured":"J. Derrick and E. Boiten. Refinement in Z and Object-Z: Foundations and Advanced Applications. Formal Approaches to Computing and Information Technology \u2014 FACIT. Springer, May 2001."},{"key":"9_CR5","unstructured":"M. Deutsch, M. C. Henson, and S. Reeves. An analysis of total correctness refinement models for partial relation semantics I. University of Essex, technical report CSM-362, 2001. To appear in the Logic Journal of the IGPL."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"M. Deutsch, M. C. Henson, and S. Reeves. Results on formal stepwise design in Z. In 9th Asia Pacific Software Engineering Conference (APSEC 2002), pages 33\u201342. IEEE Computer Society Press, December 2002.","DOI":"10.1109\/APSEC.2002.1182973"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"M. Deutsch, M. C. Henson, and S. Reeves. Operation refinement and monotonicity in the schema calculus. University of Essex, technical report CSM-381, February 2003.","DOI":"10.1007\/3-540-44880-2_9"},{"key":"9_CR8","unstructured":"A. Diller. Z: An Introduction to Formal Methods. J. Wiley and Sons, 2nd edition, 1994."},{"key":"9_CR9","unstructured":"L. Groves. Evolutionary Software Development in the Refinement Calculus. PhD thesis, Victoria University, 2000."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"L. Groves. Refinement and the Z schema calculus. In REFINE 2002: Refinement Workshop. BCS FACS, July 2002.","DOI":"10.1016\/S1571-0661(05)80486-4"},{"key":"9_CR11","unstructured":"J. Grundy. A Method of Program Refinement. PhD thesis, University of Cambridge, 1993."},{"key":"9_CR12","unstructured":"I. Hayes. Specification Case Studies. Prentice Hall, 2nd edition, 1993."},{"issue":"1","key":"9_CR13","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1093\/logcom\/10.1.43","volume":"10","author":"M. C. Henson","year":"2000","unstructured":"M. C. Henson and S. Reeves. Investigating Z. Logic and Computation, 10(1):43\u201373, 2000.","journal-title":"Logic and Computation"},{"key":"9_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/3-540-44525-0_20","volume-title":"ZB 2000: Formal Speci.cation and Development in Z and B","author":"M. C. Henson","year":"2000","unstructured":"M. C. Henson and S. Reeves. Program development and specification refinement in the schema calculus. In J. P. Bowen, S. Dunne, A. Galloway, and S. King, editors, ZB 2000: Formal Speci.cation and Development in Z and B, volume 1878 of Lecture Notes in Computer Science, pages 344\u2013362. Springer, 2000."},{"key":"9_CR15","unstructured":"M. C. Henson and S. Reeves. A logic for schema-based program development. University of Essex, technical report CSM-361, 2001. To appear in the Journal of Formal Aspects of Computing."},{"key":"9_CR16","unstructured":"J. Jacky. Formal specification of control software for a radiation therapy machine. Radiation Oncology Department, University of Washington, technical report 94-07-01, 1994."},{"key":"9_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1007\/3-540-52513-0_10","volume-title":"VDM\u2019 90 VDM and Z \u2014 Formal Methods in Software Development","author":"S. King","year":"1990","unstructured":"S. King. Z and the Refinement Calculus. In D. Bj\u00f8rner, C. A. R. Hoare, and H. Langmaack, editors, VDM\u2019 90 VDM and Z \u2014 Formal Methods in Software Development, volume 428 of Lecture Notes in Computer Science, pages 164\u2013188. Springer-Verlag, April 1990."},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/s001650050037","volume":"11","author":"B. P. Mahony","year":"1999","unstructured":"B. P. Mahony. The least conjunctive refinement and promotion in the refinement calculus. Formal Aspects of Computing, 11:75\u2013105, 1999.","journal-title":"Formal Aspects of Computing"},{"key":"9_CR19","unstructured":"B. Potter, J. Sinclair, and D. Till. An Introduction to Formal Specification and Z. Prentice Hall, 2nd edition, 1996."},{"key":"9_CR20","unstructured":"J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 2nd edition, 1992."},{"key":"9_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1007\/3-540-60271-2_125","volume-title":"ZUM\u2019 95: The Z Formal Specification Notation","author":"B. Strulo","year":"1995","unstructured":"B. Strulo. How firing conditions help inheritance. In J. P. Bowen and M. G. Hinchey, editors, ZUM\u2019 95: The Z Formal Specification Notation, volume 967 of Lecture Notes in Computer Science, pages 264\u2013275. Springer Verlag, 1995."},{"key":"9_CR22","unstructured":"M. Utting. Private communication. Department of Computer Science, University of Waikato, Hamilton, New Zealand, June 2002."},{"key":"9_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"652","DOI":"10.1007\/BFb0024672","volume-title":"Formal Methods Europe (FME\u2019 93)","author":"N. Ward","year":"1993","unstructured":"N. Ward. Adding specification constructors to the refinement calculus. In J. C. P. Woodcock and P. G. Larsen, editors, Formal Methods Europe (FME\u2019 93), volume 670 of Lecture Notes in Computer Science, pages 652\u2013670. Springer-Verlag, 1993."},{"issue":"5","key":"9_CR24","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/71633.71634","volume":"14","author":"J. C. P. Woodcock","year":"1989","unstructured":"J. C. P. Woodcock. Calculating properties of Z specifications. ACM SIGSOFT Software Engineering Notes, 14(5):43\u201354, 1989.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"J. C. P. Woodcock. Implementing promoted operations in Z. In C. B. Jones, R. C. Shaw, and T. Denvir, editors, 5th Refinement Workshop, Workshops in Computing, pages 367\u2013378. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4471-3550-0_19"},{"key":"9_CR26","unstructured":"J. C. P. Woodcock and J. Davies. Using Z: Specification, Refinement and Proof. Prentice Hall, 1996."},{"key":"9_CR27","unstructured":"J. B. Wordsworth. Software Development with Z \u2014 A Practical Approach to Formal Methods in Software Engineering. Internalional Computer Science Series. Addison-Wesley, 1992."}],"container-title":["Lecture Notes in Computer Science","ZB 2003: Formal Specification and Development in Z and B"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44880-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T04:05:30Z","timestamp":1737173130000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-44880-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540402534","9783540448808"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-44880-2_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"27 May 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}