{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:20:10Z","timestamp":1725711610015},"publisher-location":"London","reference-count":30,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197522"},{"type":"electronic","value":"9781447135500"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3550-0_14","type":"book-chapter","created":{"date-parts":[[2013,1,6]],"date-time":"2013-01-06T02:45:38Z","timestamp":1357440338000},"page":"272-297","source":"Crossref","is-referenced-by-count":10,"title":["A Tactic Driven Refinement Tool"],"prefix":"10.1007","author":[{"given":"Lindsay","family":"Groves","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raymond","family":"Nickson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Utting","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"The B Method","author":"JR Abrial","year":"1991","unstructured":"J.-R. Abrial, S. T. Davies, M. K. O. Lee, D. S. Neilson, P. N. Scharbach and I. H. Sorensen, The B Method, BP Research, Sunbury Research Centre, U.K., 1991."},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/BF00291051","volume":"25","author":"RJ Back","year":"1988","unstructured":"R. J. R. Back, \u201cA Calculus of Refinements for Program Derivations\u201d, Acta Informatica, 25: 593\u2013624, 1988.","journal-title":"Acta Informatica"},{"key":"14_CR3","volume-title":"\u201cRefinement Diagrams\u201d, Proceedings Fourth Refinement Workshop, Cambridge","author":"RJ Back","year":"1991","unstructured":"R. J. R. Back, \u201cRefinement Diagrams\u201d, Proceedings Fourth Refinement Workshop, Cambridge, 9\u201311 January, 1991, British Computer Society."},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF01888227","volume":"2","author":"RJ Back","year":"1990","unstructured":"R. J. R. Back and J. von Wright, \u201cRefinement Concepts Formalised in Higher Order Logic\u201d, Formal Aspects of Computing, 2: 247\u2013272, 1990.","journal-title":"Formal Aspects of Computing"},{"key":"14_CR5","unstructured":"F. L. Bauer et al. (The CIP Language Group), The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L, Springer-Verlag, Lecture Notes in Computer Science 183, 1985."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"F. L. Bauer et al. (The CIP System Group), The Munich Project CIP, Volume II: The Program Transformation System CIP-S, Springer-Verlag, Lecture Notes in Computer Science 292, 1987.","DOI":"10.1007\/3-540-18779-0"},{"key":"14_CR7","unstructured":"Mats Carlsson and Johan Wid\u00e9n, SICStus Prolog User\u2019s Manual,Swedish Institute of Computer Science, 1988."},{"key":"14_CR8","volume-title":"\u201cTool Support for the Refinement Calculus\u201d, Computer Aided Verification Workshop","author":"DA Carrington","year":"1990","unstructured":"D. A. Carrington and K. A. Robinson, \u201cTool Support for the Refinement Calculus\u201d, Computer Aided Verification Workshop, New Jersey, June 1990."},{"key":"14_CR9","unstructured":"R. L. Constable et al., Implementing Mathematics with the Nuprl Proof Development System,Prentice-Hall, 1986."},{"issue":"3","key":"14_CR10","first-page":"181","volume":"8","author":"EW Dijkstra","year":"1969","unstructured":"E. W. Dijkstra, \u201cA Constructive Approach to the Problem of Program Correctness\u201d, BIT, 8 (3): 181\u2013185, 1969.","journal-title":"BIT"},{"key":"14_CR11","unstructured":"E. W. Dijkstra, A Discipline of Programming, Academic Press, 1976."},{"key":"14_CR12","unstructured":"Geoff Dromey, Program Derivation: The Development of Programs from Specifications,Addison-Wesley, 1989."},{"issue":"2","key":"14_CR13","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/122538.122549","volume":"16","author":"M Ducass\u00e9","year":"1991","unstructured":"Mireille Ducass\u00e9 and Anna-Maria Emde, \u201cOPIUM: A Debugging Environment for Prolog Development and Debugging Research\u201d, ACM Software Engineering Notes, 16 (2): 67\u201372, April 1991.","journal-title":"ACM Software Engineering Notes"},{"key":"14_CR14","volume-title":"Towards Interactive Design of Correct Programs, Technical Report CS-235","author":"RW Floyd","year":"1971","unstructured":"R. W. Floyd, Towards Interactive Design of Correct Programs, Technical Report CS-235, Stanford University, September 1971."},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"David Gries, The Science of Programming,Springer-Verlag, 1981.","DOI":"10.1007\/978-1-4612-5983-1"},{"key":"14_CR16","unstructured":"L. J. Groves and R. G. Nickson, Towards a Program Derivation Editor, Technical Report, Department of Computer Science, Victoria University of Wellington, 1988."},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"C. B. Jones, K.D. Jones, P.A. Lindsay and R. Moore, mural: A Formal Development Support System, Springer-Verlag, 1991.","DOI":"10.1007\/978-1-4471-3180-9"},{"key":"14_CR18","unstructured":"Anne Kaldewaij, Programming: The Derivation of Algorithms,Prentice-Hall, 1990."},{"key":"14_CR19","unstructured":"Ted Kim, XWIP Reference Manual, University of California, Los Angeles, 1989."},{"issue":"5","key":"14_CR20","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1147\/rd.315.0546","volume":"31","author":"C Morgan","year":"1987","unstructured":"Carroll Morgan and Ken Robinson, \u201cSpecification Statements and Refinement\u201d, IBM Journal of Research and Development, 31 (5): 546\u2013555, September 1987.","journal-title":"IBM Journal of Research and Development"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Carroll Morgan, \u201cTypes and Invariants in the Refinement Calculus\u201d, in Mathematics of Program Construction,J. L. A. van de Snepscheut (Ed.), Springer Verlag, Lecture Notes in Computer Science 375, 1989, pp 363\u2013378.","DOI":"10.1007\/3-540-51305-1_22"},{"key":"14_CR22","unstructured":"Carroll Morgan, Programming from Specification,Prentice-Hall, 1990."},{"key":"14_CR23","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/BF00277386","volume":"27","author":"C Morgan","year":"1990","unstructured":"Carroll Morgan and Paul Gardiner, \u201cData Refinement by Calculation\u201d, Acta Informatica, 27: 481\u2013503, 1990.","journal-title":"Acta Informatica"},{"key":"14_CR24","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/0167-6423(87)90011-6","volume":"9","author":"MM Joseph","year":"1987","unstructured":"Joseph M. Morris, \u201cA Theoretical Basis for Stepwise Refinement and the Programming Calculus\u201d, Science of Computer Programming, 9: 287\u2013306, 1987.","journal-title":"Science of Computer Programming"},{"key":"14_CR25","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/BF01887199","volume":"1","author":"M Neilson","year":"1989","unstructured":"M. Neilson, K. Havelund, K. R. Wagner and E. Saaman, \u201cThe RAISE Language, Method and Tools\u201d, Formal Aspects of Computing, 1: 85\u2013114, 1989.","journal-title":"Formal Aspects of Computing"},{"key":"14_CR26","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1145\/356914.356917","volume":"15","author":"H Partsch","year":"1983","unstructured":"H. Partsch and R. Steinbr\u00fcggen, \u201cProgram Transformation Systems\u201d, ACM Computing Surveys, 15: 199\u2013236, 1983.","journal-title":"ACM Computing Surveys"},{"key":"14_CR27","doi-asserted-by":"crossref","unstructured":"L. C. Paulson, Logic and Computation: Interactive Proof with Cambridge LCF, Cambridge University Press, 1987.","DOI":"10.1017\/CBO9780511526602"},{"key":"14_CR28","unstructured":"Brian Ritchie and Paul Taylor, The Interactive Proof Editor: An Experiment in Interactive Theorem (sic), Technical Report LFCS-88\u201361, University of Edinburgh, July, 1988."},{"issue":"2","key":"14_CR29","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/22949.24053","volume":"5","author":"W Robert","year":"1986","unstructured":"Robert W. Scheifler and Jim Gettys, \u201cThe X Win- dow System\u201d, ACM Transactions on Graphics, 5 (2): 79\u2013109, April 1986.","journal-title":"ACM Transactions on Graphics"},{"key":"14_CR30","unstructured":"T. Vickers, \u201cAn Overview of a Refinement Editor\u201d, 5th Aus-tralian Software Engineering Conference,May 1990, Sydney, pp. 39\u201344."}],"container-title":["Workshops in Computing","5th Refinement Workshop"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3550-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,5]],"date-time":"2022-02-05T07:31:38Z","timestamp":1644046298000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3550-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197522","9781447135500"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3550-0_14","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}