{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:41:00Z","timestamp":1742913660303,"version":"3.40.3"},"publisher-location":"London","reference-count":16,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198864"},{"type":"electronic","value":"9781447132400"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-3240-0_8","type":"book-chapter","created":{"date-parts":[[2011,12,28]],"date-time":"2011-12-28T05:22:09Z","timestamp":1325049729000},"page":"151-166","source":"Crossref","is-referenced-by-count":0,"title":["Co-Refinement"],"prefix":"10.1007","author":[{"given":"Mike","family":"Ainsworth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter J. L.","family":"Wallis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Ainsworth, M, Cruickshank, AH, Groves, LJ, & Wallis, PJL. 1993 (18th-20th August). Formal Specification via Viewpoints. Pages 218\u2013237 of: Hosking, J (ed), Proc. 13th New Zealand Computer Conference. New Zealand Computer Society, Auckland, New Zealand."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Ainsworth, M, Cruickshank, AH, Groves, LJ, & Wallis, PJL. 1994. Viewpoint Specification and Z. Information and Software Technology, 36 (1). (To appear).","DOI":"10.1016\/0950-5849(94)90007-8"},{"issue":"4","key":"8_CR3","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1145\/27633.27634","volume":"18","author":"C Batini","year":"1986","unstructured":"Batini, C, Lenzerini, M, & Navathe, SB. 1986. A comparative analysis of methodologies for database schema integration. ACM Computing Surveys, 18(4), 323\u2013364.","journal-title":"ACM Computing Surveys"},{"issue":"2","key":"8_CR4","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/32.21745","volume":"15","author":"MS Feather","year":"1989","unstructured":"Feather, MS. 1989. Constructing specifications by combining parallel elabora- tions. IEEE Transactions on Software Engineering, 15 (2), 198\u2013208.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR5","unstructured":"Groves, LJ. 1992. Private communication."},{"key":"8_CR6","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, CAR. 1985. Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall."},{"key":"8_CR7","volume-title":"Butterworths","author":"JL Jacob","year":"1989","unstructured":"Jacob, JL. 1989. Refinement of Shared Systems. Pages 27\u201336 of: McDermid, J (ed), The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems. Butterworths."},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0020-0190(88)90078-6","volume":"27","author":"MB Josephs","year":"1988","unstructured":"Josephs, MB. 1988. The Data Refinement Calculator for Z. Information Processing Letters, 27, 29\u201333.","journal-title":"Information Processing Letters"},{"issue":"6","key":"8_CR9","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1049\/sej.1992.0038","volume":"7","author":"G Kotonya","year":"1992","unstructured":"Kotonya, G, & Sommerville, I. 1992. Viewpoints for requirements definition. Software Engineering Journal,7(6), 375\u2013387.","journal-title":"Software Engineering Journal"},{"issue":"3","key":"8_CR10","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1145\/44501.44503","volume":"10","author":"C. Morgan","year":"1988","unstructured":"Morgan, C. 1988. The specification statement.ACM TOPLAS, 10(3), 403\u2013419. Reprinted in (Morgan et al., 1988).","journal-title":"ACM TOPLAS"},{"key":"8_CR11","volume-title":"Programming from Specifications","author":"C Morgan","year":"1990","unstructured":"Morgan, C. 1990. Programming from Specifications. International Series in Computer Science. Prentice-Hall."},{"key":"8_CR12","unstructured":"Morgan, C, Robinson, K, & Gardiner, P. 1988. On the Refinement Calculus. Technical Monograph PRG-70. Oxford University Computing Laboratory Programming Research Group."},{"issue":"3","key":"8_CR13","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/0167-6423(87)90011-6","volume":"9","author":"JM Morris","year":"1987","unstructured":"Morris, JM. 1987. A Theoretical Basis for Stepwise Refinement and the Pro- gramming Calculus. Science of Computer Programming, 9 (3), 287\u2013306.","journal-title":"Science of Computer Programming"},{"key":"8_CR14","unstructured":"Wallis, PJL. 1992. A New Approach to Modular Formal Description. Technical Report 92\u201357. University of Bath."},{"key":"8_CR15","unstructured":"Wallis, PJL. 1993. Modular Formal Description. Submitted to Computer Journal."},{"key":"8_CR16","first-page":"670","volume-title":"Adding specification constructors to the refinement calculus. Pages 652-670 of: Woodcock, JCP, & Larsen, PG (eds), FME\u201993: Industrial-Strength Formal Methods. Odense","author":"N Ward","year":"1993","unstructured":"Ward, N. 1993. Adding specification constructors to the refinement calculus. Pages 652\u2013670 of: Woodcock, JCP, & Larsen, PG (eds), FME\u201993: Industrial-Strength Formal Methods. Odense, Denmark: Springer-Verlag, for Formal Methods Europe. Lecture Notes in Computer Science 670."}],"container-title":["Workshops in Computing","6th Refinement Workshop"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3240-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T21:19:40Z","timestamp":1676755180000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-3240-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198864","9781447132400"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3240-0_8","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}