{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:04:35Z","timestamp":1725465875630},"publisher-location":"Berlin\/Heidelberg","reference-count":32,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540556680"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0053031","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T03:48:54Z","timestamp":1149652134000},"page":"78-97","source":"Crossref","is-referenced-by-count":9,"title":["Reasoning and refinement in object-oriented specification languages"],"prefix":"10.1007","author":[{"given":"K.","family":"Lano","sequence":"first","affiliation":[]},{"given":"H.","family":"Haughton","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"A. Alencar, J. Goguen: OOZE: An Object-Oriented Z Environment. In: P. America (ed.): ECOOP '91 Proceedings, Springer-Verlag LNCS, Vol 512, 1991.","DOI":"10.1007\/BFb0057022"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/BF00291051","volume":"25","author":"R.J.R Back","year":"1988","unstructured":"R.J.R Back, A Calculus of Refinements for Program Derivation, Acta Informatica 25, 593\u2013624 (1988).","journal-title":"Acta Informatica"},{"key":"5_CR3","volume-title":"Oxford Logic Guides 12","author":"J.L. Bell","year":"1977","unstructured":"J.L. Bell, Boolean-valued models and independence proofs in set theory, Oxford Logic Guides 12, Clarendon Press, Oxford 1977."},{"key":"5_CR4","unstructured":"P. Breuer, K. Lano, From Code to Z Specifications. In: J. Nicholls (ed.): Z User Meeting 1989, in Springer-Verlag Workshops in Computer Science, 1990."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"P. Breuer, K. Lano, Creating Specifications from Code: Reverse-Engineering Techniques, Journal of Software Maintenance, September 1991.","DOI":"10.1002\/smr.4360030303"},{"key":"5_CR6","unstructured":"E. Cusack, Object-Oriented Modelling in Z. In: P. America (ed.): ECOOP '91 Proceedings, Springer-Verlag Lecture Notes in Computer Science, Vol 512, 1991."},{"key":"5_CR7","unstructured":"A. Diller, Z: An Introduction to Formal Methods, Wiley, 1991."},{"key":"5_CR8","unstructured":"D. Duke, R. Duke, P. King, G. A. Rose, G. Smith, Object-Z: An Object-Oriented Extension to Z, technical report 91-1, Software Verification Research Centre, The University of Queensland."},{"key":"5_CR9","unstructured":"R. Duke, P. King, G. Smith, Formalising Behavioural Compatibility for Reactive Object-Oriented Systems. In: P. America (ed.): ECOOP '91 Proceedings, Springer-Verlag Lecture Notes in Computer Science, Vol. 512, 1991."},{"key":"5_CR10","unstructured":"H. Haughton, K. Lano, An Algebraic Semantics for the Specification Language Z ++, AMAST '91 Conference, Iowa. To appear in Springer-Verlag Workshops in Computer Science."},{"key":"5_CR11","unstructured":"H. Haughton, K. Lano, Using Formal Methods in Artificial Intelligence, IJCAI '91 Workshop on Software Engineering for Knowledge-Based Systems, Sydney, August 1991."},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, Communicating Sequential Processes, Prentice Hall 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"5_CR13","unstructured":"K. Lano, H. Haughton, P. Breuer, Reverse-Engineering of Library Case Study, REDO Document 2487-TN-PRG-1064, April 1991."},{"key":"5_CR14","unstructured":"K. Lano, H. Haughton, Axioms for Object-Oriented Extensions to Z, ZOOM Workshop, Oxford University Programming Research Group, 1991."},{"key":"5_CR15","unstructured":"K. Lano, Z ++, an Object-Oriented Extension to Z. In: J. Nicholls (ed.): Z User Workshop, Oxford 1990, Springer-Verlag Workshops in Computing, 151\u2013172, 1991."},{"key":"5_CR16","unstructured":"K. Lano, The Design of the Verification Toolset, REDO Project Document 2487-TN-PRG-1068, Oxford University Programming Research Group, 1991."},{"key":"5_CR17","unstructured":"K. Lano, Integrating Development and Maintenance in an Object-Oriented Environment, REDO Document 2487-TN-PRG-1050, Oxford University Programming Research Group, 1991."},{"key":"5_CR18","first-page":"104","volume-title":"Software Maintenance \u2014 Cinderella is Still not Getting to the Ball","author":"S. Leonard","year":"1988","unstructured":"S. Leonard, J. Pardoe, S. Wade, Software Maintenance \u2014 Cinderella is Still not Getting to the Ball. In: BCS\/IEE Conference on Software Engineering 1988, IEE London, 104\u2013106, 1988."},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"P. Lupton, Promoting Forward Simulation. In: J. Nicholls (ed.): Z User Workshop, Oxford 1990, Springer-Verlag Workshops in Computing, 1991.","DOI":"10.1007\/978-1-4471-3540-1_3"},{"key":"5_CR20","unstructured":"J. A. McDermid, P. J. Whysall, Object Oriented Specification and Refinement. In: Proceedings of the 4th Refinement Workshop, Cambridge, Springer-Verlag Workshops in Computing, 1991."},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"S. Meira, A.L.C. Cavalcanti, Modular Object-oriented Z Specifications. In: J. Nicholls (ed.): Z User Workshop, Oxford 1990, Springer-Verlag Workshops in Computing, 1991.","DOI":"10.1007\/978-1-4471-3540-1_12"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"B. Meyer, Tools for the New Culture: Lessons from the Design of the Eiffel Libraries, Communications of the ACM, September 1990, Vol 33, No. 9.","DOI":"10.1145\/83880.84464"},{"key":"5_CR23","unstructured":"D. Monk, Mathematical Logic, North Holland, 1979."},{"key":"5_CR24","unstructured":"C. Morgan, K. Robinson, P. Gardiner, On The Refinement Calculus, PRG Monograph PRG-70, 1988, Oxford University Programming Research Group."},{"issue":"3","key":"5_CR25","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1016\/0167-6423(87)90011-6","volume":"9","author":"J. M. Morris","year":"1987","unstructured":"J. M. Morris, A theoretical basis for stepwise refinement and the programming calculus, Science of Computer Programming, 9(3), 298\u2013306, December 1987.","journal-title":"Science of Computer Programming"},{"key":"5_CR26","unstructured":"D. Neilson, Machine Support for Z: the zedB tool, Z User Meeting 1990. In: J. Nicholls (ed.): Z User Workshop, Oxford 1990, Springer-Verlag Workshops in Computing, 1991."},{"key":"5_CR27","unstructured":"C. Stanley-Smith, A. Cahill, UNIFORM: A Language Geared To System Description and Transformation, University of Limerick, 1990."},{"key":"5_CR28","unstructured":"I. S\u00d8rensen, The B Method, VDM '91, Noodwijkerhout, Netherlands, 1991."},{"key":"5_CR29","unstructured":"M. Spivey, Understanding Z, CUP, Cambridge, 1988."},{"key":"5_CR30","unstructured":"M. Spivey, The Z Notation: A Reference Manual, Prentice Hall 1989."},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"A. Wills, Capsules and Types in Fresco. In: P. America (ed.): ECOOP '91 Proceedings, Springer Verlag Lecture Notes in Computer Science, Vol 512, 1991.","DOI":"10.1007\/BFb0057015"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"J. Woodcock, S. Brien, W: A Logic for Z, Oxford University Programming Research Group, 1991.","DOI":"10.1007\/978-1-4471-3203-5_4"}],"container-title":["Lecture Notes in Computer Science","ECOOP \u201992 European Conference on Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053031.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,7]],"date-time":"2023-05-07T17:00:33Z","timestamp":1683478833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053031"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540556680"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/bfb0053031","relation":{},"subject":[]}}