{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:44Z","timestamp":1725664724621},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609735"},{"type":"electronic","value":"9783540497493"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60973-3_81","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:09:11Z","timestamp":1330290551000},"page":"74-84","source":"Crossref","is-referenced-by-count":5,"title":["Applying the B technologies to CICS"],"prefix":"10.1007","author":[{"given":"Jonathan","family":"Hoare","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy","family":"Dick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dave","family":"Neilson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ib","family":"S\u00f8rensen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"5_CR1","unstructured":"J.R. Abrial. B-Technology technical overview. 1993."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"J.R. Abrial. The B-Book \u2014 Assigning Programs to Meanings. 1995.","DOI":"10.1017\/CBO9780511624162"},{"key":"5_CR3","first-page":"398","volume-title":"The B-method (software development)","author":"J. R. Abrial","year":"1991","unstructured":"J.R. Abrial, M.K.O. Lee, D.S. Neilson, P.N. Scharbach, and I.H. Sorensen. The B-method (software development). In W.J. Prehn, S.; Toetenel, editor, VDM 91. Formal Software Development Methods. 4th International Symposium of VDM Europe Proceeding., volume 2, pages 398\u2013405. BP Res., Sunbury Res. Centre, Sunbury-on-Thames, UK, Springer-Verlag, Berlin, Germany, October 1991. The B-method is a formal software development process for the production of highly reliable, portable and maintainable software which is verifiably correct with respect to its functional specification. The method uses the abstract machine notation (AMN) as the language for specification, design and implementation within the process. AMN is a sugared and extended version of E.W. Dijkstra's (1976), guarded command notation with built-in structuring mechanisms for the construction of large systems. The method is supported over the entire spectrum of activities from specification to implementation by a set of computer-aided tools. (3 Refs)."},{"key":"5_CR4","unstructured":"B-Core (UK) Ltd. B-Toolkit User Manual, (available from B-Core (UK) Ltd. on request), 1993."},{"key":"5_CR5","unstructured":"B. P. Collins and C. J. Nix. The use of software engineering, including the Z notation in the development of CICS. Quality Assurance, 14(3), September 1988."},{"key":"5_CR6","unstructured":"B. P. Collins, J. E. Nicholls, and I. H. Sorensen. Introducing formal methods: The CICS experience with Z. IBM Technical Report TR12.260, 1989."},{"key":"5_CR7","unstructured":"Dick, J. Fault grids: another way of presenting fault counts. Software Reliability and Metrics Club Newsletter, (16), 1995."},{"key":"5_CR8","unstructured":"J. P. Hoare. Application of the B-Method to CICS. In J. P. Bowen and M. Hinchey, editors, Applications of Formal Methods. Prentice Hall International, 1995."},{"key":"5_CR9","unstructured":"IBM Corporation. The IBM Publishing Systems BookMaster General Information. Manual GC34-5006, 1989."},{"key":"5_CR10","unstructured":"IBM Corporation. CICS Family: General information. Manual GCS3-0155, 1994."},{"key":"5_CR11","series-title":"B-Core (UK) Ltd., BRICS Notes Series","first-page":"18","volume-title":"The B-technologies: A system for computer aided programming","author":"D. S. Neilson","year":"1994","unstructured":"D. S. Neilson and Sorensen I. H. The B-technologies: A system for computer aided programming. In U. H. Engberg, K. G. Larsen, and P. D. Mosses, editors, Proceedings of the 6th Nordic Workshop on Programming Theory, pages 18\u201335. B-Core (UK) Ltd., BRICS Notes Series, Univ. Aarhus, Denmark, 17\u201319 October 1994."},{"key":"5_CR12","volume-title":"The Z Notation: A Reference Manual","author":"J. M. Spivey","year":"1989","unstructured":"J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, Hemel Hempstead, 1989."},{"key":"5_CR13","unstructured":"J. B. Wordsworth. Software Development with Z: a Practical Approach to Formal Methods in Software Engineering. Addison-Wesley, 1992."}],"container-title":["Lecture Notes in Computer Science","FME'96: Industrial Benefit and Advances in Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60973-3_81.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:03:14Z","timestamp":1605646994000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60973-3_81"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609735","9783540497493"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-60973-3_81","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}