{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:26:01Z","timestamp":1742988361495,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"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_11","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T16:12:53Z","timestamp":1183479173000},"page":"148-167","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["An Analysis of Forward Simulation Data Refinement"],"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"}]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"11_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":"11_CR2","unstructured":"A. Cavalcanti and J. C. P. Woodcock. A weakest precondition semantics for Z. Technical Monograph PRG-TR-16-97. Oxford University Computing Laboratory, 1997."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"W. P. de Roever and K. Engelhardt. Data Refinement: Model-Oriented Proof Methods and Their Comparison. Prentice Hall International, 1998.","DOI":"10.1017\/CBO9780511663079"},{"key":"11_CR4","doi-asserted-by":"crossref","first-page":"917","DOI":"10.1016\/S0950-5849(99)00044-0","volume":"41","author":"J. Derrick","year":"1999","unstructured":"J. Derrick and E. Boiten. Calculating upward and downward simulations of state-based specifications. Information and Software Technology, 41:917\u2013923, July 1999.","journal-title":"Information and Software Technology"},{"key":"11_CR5","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":"11_CR6","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":"11_CR7","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":"11_CR8","series-title":"Lect Notes Comput Sci","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"M. Deutsch","year":"2003","unstructured":"M. Deutsch, M. C. Henson, and S. Reeves. Operation refinement and monotonicity in the schema calculus. In D. Bert, J. Bowen, S. King, and M. Walden, editors, ZB 2003: Formal Specification and Development in Z and B, volume 2651 of Lecture Notes in Computer Science, this volume. Springer-Verlag, June 2003."},{"key":"11_CR9","unstructured":"J. Grundy. A Method of Program Refinement. PhD thesis, University of Cambridge, 1993."},{"key":"11_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/3-540-16442-1_14","volume-title":"European Symposium on Programming (ESOP\u2019 86)","author":"J. He","year":"1986","unstructured":"J. He, C.A.R Hoare, and J.W. Sanders. Data refinement refined. In G. Goos and J. Hartmanis, editors, European Symposium on Programming (ESOP\u2019 86), volume 213 of Lecture Notes in Computer Science, pages 187\u2013196. Springer-Verlag, 1986."},{"issue":"2","key":"11_CR11","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0020-0190(87)90224-9","volume":"25","author":"J. He","year":"1987","unstructured":"J. He, C.A.R Hoare, and J.W. Sanders. Prespecification in data refinement. Information Processing Letters, 25(2):71\u201376, 1987.","journal-title":"Information Processing Letters"},{"key":"11_CR12","unstructured":"M. C. Henson and S. Reeves. New foundations for Z. In J. Grundy, M. Schwenke, and T. Vickers, editors, Proc. International Refinement Workshop and Formal Methods Pacific\u2019 98, pages 165\u2013179. Springer, 1998."},{"issue":"1","key":"11_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":"11_CR14","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0020-0190(88)90078-6","volume":"27","author":"M. B. Josephs","year":"1988","unstructured":"M. B. Josephs. The data refinement calculator for Z specifications. Information Processing Letters, 27:29\u201333, 1988.","journal-title":"Information Processing Letters"},{"key":"11_CR15","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":"11_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/3-540-44525-0_17","volume-title":"ZB2000: Formal Specification and Development in Z and B","author":"R. Miarka","year":"2000","unstructured":"R. Miarka, E. Boiten, and J. Derrick. Guards, preconditions, and refinement in Z. In J. P. Bowen, S. Dunne, A. Galloway, and S. King, editors, ZB2000: Formal Specification and Development in Z and B, volume 1878 of Lecture Notes in Computer Science, pages 286\u2013303. Springer-Verlag, August 2000."},{"key":"11_CR17","unstructured":"J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 2nd edition, 1992."},{"key":"11_CR18","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":"11_CR19","unstructured":"N. W. Tennant. Natural Logic. Edinburgh University Press, 2nd edition, 1990."},{"key":"11_CR20","unstructured":"J. C. P. Woodcock and J. Davies. Using Z: Specification, Refinement and Proof. Prentice Hall, 1996."},{"key":"11_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1007\/3-540-52513-0_18","volume-title":"VDM\u2019 90 VDM and Z \u2014 Formal Methods in Software Development","author":"J. C. P. Woodcock","year":"1990","unstructured":"J. C. P. Woodcock and C. C. Morgan. Refinement of state-based concurrent systems. 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 340\u2013351. Springer-Verlag, April 1990."},{"key":"11_CR22","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_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T04:04:53Z","timestamp":1737173093000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-44880-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540402534","9783540448808"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-44880-2_11","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"}}]}}