{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T06:15:33Z","timestamp":1759990533249},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540347507"},{"type":"electronic","value":"9783540347521"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11768173_7","type":"book-chapter","created":{"date-parts":[[2006,6,21]],"date-time":"2006-06-21T12:02:49Z","timestamp":1150891369000},"page":"101-122","source":"Crossref","is-referenced-by-count":4,"title":["A Relational Investigation of UTP Designs and Prescriptions"],"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","reference":[{"volume-title":"APSEC 2003: Proceedings of the 10th Asia-Pacific Software Engineering Conference","year":"2003","key":"7_CR1","unstructured":"Azada, D., Muenchaisri, P. (eds.): APSEC 2003: Proceedings of the 10th Asia-Pacific Software Engineering Conference, Chiangmai, Thailand, December 10-12. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-52513-0","volume-title":"VDM \u201990. VDM and Z - Formal Methods in Software Development","author":"D. Bj\u00f8rner","year":"1990","unstructured":"Bj\u00f8rner, D., Hoare, C.A.R., Langmaack, H.: VDM 1990. LNCS, vol.\u00a0428. Springer, Heidelberg (1990)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44880-2","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"D. Bert","year":"2003","unstructured":"Bert, D., Bowen, J.P., King, S., Wald\u00e9n, M. (eds.): ZB 2003. LNCS, vol.\u00a02651. Springer, Heidelberg (2003)"},{"key":"7_CR4","volume-title":"Formal Approaches to Computing and Information Technology \u2013 FACIT","author":"J. Derrick","year":"2001","unstructured":"Derrick, J., Boiten, E.A.: Refinement in Z and Object-Z: Foundations and Advanced Applications. In: Formal Approaches to Computing and Information Technology \u2013 FACIT. Springer, Heidelberg (2001)"},{"key":"7_CR5","unstructured":"Derrick, J., Boiten, E.A. (eds.): REFINE 2005 International Workshop. Electronic Notes in Theoretical Computer Science. BCS-FACS (April 2005)"},{"key":"7_CR6","unstructured":"Deutsch, M.: An Analysis of Total Correctness Refinement Models for Partial Relation Semantics. PhD thesis, University of Essex (2005)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Deutsch, M., Henson, M.C.: An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics. In: APSEC 2003 [1], pp. 38\u201348 (2003)","DOI":"10.1109\/APSEC.2003.1254356"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Deutsch, M., Henson, M.C.: An Analysis of Forward Simulation Data Refinement. In: ZB 2003 [3], pp. 148\u2013167 (2003)","DOI":"10.1007\/3-540-44880-2_11"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Deutsch, M., Henson, M.C.: An Analysis of Operation-Refinement in an Abortive Paradigm. In: REFINE 2005 [5] (2005)","DOI":"10.1016\/j.entcs.2005.04.025"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/APSEC.2002.1182973","volume-title":"APSEC 2002: Proceeding of the 9th Asia-Pacific Software Engineering Conference","author":"M. Deutsch","year":"2002","unstructured":"Deutsch, M., Henson, M.C., Reeves, S.: Results on Formal Stepwise Design in Z. In: Strooper, P., Muenchaisri, P. (eds.) APSEC 2002: Proceeding of the 9th Asia-Pacific Software Engineering Conference, Gold Coast, Queensland, Australia, December 4-6, pp. 33\u201342. IEEE Computer Society Press, Los Alamitos (2002)"},{"issue":"3","key":"7_CR11","first-page":"287","volume":"11","author":"M. Deutsch","year":"2003","unstructured":"Deutsch, M., Henson, M.C., Reeves, S.: An analysis of total correctness refinement models for partial relation semantics I. Logic Journal of the IGPL\u00a011(3), 287\u2013317 (2003)","journal-title":"Logic Journal of the IGPL"},{"key":"7_CR12","unstructured":"Deutsch, M., Henson, M.C., Reeves, S.: Modular reasoning in Z: scrutinising monotonicity and refinement. University of Essex, technical report CSM-407 (under consideration of FACJ) (December 2003)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Deutsch, M., Henson, M.C., Reeves, S.: Operation Refinement and Monotonicity in the Schema Calculus. In: ZB 2003 [3], pp. 103\u2013126 (2003)","DOI":"10.1007\/3-540-44880-2_9"},{"key":"7_CR14","volume-title":"Z: An Introduction to Formal Methods","author":"A. Diller","year":"1994","unstructured":"Diller, A.: Z: An Introduction to Formal Methods, 2nd edn. J. Wiley and Sons, Chichester (1994)","edition":"2"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Dunne, S.E.: Recasting Hoare and He\u2019s Unifying Theory of Programs in the Context of General Correctness. In: Butterfield, A., Strong, G., Pahl, C. (eds.) IWFM 2001: 5th Irish Workshop on Formal Methods, Dublin, Ireland, July 16-17, Workshops in Computing. BCS (2001)","DOI":"10.14236\/ewic\/IWFM2001.1"},{"key":"7_CR16","unstructured":"Dunne, S.E.: A Predicative Model for General Correctness. Departmental Seminar, Department of Computer Science, University of Essex (March 2004)"},{"key":"7_CR17","unstructured":"Groves, L.J.: Evolutionary Software Development in the Refinement Calculus. PhD thesis, Victoria University (2000)"},{"key":"7_CR18","volume-title":"The Logic of Programming","author":"E.C.R. Hehner","year":"1984","unstructured":"Hehner, E.C.R.: The Logic of Programming. Prentice Hall International, Englewood Cliffs (1984)"},{"key":"7_CR19","unstructured":"Henson, M.C., Deutsch, M., Kajtazi, B.: The Specification Logic vZ. University of Essex, technical report CSM-421 (2004)"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Henson, M.C., Kajtazi, B.: The Specification Logic vZ. In: REFINE 2005 [5] (2005)","DOI":"10.1016\/j.entcs.2005.04.027"},{"issue":"1","key":"7_CR21","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1093\/logcom\/10.1.43","volume":"10","author":"M.C. Henson","year":"2000","unstructured":"Henson, M.C., Reeves, S.: Investigating Z. Logic and Computation\u00a010(1), 43\u201373 (2000)","journal-title":"Logic and Computation"},{"issue":"1","key":"7_CR22","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/s00165-003-0004-7","volume":"15","author":"M.C. Henson","year":"2003","unstructured":"Henson, M.C., Reeves, S.: A logic for schema-based program development. Formal Aspects of Computing\u00a015(1), 84\u201399 (2003)","journal-title":"Formal Aspects of Computing"},{"key":"7_CR23","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice Hall International, Englewood Cliffs (1998)"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"King, S.: Z and the Refinement Calculus. In: VDM 1990 [2], pp. 164\u2013188 (1990)","DOI":"10.1007\/3-540-52513-0_10"},{"key":"7_CR25","volume-title":"An Introduction to Formal Specification and Z","author":"B. Potter","year":"1996","unstructured":"Potter, B., Sinclair, J., Till, D.: An Introduction to Formal Specification and Z, 2nd edn. Prentice Hall, Englewood Cliffs (1996)","edition":"2"},{"key":"7_CR26","volume-title":"The Z Notation: A Reference Manual","author":"J.M. Spivey","year":"1992","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice-Hall, Englewood Cliffs (1992)","edition":"2"},{"key":"7_CR27","unstructured":"Toyn, I. (ed.): Z Notation: Final Committee Draft, CD 13568.2. Z Standards Panel (1999)"},{"key":"7_CR28","volume-title":"Using Z: Specification, Refinement and Proof","author":"J.C.P. Woodcock","year":"1996","unstructured":"Woodcock, J.C.P., Davies, J.: Using Z: Specification, Refinement and Proof. Prentice-Hall, Englewood Cliffs (1996)"}],"container-title":["Lecture Notes in Computer Science","Unifying Theories of Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11768173_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,7]],"date-time":"2023-05-07T20:04:49Z","timestamp":1683489889000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11768173_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540347507","9783540347521"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/11768173_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}