{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:24:52Z","timestamp":1747578292498},"publisher-location":"Berlin\/Heidelberg","reference-count":11,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540566627"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0024666","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T10:09:15Z","timestamp":1132740555000},"page":"541-557","source":"Crossref","is-referenced-by-count":16,"title":["The SAZ project: Integrating SSADM and Z"],"prefix":"10.1007","author":[{"given":"Fiona","family":"Polack","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Whiston","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keith","family":"Mander","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Polack F., Whiston, M., Hitchcock, P.: The SAZ Method \u2014 Version 0.1. University of York (May 1992)","key":"33_CR1"},{"unstructured":"CCTA: SSADM Version 4 Reference Manual. NCC Blackwell Ltd (1990)","key":"33_CR2"},{"key":"33_CR3","volume-title":"The Z Notation: A Reference Manual","author":"J. M. Spivey","year":"1989","unstructured":"Spivey, J. M.: The Z Notation: A Reference Manual. Prentice Hall London (1989)"},{"unstructured":"Potter, B., Sinclair, J., Till, D.: An Introduction to Formal Specification and Z. Prentice Hall (1991)","key":"33_CR4"},{"doi-asserted-by":"crossref","unstructured":"Lightfoot, D.: Formal Specification using Z. MacMillan (1991)","key":"33_CR5","DOI":"10.1007\/978-1-349-12144-1"},{"unstructured":"Diller, A. Z.: An Introduction to Formal Methods. Wiley Chichester (1990)","key":"33_CR6"},{"issue":"1","key":"33_CR7","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0266-9838(89)90030-0","volume":"4","author":"J. C. P. Woodcock","year":"1989","unstructured":"Woodcock, J. C. P.: Structuring specifications in Z. Software Engineering Journal 4 (1), (1989) 51\u201365","journal-title":"Software Engineering Journal"},{"issue":"1","key":"33_CR8","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1049\/sej.1989.0006","volume":"4","author":"J. M. Spivey","year":"1989","unstructured":"Spivey, J. M.: An Introduction to Z and formal specifications. Software Engineering Journal 4 (1), (1989) 40\u201350","journal-title":"Software Engineering Journal"},{"key":"33_CR9","volume-title":"Proceedings of Fifth Annual Z User Group Meeting","author":"L. Semmens","year":"1991","unstructured":"Semmens, L., Allen, P.: Using Yourdon and Z: an Approach to Formal Specification. Proceedings of Fifth Annual Z User Group Meeting Oxford, Springer Verlag (1991)"},{"unstructured":"Hamilton, V.: Experiences of combining Yourdon and VDM. Workshop on Methods Integration Leeds, Sept 1991 (for Publication, 1993)","key":"33_CR10"},{"unstructured":"Whittington, R. P.: Database Systems Engineering. Oxford (1988)","key":"33_CR11"}],"container-title":["Lecture Notes in Computer Science","FME '93: Industrial-Strength Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0024666.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:53:09Z","timestamp":1607550789000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024666"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540566627"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0024666","relation":{},"subject":[]}}