{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T12:40:13Z","timestamp":1742992813160,"version":"3.40.3"},"publisher-location":"London","reference-count":18,"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_3","type":"book-chapter","created":{"date-parts":[[2012,4,24]],"date-time":"2012-04-24T11:13:53Z","timestamp":1335266033000},"page":"29-50","source":"Crossref","is-referenced-by-count":4,"title":["Formal Specification of Telephone Features"],"prefix":"10.1007","author":[{"given":"Peter","family":"Mataga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pamela","family":"Zave","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"6","key":"3_CR1","first-page":"625","volume":"19","author":"A Kay","year":"1993","unstructured":"A. Kay and J. N. Reed. A rely and guarantee method for Timed CSP: A specification and design of a telephone exchange. IEEE Transactions on Software Engineering, Vol. 19, No. 6, June 1993, pp. 625\u2013639.","journal-title":"Vol"},{"key":"3_CR2","volume-title":"Pitman","author":"JC Woodcock","year":"1988","unstructured":"J. C. P. Woodcock and M. Loomes. Software Engineering Mathematics: Formal Methods Demystified. Pitman, 1988."},{"key":"3_CR3","unstructured":"Carroll Morgan. Telephone network. In Specification Case Studies (ed. Ian Hayes ), pp. 31\u201342. Prentice-Hall, second edition 1992."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"M. J. Butler. Service extension at the specification level. In Z User Workshop, Oxford 1990 (ed. J. E. Nicholls ), pp. 319\u2013336. Springer-Verlag, 1991.","DOI":"10.1007\/978-1-4471-3540-1_20"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Pamela Zave and Michael Jackson. Techniques for partial specification and specification of switching systems. In VDM \u201881: Formal Software Devel-opment Methods (Proceedings of the Fourth International Symposium of VDM Europe), pp. 511\u2013525. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54834-3_30"},{"key":"3_CR6","unstructured":"V. Petkovic. NSPP Features Users Guide. ATandT Bell Laboratories, Department 55387, 1992."},{"key":"3_CR7","volume-title":"ATandT Bell Laboratories Technical Memorandum BL011261-1001-33TM","author":"P Zave","year":"1993","unstructured":"Pamela Zave and Peter Mataga. A formal specification of some important 5ESS\u00ae features, Part I: Overview. ATandT Bell Laboratories Technical Memorandum BL011261\u20131001\u201333TM, October 1993."},{"key":"3_CR8","volume-title":"ATandT Bell Laboratories Technical Memorandum BL011261-1001-34TM","author":"P Zave","year":"1993","unstructured":"Pamela Zave and Peter Mataga. A formal specification of some important 5ESS\u00ae features, Part II: Telephone states and digit analysis. ATandT Bell Laboratories Technical Memorandum BL011261\u20131001\u201334TM, October 1993."},{"key":"3_CR9","volume-title":"ATandT Bell Laboratories Technical Memorandum BL011265-1001-24TM","author":"P Mataga","year":"1993","unstructured":"Peter Mataga and Pamela Zave. A formal specification of some important 5ESS\u00ae features, Part III: Connections and provisioning. ATandT Bell Laboratories Technical Memorandum BL011265\u20131001\u201324TM, October 1993."},{"issue":"4","key":"3_CR10","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1145\/158431.158438","volume":"2","author":"P Zave","year":"1993","unstructured":"Pamela Zave and Michael Jackson. Conjunction as composition. ACM Transactions on Software Engineering and Methodology, Vol. 2, No. 4, October 1993, pp. 379\u2013411.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"3_CR11","unstructured":"Pamela Zave and Michael Jackson. A multiparadigm specification technique. Draft available from the authors."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Michael Jackson and Pamela Zave. Domain descriptions. In Proceedings of the IEEE International Symposium on Requirements Engineering,pp. 56\u201364. IEEE Computer Society Press, 1993.","DOI":"10.1109\/ISRE.1993.324836"},{"key":"3_CR13","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"VIII","author":"David Harel","year":"1987","unstructured":"David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming VIII: 231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"3_CR14","volume-title":"Academic Press","author":"M Jackson","year":"1975","unstructured":"M. A. Jackson. Principles of Program Design. Academic Press, 1975."},{"key":"3_CR15","unstructured":"J. M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall, second edition 1992."},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Alex Borgida, John Mylopoulos and Raymond Reiter. \u201c\u2026And nothing else changes\u201d: The frame problem in procedure specifications. In Proceedings of the Fifteenth International Conference on Software Engineering,pp. 303\u2013314. IEEE Computer Society Press, 1993.","DOI":"10.1109\/ICSE.1993.346034"},{"key":"3_CR17","volume-title":"Addison-Wesley","author":"JB Wordsworth","year":"1992","unstructured":"J. B. Wordsworth. Software Development with Z: A Practical Approach to Formal Methods in Software Engineering. Addison-Wesley, 1992."},{"key":"3_CR18","unstructured":"J. M. Spivey. The fuzz Manual. Computing Science Consultancy, second edition 1992."}],"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_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T12:04:35Z","timestamp":1742990675000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3452-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198840","9781447134527"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3452-7_3","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}