{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:38:30Z","timestamp":1725676710612},"publisher-location":"London","reference-count":20,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198840"},{"type":"electronic","value":"9781447134527"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-3452-7_13","type":"book-chapter","created":{"date-parts":[[2012,4,24]],"date-time":"2012-04-24T07:13:53Z","timestamp":1335251633000},"page":"230-249","source":"Crossref","is-referenced-by-count":6,"title":["Software Quality Assurance using the SAZ Method"],"prefix":"10.1007","author":[{"given":"Fiona","family":"Polack","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keith C.","family":"Mander","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","first-page":"530","volume-title":"Software Engineering, Proceedings of the IFIP Congress","author":"FL Bauer","year":"1971","unstructured":"Bauer, F.L., \u201cSoftware Engineering\u201d, Proceedings of the IFIP Congress, pp. 530\u2013538 (1971)."},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Hosier, W. A., \u201cPitfalls and Safeguards in Real-Time Digital Systems with Emphasis on Programming\u201d, IEEE Transactions on Engineering Management, pp. 99\u2013115 (June 1961).","DOI":"10.1109\/IRET-EM.1961.5007599"},{"key":"13_CR3","unstructured":"ANSI\/IEEE Standard Glossary of Software Engineering Terminology IEEE Std 729, IEEE (1983)."},{"key":"13_CR4","unstructured":"CCTA, SSADM Version 4 Reference Manual, NCC Blackwell Ltd (1990)."},{"key":"13_CR5","volume-title":"The Z Notation: A Reference Manual, Prentice Hall","author":"JM Spivey","year":"1992","unstructured":"Spivey, J. M., The Z Notation: A Reference Manual, Prentice Hall, London (1992). Second Edition"},{"key":"13_CR6","unstructured":"Polack, F., Whiston, M. and Mander, K. C., \u201cThe SAZ Method Version 1.1\u201d, YCS 207, York (Jan 94)."},{"key":"13_CR7","unstructured":"Polack, F., Whiston, M. and Mander, K.C., \u201cThe SAZ Project: Integrating SSADM and Z\u201d, LNCS 670 Proceedings, FME\u201993: Industrual Strength Formal Methods, Odense, Denmark, p. Springer Verlag, 1993 (April 1993)."},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Polack, F. A. C., Whiston, M. and Hitchcock, P., \u201cStructured Analysis - A Draft Method for Writing Z Specifications\u201d, pp. Springer Verlag in Proceedings of Sixth Annual Z User Meeting, York (Dec 1991 ). 1992","DOI":"10.1007\/978-1-4471-3203-5_14"},{"key":"13_CR9","unstructured":"Weaver, P. L., Practical SSADM Version 4: A Complete Tutorial Guide, Pitman Publishing (1993)."},{"key":"13_CR10","unstructured":"Eva, M., SSADM Version 4: A User\u2019s Guide, McGraw-Hill International (UK) Ltd (1992)."},{"key":"13_CR11","unstructured":"Downs, E., Clare, C. and Coe, I., Structured Systems Analysis and Design Method: Application and Context, Prentice-Hall (1992). 2nd Edition"},{"key":"13_CR12","unstructured":"CCTA, Quality Management for PRINCE and SSADM Projects,CCTA\u2019s ISE Library: SSADM Version 4 Subject Guides (1992)."},{"key":"13_CR13","volume-title":"An Introduction to Formal Methods","author":"A Diller","year":"1990","unstructured":"Diller, A., Z. An Introduction to Formal Methods, Wiley, Chichester (1990)."},{"key":"13_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-349-12144-1","volume-title":"Formal Specification using Z","author":"D Lightfoot","year":"1991","unstructured":"Lightfoot, D., Formal Specification using Z, MacMillan (1991)."},{"key":"13_CR15","volume-title":"An Introduction to Formal Specification and Z","author":"B Potter","year":"1991","unstructured":"Potter, B., Sinclair, J. and Till, D., An Introduction to Formal Specification and Z, Prentice Hall (1991)."},{"issue":"1","key":"13_CR16","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1049\/sej.1989.0006","volume":"4","author":"JM Spivey","year":"1989","unstructured":"Spivey, J. M., \u201cAn Introduction to Z and formal specifications\u201d, Software Engineering Journal\n                  4 (1), pp. 40\u201350 (1989).","journal-title":"Software Engineering Journal"},{"issue":"1","key":"13_CR17","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1049\/sej.1989.0007","volume":"4","author":"JCP Woodcock","year":"1989","unstructured":"Woodcock, J. C. P., \u201cStructuring specifications in Z\u201d, Software Engineering Journal\n                  4 (1), pp. 51\u201365 (1989).","journal-title":"Software Engineering Journal"},{"key":"13_CR18","unstructured":"Brien, S. M. and Nicholls, J. E., \u201cZ Base Standard (Version 1.0)\u201d, ZIP\/PRG\/92\/121 (November 1992)."},{"key":"13_CR19","unstructured":"Whiston, M., \u201cElicitation of State Invariants\u201d, in Collected Papers on Databases, ed. Bridge, D., York (Jan 92 )."},{"key":"13_CR20","unstructured":"Report of the Inquiry into the London Ambulance Service,South West Thames Regional Health Authority (February 1993)."}],"container-title":["Workshops in Computing","Z User Workshop, Cambridge 1994"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3452-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T08:51:39Z","timestamp":1556700699000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3452-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198840","9781447134527"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3452-7_13","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}