{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:58:19Z","timestamp":1743019099379,"version":"3.40.3"},"publisher-location":"London","reference-count":30,"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_13","type":"book-chapter","created":{"date-parts":[[2011,12,28]],"date-time":"2011-12-28T05:22:09Z","timestamp":1325049729000},"page":"236-259","source":"Crossref","is-referenced-by-count":7,"title":["Refinement in Object-Oriented Specification Languages"],"prefix":"10.1007","author":[{"given":"K.","family":"Lano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Prentice Hall International","author":"JR Abrial","year":"1994","unstructured":"J R Abrial. Assigning Programs to Meaning. Prentice Hall International, 1994. To appear."},{"key":"13_CR2","first-page":"180","volume-title":"ECOOP \u201891 Proceedings, LNCS 512","author":"AJ Alencar","year":"1991","unstructured":"A J Alencar and J A Goguen. OOZE: An Object-Oriented Z Environment. In P America, editor, ECOOP \u201891 Proceedings, LNCS 512, pages 180\u2013199. Springer-Verlag, July 1991."},{"key":"13_CR3","unstructured":"R Barden, S Stepney, and D Cooper. Z in Practice. Logica Cambridge, 1993."},{"key":"13_CR4","volume-title":"Formal Description Techniques, II (FORTE89), pages 281 \u2014 296. North-Holland","author":"D Carrington","year":"1990","unstructured":"D Carrington, D Duke, R Duke, P King, G A Rose, and G Smith. Object-Z: An object-oriented extension to Z. In Formal Description Techniques, II (FORTE\u201989), pages 281 \u2014 296. North-Holland, 1990."},{"key":"13_CR5","volume-title":"Proceedings of Object Technology 93","author":"C Carter","year":"1993","unstructured":"C Carter. Object-Oriented Analysis and Recursive Development in Safety-Critical System Development. In Proceedings of Object Technology \u201883, 1993"},{"key":"13_CR6","volume-title":"ECOOP \u201891 Proceedings","author":"E Cusack","year":"1991","unstructured":"E Cusack. Object-oriented modelling in Z. In P America, editor, ECOOP \u201891 Proceedings, Springer-Verlag Lecture Notes in Computer Science. Springer-Verlag, 1991."},{"key":"13_CR7","first-page":"1992","volume-title":"Z User Meeting 1992","author":"E Cusack","year":"1993","unstructured":"E Cusack. Using z in communications engineering. In J Nicholls, editor, Z User Meeting 1992, Workshops in Computer Science. Springer-Verlag, 1993."},{"key":"13_CR8","first-page":"1992","volume-title":"Z User Meeting 1992","author":"E Cusack","year":"1993","unstructured":"E Cusack and C Wezeman. Deriving tests for objects specified in Z. In J Nicholls, editor, Z User Meeting 1992, Workshops in Computer Science. Springer-Verlag, 1993."},{"key":"13_CR9","volume-title":"Proceedings Object Technology 93","author":"E Foster","year":"1993","unstructured":"E Foster et al. PoeT: Object Engineering in Public Transport. In Proceedings Object Technology \u201883, 1993."},{"key":"13_CR10","volume-title":"Prentice Hall","author":"The RAISE Language Group","year":"1992","unstructured":"The RAISE Language Group. The RAISE SPECIFICATION LANGUAGE. Prentice Hall, 1992."},{"key":"13_CR11","unstructured":"IPSYS Limited. TBK Version 2.5 Manual (3 Volumes), 1991."},{"key":"13_CR12","volume-title":"Technical report","author":"K Lano. Functional Specification of Mapping of MVS and DOS JCL into the JCL Schema","year":"1993","unstructured":"K Lano. Functional Specification of Mapping of MVS and DOS JCL into the JCL Schema. Technical report, Applied Information Engineering, Lloyd\u2019s Register, Feb 1993."},{"key":"13_CR13","volume-title":"ECOOP \u201892 Conference Proceedings. Springer Verlag","author":"K Lano","year":"1992","unstructured":"K Lano and H Haughton. Reasoning and refinement in object-oriented specification languages. In ECOOP \u201892 Conference Proceedings. Springer Verlag, 1992."},{"key":"13_CR14","volume-title":"Proceedings of Z User Meeting 1992. Springer Verlag","author":"K Lano","year":"1992","unstructured":"K Lano and H Haughton. Reuse and adaptation of Z specifications. In Proceedings of Z User Meeting 1992. Springer Verlag, 1992."},{"key":"13_CR15","first-page":"I","volume-title":"EROS I I Workshop","author":"K Lano","year":"1993","unstructured":"K Lano and H Haughton. Approaches to object identity. In EROS I I Workshop. LBMS London, 1993."},{"key":"13_CR16","volume-title":"Lloyds Register of Shipping","author":"K Lano","year":"1993","unstructured":"K Lano and H Haughton. Object-Oriented Specification Case Studies. Lloyd\u2019s Register of Shipping, 1993."},{"key":"13_CR17","volume-title":"The Mapping of OS\/VS COBOL into the COBOL Schema. Technical Report CHASE-LR-32","author":"K Lano","year":"1993","unstructured":"K Lano and G. Ostrolenk. The Mapping of OS\/VS COBOL into the COBOL Schema. Technical Report CHASE-LR-32, Applied Information Engineering, Lloyd\u2019s Register, June 1993."},{"key":"13_CR18","unstructured":"A W Leigh. Real Time Software for Small Systems. Halstead Press, 19, 88."},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"I Maung and J R Howse. Introducing Hyper-Z: A new approach to object-orientation in Z. In Z User Meeting 1992, Springer-Verlag Workshops in Computer Science. Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4471-3556-2_11"},{"key":"13_CR20","volume-title":"York University","author":"J McDermid","year":"1992","unstructured":"J McDermid. An approach to the specification of real time systems, York University, 1992."},{"key":"13_CR21","volume-title":"Z User Meeting 1990, Workshops in Computing Series, pages 173 \u2013 192. Springer-Verlag","author":"SRL Meira","year":"1991","unstructured":"S R L Meira and A L C Cavalcanti. Modular Object-Oriented Z Specifications. In Z User Meeting 1990, Workshops in Computing Series, pages 173 \u2013 192. Springer-Verlag, 1991."},{"key":"13_CR22","unstructured":"Ministry of Defence. The Procurement of Safety Critical Software in Defence Equipment. Interim Defence Standard 00\u201355 Issue 1."},{"key":"13_CR23","unstructured":"Object Management Group. OMG Architecture Guide, 1992."},{"key":"13_CR24","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-1-4471-2037-7_10","volume-title":"Directions in Safety Critical Systems","author":"J Robinson","year":"1993","unstructured":"J. Robinson and S. Menani Menad. Developing an environment for computer-based automative suspension and steering systems. In Directions in Safety Critical Systems, pages 150 \u2013 167. Springer-Verlag, 1993."},{"key":"13_CR25","volume-title":"Eddy, and W Lorensen. Object-Oriented Modelling and Design. Prentice-Hall International","author":"J Rumbaugh","year":"1991","unstructured":"J Rumbaugh, M Blaha, W Premerlani, F Eddy, and W Lorensen. Object-Oriented Modelling and Design. Prentice-Hall International, Englewood Cliffs, NJ (USA), 1991."},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"C T Sennett. Formal specification and implementation. In C T Sennett, editor, High Integrity Software, Computer Systems Series. Pitman, 1989.","DOI":"10.1007\/978-1-4684-5775-9"},{"key":"13_CR27","volume-title":"Prentice Hall","author":"M Spivey","year":"1992","unstructured":"M Spivey. The Z Notation: A Reference Manual, 2nd Edition. Prentice Hall, 1992."},{"key":"13_CR28","unstructured":"Cooper, editors. Object Orientation in Z. Springer-Verlag Workshops in (Computer Science, 1992."},{"key":"13_CR29","first-page":"1992","volume-title":"Z User Meeting","author":"PA Swatman","year":"1993","unstructured":"P A Swatman. Using formal specification in the acquisition of information systems: Educating information systems professionals. In Z User Meeting 1992, Workshops in Computer Science. Springer-Verlag, 1993."},{"key":"13_CR30","first-page":"59","volume":"512","author":"A Wills","year":"1991","unstructured":"A Wills. Capsules and types in Fresco: Program verification in Smalltalk. In P America, editor, ECOOP \u201891 Proceedings, LNGS Vol. 512, pages 59 \u2013 76. Springer-Verlag, 1991.","journal-title":"ECOOP \u201891 Proceedings, LNGS"}],"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_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,11]],"date-time":"2023-02-11T12:58:26Z","timestamp":1676120306000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-3240-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198864","9781447132400"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3240-0_13","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}