{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T08:33:10Z","timestamp":1649147590302},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2001,5,1]],"date-time":"2001-05-01T00:00:00Z","timestamp":988675200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. & Technol."],"published-print":{"date-parts":[[2001,5]]},"DOI":"10.1007\/bf02943203","type":"journal-article","created":{"date-parts":[[2008,9,12]],"date-time":"2008-09-12T07:08:00Z","timestamp":1221203280000},"page":"251-262","source":"Crossref","is-referenced-by-count":1,"title":["A formal software development approach using refinement calculus"],"prefix":"10.1007","volume":"16","author":[{"given":"Yunfeng","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Pang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ming","family":"Zha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhaohui","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guoliang","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02943203_CR1","doi-asserted-by":"crossref","unstructured":"de Bakker J Wet al. (eds.) InProc. REX Workshop on Stepwise Refinement on Distributed Systems, Lecture Notes in Computer Science 430, Springer-Verlag, 1989.","DOI":"10.1007\/3-540-52559-9"},{"key":"BF02943203_CR2","first-page":"51","volume":"IX","author":"C A R Hoare","year":"1986","unstructured":"Hoare C A R, He J. The Weakest Prespecification.Fund. Inform. IX 1986, pp.51\u201384.","journal-title":"Fund. Inform."},{"key":"BF02943203_CR3","doi-asserted-by":"crossref","unstructured":"Jones C B, Shaw R C, Denvir T (eds.). In5th Refinement Workshop in Computing, Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4471-3550-0"},{"key":"BF02943203_CR4","unstructured":"Back R J R. On the correctness of refinement in program development [dissertation]. Report A-1978-4. Department of Computer Science, University of Helsinki, 1978."},{"issue":"2","key":"BF02943203_CR5","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/0167-6423(87)90011-6","volume":"9","author":"J M Morris","year":"1987","unstructured":"Morris J M. A theoretical basis of stepwise refinement and programming calculus.Science of Computer Programming, 1987, 9(2): 287\u2013306.","journal-title":"Science of Computer Programming"},{"issue":"3","key":"BF02943203_CR6","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1145\/44501.44503","volume":"10","author":"C C Morgan","year":"1988","unstructured":"Morgan C C. The specification statement.ACM Transaction on Programming Language and Systems, July 1988, 10(3): 403\u2013419.","journal-title":"ACM Transaction on Programming Language and Systems"},{"key":"BF02943203_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"REX Workshop for Refinement of Distributed Systems","author":"R J R Back","year":"1989","unstructured":"Back R J R, von Wright J. Refinement calculus, Part I: Sequential programs. InREX Workshop for Refinement of Distributed Systems, Lecture Notes in Computer Science 430, Nijmegen, The Netherlands, Springer-Verlag, 1989."},{"issue":"4","key":"BF02943203_CR8","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/BF01212407","volume":"5","author":"P H B Gardiner","year":"1993","unstructured":"Gardiner P H B, Morgan C. A single complete rule for data refinement.Formal Aspects of Computing, 1993, 5(4): 367\u2013382.","journal-title":"Formal Aspects of Computing"},{"key":"BF02943203_CR9","unstructured":"Spivey J M. The Z Notation: A Reference Manual. Prentice-Hall, International Series in Computer Science, 2nd Edition, 1992."},{"key":"BF02943203_CR10","unstructured":"Stepeney Set al. More powerful Z data refinement. InZUM\u201998: The Z Formal Specification Notation, 11th International Conference of Z Users, Bowen J P, Hinchey M G (eds.), September 1998, Proceedings, Lecture Notes in Computer Science 1493, Springer-Verlag, 1998."},{"key":"BF02943203_CR11","unstructured":"Nellson D S. From Z to C: Illustration of a rigorous development method [dissertation]. PRG-79, Oxford University, Computing Laboratory, February, 1990."},{"key":"BF02943203_CR12","doi-asserted-by":"crossref","unstructured":"King S. Z and the refinement calculus. In VDM and Z \u2014 Formal Methods in Software Development, Bj\u00f8rner Det al. (eds.), Lecture Notes in Computer Science 428, VDM-Europe, Springer-Verlag, 1990, pp. 164\u2013188. Also published as a Technical Monograph PRG-79, Oxford University, Computing Laboratory, February, 1990.","DOI":"10.1007\/3-540-52513-0_10"},{"key":"BF02943203_CR13","unstructured":"Morgan C C. Programming from Specifications. Prentice-Hall, International Series in Computer Science, 2nd Edition, 1994."},{"issue":"4","key":"BF02943203_CR14","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1145\/279437.279473","volume":"23","author":"Yuan Xiaodong","year":"1998","unstructured":"Yuan Xiaodong, Hu Deqiang, Xu Haoet al. COOZ: A complete object-oriented extension to Z.ACM Software Engineering Notes, 1998, 23(4): 78\u201381.","journal-title":"ACM Software Engineering Notes"},{"key":"BF02943203_CR15","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0304-3975(91)90029-2","volume":"87","author":"P H B Gardiner","year":"1991","unstructured":"Gardiner P H B, Morgan C. Data refinement of predicate transformers.Theoretical Computer Science, 1991, 87: 143\u2013162.","journal-title":"Theoretical Computer Science"},{"key":"BF02943203_CR16","volume-title":"A lattice-theoretical base for program refinement","author":"J. Wright von","year":"1990","unstructured":"J. von Wright. A lattice-theoretical base for program refinement [dissertation]. Abo Akademi University, SF-20500 Turku, Finland, Sept., 1990."},{"key":"BF02943203_CR17","unstructured":"Rimvydas Ruksenas. A tool for data refinement. Technical Report, TUCS \u2014 Turku Centre for Computer Science, Number TUCS-TR-119, August, 1997."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02943203.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02943203\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02943203","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T20:16:14Z","timestamp":1558469774000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02943203"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,5]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2001,5]]}},"alternative-id":["BF02943203"],"URL":"https:\/\/doi.org\/10.1007\/bf02943203","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,5]]}}}