{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:03:16Z","timestamp":1743102196526,"version":"3.40.3"},"publisher-location":"London","reference-count":21,"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_3","type":"book-chapter","created":{"date-parts":[[2011,12,28]],"date-time":"2011-12-28T05:22:09Z","timestamp":1325049729000},"page":"45-68","source":"Crossref","is-referenced-by-count":3,"title":["Improving the Process of System Specification and Refinement in B"],"prefix":"10.1007","author":[{"given":"K.","family":"Lano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Haughton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"J.-R. Abrial, Assigning Programs to Meaning, Prentice Hall 1994, to appear."},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"D. Coleman, F. Hayes, S. Bear, Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design, IEEE Transactions on Software Engineering, Vol. 18, No. 1, January 1992.","DOI":"10.1109\/32.120312"},{"key":"3_CR3","unstructured":"D. Coleman, F. Hayes, Coherent Models for Object-Oriented Analysis,Proceedings OOPSLA \u201881,1991."},{"key":"3_CR4","volume-title":"McGraw Hill International Series in Software Engineering","author":"M Eva","year":"1992","unstructured":"M. Eva, SSADM Version 4: A User\u2019s Guide, McGraw Hill International Series in Software Engineering, 1992."},{"key":"3_CR5","volume-title":"Position Paper","author":"A Evans","year":"1992","unstructured":"A. Evans, Position Paper, Formal Specification and Object Orientation Workshop, Logica London, November 1992."},{"key":"3_CR6","first-page":"18","volume":"4","author":"R","year":"1992","unstructured":"R. France, Semantically Extended Data Flow Diagrams: A Formal Specification Tool, IEEE Transactions on Software Engineering, Vol. 18; No. 4, April 1992.","journal-title":"Vol"},{"key":"3_CR7","volume-title":"Z User Meeting","author":"C","year":"1992","unstructured":"C. Draper, Practical Experiences of Z and SSADM, Z User Meeting 1992."},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D","year":"1987","unstructured":"D. Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming 8 (1987), 231\u2013274.","journal-title":"Science of Computer Programming"},{"key":"3_CR9","volume-title":"Wiley","author":"J Hares","year":"1990","unstructured":"J. Hares, SSADM for the Advanced Practitioner, Wiley, 1990."},{"key":"3_CR10","volume-title":"The B Method Manual, BUT Project Document BUT\/ LLOYDS\/ HPH\/8\/V4","author":"H Naughton","year":"1992","unstructured":"H. Naughton, The B Method Manual, BUT Project Document BUT\/ LLOYDS\/ HPH\/8\/V4, Lloyd\u2019s Register, June 1992."},{"key":"3_CR11","volume-title":"Hill","author":"J. V","year":"1991","unstructured":"J. V. Hill, Microprocessor Based Protection Systems, Elsevier 1991."},{"key":"3_CR12","volume-title":"BUT Project Document BUT\/LLOYDS\/KL\/14\/V1","author":"K","year":"1992","unstructured":"K. Lano, Method Case Study: Invoice System, BUT Project Document BUT\/LLOYDS\/KL\/14\/V1, 1992."},{"key":"3_CR13","volume-title":"BUT Project Document BUT\/LLOYDS\/KL\/40\/V1","author":"K Lano","year":"1993","unstructured":"K. Lano K., H. Haughton, A. C. Lee, The B Methodology: A Practical Introduction, BUT Project Document BUT\/LLOYDS\/KL\/40\/V1, March 1993."},{"key":"3_CR14","volume-title":"BUT Project Document BUT\/LLOYDS\/KL\/79\/V1","author":"K Lano","year":"1993","unstructured":"K. Lano, B User Trials Code Generation Course, BUT Project Document BUT\/LLOYDS\/KL\/79\/V1, October 1993."},{"key":"3_CR15","volume-title":"KBSL Conference on Requirements and Design Analysis for Object-Oriented Environments","author":"S. M","year":"1992","unstructured":"S. M. Merad, Adding Formalism to Object-oriented analysis, KBSL Conference on Requirements and Design Analysis for Object-Oriented Environments, 1992."},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"E. F. Moore, Gedanken-experiments on Sequential Machines, in Automata Studies, Princetown University Press, Princetown N.J., 1956.","DOI":"10.1515\/9781400882618-006"},{"key":"3_CR17","volume-title":"Formal Methods and System Analysis","author":"F Polack","year":"1992","unstructured":"F. Polack, M. Whiston, Formal Methods and System Analysis, Proceedings of Methods Integration Conference, Springer-Verlag 1992."},{"key":"3_CR18","volume-title":"Oxford University Programming Research Group","author":"DR Pyle","year":"1991","unstructured":"D. R. Pyle, M. Josephs, Enriching a Structured Method with Z, Oxford University Programming Research Group, 1991."},{"key":"3_CR19","volume-title":"Oxford University Programming Research Group","author":"DR Pyle","year":"1991","unstructured":"D. R. Pyle, M. Josephs, Entity-Relationship Models Expressed in Z: A Synthesis of Structured and Formal Methods, Oxford University Programming Research Group, 1991."},{"key":"3_CR20","volume-title":"Object-Oriented Modelling and Design","author":"J Rumbaugh","year":"1991","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen, Object-Oriented Modelling and Design, Englewood Cliffs, NJ, Prentice Hall Ltd., 1991."},{"key":"3_CR21","unstructured":"IEC\/TC65A(Secretariat)123, Functional Safety of Elec-trical\/Electronic\/Programmable Electronic Systems: Generic Aspects. Part 1: General Requirements,International Electrotechnical Commission, 1992."}],"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_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T21:19:35Z","timestamp":1676755175000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-3240-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198864","9781447132400"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3240-0_3","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}