{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:33Z","timestamp":1725663213060},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540516354"},{"type":"electronic","value":"9783540467236"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51635-2_38","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:08:26Z","timestamp":1330186106000},"page":"159-175","source":"Crossref","is-referenced-by-count":1,"title":["Industrialising formal methods for telecommunications"],"prefix":"10.1007","author":[{"given":"MT","family":"Norris","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"SG","family":"Stockman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"10_CR1","unstructured":"\"Software \u2014 A vital key to UK competitiveness\" UK Cabinet Office report (HMSO books) ISBN 011630829 X"},{"key":"10_CR2","unstructured":"\"The STARTS guide\" (\u2014 a guide to good software practice) prepared by UK Industry, the DTI and NCC, published by the DTI (1987)"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"J McDermid \"The role of formal methods in software development\" J. Info Technology vol2 no3 (1987)","DOI":"10.1057\/jit.1987.25"},{"key":"10_CR4","unstructured":"L A Jackson \"Software systems design methods and the engineering approach\" BT Tech Journal vol3 no4 (1986)"},{"issue":"5","key":"10_CR5","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1049\/sm.1982.0035","volume":"1","author":"B Cohen","year":"1982","unstructured":"B Cohen \"Justification of formal methods for system specification\" Software and Microsystems, Vol 1, No 5, 1982, pp 119\u2013127","journal-title":"Software and Microsystems"},{"key":"10_CR6","unstructured":"C B Jones \"Software development \u2014 A rigorous approach\" (Prentice Hall)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"C A R Hoare Programming \u2014 Sorcery or Science IEEE Software (April 1984)","DOI":"10.1109\/MS.1984.234042"},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/TSE.1977.229900","volume":"SE-3","author":"D. T. Ross","year":"1977","unstructured":"D T Ross, \"Structured Analysis: A language for communicating ideas\", IEEE Trans. Software Engineering, Vol SE-3, pp16\u201334, 1977","journal-title":"IEEE Trans. Software Engineering"},{"key":"10_CR9","unstructured":"M T Norris \"Z \u2014 A debrief report\" NCC Publications (STARTS debrief series) ISBN 085012 583 9"},{"key":"10_CR10","unstructured":"M T Norris \"A survey of Formal Methods in Industry\" BT Technical Report RT31\/88\/13"},{"key":"10_CR11","unstructured":"CCITT Recommendation Z100 \"A functional specification and description language: SDL\""},{"key":"10_CR12","unstructured":"D Craigen \"\"Strengths and weaknesses of program verification systems\" 1st European software engineering conference (Strasbourg, Sept 1987)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"M Jackson \"Power and Limitations of Formal Methods for software fabrication\" Journal of Information Technology vol2 no2 (1987)","DOI":"10.1057\/jit.1987.14"},{"key":"10_CR14","unstructured":"J Hill \"The development of high reliability software \u2014 RR & A's experience for safety critical systems\" Software Engineering '88 Conference (Liverpool, July 1988)."},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"A Davis \"A comparison of techniques for the specification of external system behaviour\" Comm ACM vol31 no9 (Sept 1988)","DOI":"10.1145\/48529.48534"},{"key":"10_CR16","unstructured":"J Kershaw & C Pygott \"Hardware validation and the VIPER microprocessor\" Conference on formal techniques in real time and fault tolerant systems (Warwick, Sept 1988)"},{"key":"10_CR17","unstructured":"Economist Informatics Report \"Towards formal methods in software engineering\" Alvey news, Alvey Directorate, U.K., June 1985"},{"key":"10_CR18","unstructured":"E Brinksma (ed), Information Processing Systems \u2014 Open System Interconnection \u2014 \"LOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour\" ISO 8807 (Draft Final Text), 1988"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"D W Bustard, M T Norris and R A Orr \"A pictorial approach to the animation of process-oriented formal specifications\" Software Engineering Journal vol3 no4 (July 1988)","DOI":"10.1049\/sej.1988.0013"},{"key":"10_CR20","unstructured":"S Patel, R A Orr, M T Norris & D W Bustard \"Tools to support formal methods\" 11th International Software Engineering Conference, Pittsburgh (IEEE, May 89)"},{"key":"10_CR21","unstructured":"B Sufrin, C Morgan, \"A Z Handbook\", Oxford University, 1986"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"I Hayes \"Applying formal specification to software development in industry\" IEEE Trans. Software Engineering, Vol SE-11, Feb 1985","DOI":"10.1109\/TSE.1985.232191"},{"key":"10_CR23","unstructured":"M S Austwick & M T Norris \"VDM \u2014 A debrief report\" NCC Publications (STARTS debrief series) ISBN 0 85012 574 X"},{"key":"10_CR24","unstructured":"J Masterson, S Patel, M T Norris & R A Orr \"Intelligent assistance for formal specification\" Software Engineering '88 Conference, Liverpool (BCS\/IEE, June 1988)"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"D A Turner \"Miranda \u2014 A non-strict functional language with polymorphic types\" LNCS (Springer-Verlag) Vol 201.","DOI":"10.1007\/3-540-15975-4_26"},{"key":"10_CR26","unstructured":"S.P.L Baxter \"Executing Z specifications\" BT Internal memo RT31\/009\/88 September 1988."},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"M. T Norris, R P Everett, G A R Martin & M W Shields \"A method for the synthesis of interactive system specifications\" Journal of Information and Software Technology (Sept 1988)","DOI":"10.1016\/0950-5849(88)90041-9"},{"key":"10_CR28","volume-title":"The rigorous development of algorithms for the analysis and construction of abstract software specification","author":"G. A. R. Martin","year":"1988","unstructured":"G A R Martin, M T Norris & M W Shields \"The rigorous development of algorithms for the analysis and construction of abstract software specification\" IMA seminar on Mathematics in Software Engineering, Royal Institute, London (Oct 1988)"},{"key":"10_CR29","unstructured":"G A R Martin, M T Norris, R P Everett & M W Shields \"The CCS Interface Equation: an example of specification construction using rigorous techniques\" Proc 1st Conf on Algebraic methods for software technology, Iowa (May 1989)"},{"key":"10_CR30","unstructured":"G A R Martin \"A study into a constructive method for generating solutions to the interface equation\" BT Internal memo RT31\/89\/07"},{"key":"10_CR31","unstructured":"R Bache & R Tinker \"A rigorous approach to metrication: A field trial using Kindra\" Software Engineering '88 Conference, Liverpool, July 1988."},{"key":"10_CR32","unstructured":"B Boehm \"Software Engineering Economics\" Prentice Hall, 1981"}],"container-title":["Lecture Notes in Computer Science","ESEC '89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51635-2_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:22:07Z","timestamp":1605630127000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51635-2_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540516354","9783540467236"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-51635-2_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}