{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:59:26Z","timestamp":1725454766915},"reference-count":34,"publisher":"Institution of Engineering and Technology (IET)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw. Eng. J. UK"],"published-print":{"date-parts":[[1996]]},"DOI":"10.1049\/sej.1996.0014","type":"journal-article","created":{"date-parts":[[2010,6,10]],"date-time":"2010-06-10T15:30:49Z","timestamp":1276183849000},"page":"104","source":"Crossref","is-referenced-by-count":26,"title":["Executing formal specifications need not be harmful"],"prefix":"10.1049","volume":"11","author":[{"given":"Andrew","family":"Gravell","sequence":"first","affiliation":[]},{"given":"Peter","family":"Henderson","sequence":"additional","affiliation":[]}],"member":"265","reference":[{"key":"10.1049\/sej.1996.0014_r1","first-page":"271","volume":"22","author":"de Millo","year":"1979"},{"key":"10.1049\/sej.1996.0014_r2","first-page":"1048","volume":"31","author":"Fetzer","year":"1988"},{"key":"10.1049\/sej.1996.0014_r3","first-page":"85","author":"Hoare","year":"1987"},{"key":"10.1049\/sej.1996.0014_r4","unstructured":"\u2018On the derivation of an effective animation: telephone network case study\u2019, University of Surrey, 1988 Report"},{"key":"10.1049\/sej.1996.0014_r5","doi-asserted-by":"crossref","unstructured":"Dick, A.J.J., Krause, P.J., and Cozens, J.: \u2018Computer aided transformation of Z into Prolog\u2019, Proc. 4th Z Users Meeting, (Springer-Verlag 1989), p. 71\u201385","DOI":"10.1007\/978-1-4471-3877-8_5"},{"key":"10.1049\/sej.1996.0014_r6","unstructured":"Hayes, I.J.: Specification case studies, (Prentice-Hall 1987)"},{"key":"10.1049\/sej.1996.0014_r7","doi-asserted-by":"crossref","unstructured":"Johnson, M., and Sanders, P.: \u2018From Z specifications to functional implementations\u2019, Proc. 4th Z Users Meeting, (Springer-Verlag 1989), p. 86\u2013112","DOI":"10.1007\/978-1-4471-3877-8_6"},{"key":"10.1049\/sej.1996.0014_r8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-15975-4_26","author":"Turner","year":"1985","journal-title":"Proc. functional programming languages and computer architecture"},{"key":"10.1049\/sej.1996.0014_r9","unstructured":"Gravell, A.M., and Henderson, P.: \u2018Why execute formal specifications?\u2019, Proc. mathematical structures for software engineering, (Oxford University Press 1991), p. 165\u2013184 IMA Series 27"},{"key":"10.1049\/sej.1996.0014_r10","first-page":"241","volume":"12","author":"Henderson","year":"1986"},{"key":"10.1049\/sej.1996.0014_r11","first-page":"27","volume":"29","author":"Kans","year":"1994"},{"key":"10.1049\/sej.1996.0014_r12","first-page":"320","volume":"4","author":"Hayes","year":"1989"},{"key":"10.1049\/sej.1996.0014_r13","first-page":"165","volume":"15","author":"Bauer","year":"1989"},{"key":"10.1049\/sej.1996.0014_r14","first-page":"323","volume":"7","author":"Fuchs","year":"1992"},{"key":"10.1049\/sej.1996.0014_r15","unstructured":"B-Toolkit User Manual, (B Core Ltd., Magdalen Centre, Robert Robinson Avenue, Oxford Science Park, Oxford, UK, 0X4 4GA"},{"key":"10.1049\/sej.1996.0014_r16","unstructured":"\u2018Formal methods and the certification of critical systems\u2019, SRI International, 1993 Report"},{"key":"10.1049\/sej.1996.0014_r17","doi-asserted-by":"crossref","unstructured":"Barrett, G.: \u2018Model checking in practice\u2019, Proc. FME 93: Industrial Strength Formal Methods, (Springer-Verlag 1993), p. 129\u2013147","DOI":"10.1007\/BFb0024643"},{"key":"10.1049\/sej.1996.0014_r18","volume":"34","author":"Barwise","year":"1992"},{"key":"10.1049\/sej.1996.0014_r19","unstructured":"\u2018Tabular respresentation of relations\u2019, CRL Report, 260, McMaster University, Hamilton, Ontario, Canada, 1992"},{"key":"10.1049\/sej.1996.0014_r20","first-page":"231","author":"Janicki","year":"1995","journal-title":"Proc. 17th Int Conf. on Software Engineering"},{"key":"10.1049\/sej.1996.0014_r21","doi-asserted-by":"crossref","unstructured":"Dick, A.J.J., and Favre, A.: \u2018Automating the generation and sequencing of test cases from model-based specifications\u2019, Proc. FME 93: Industrial Strength Formal Methods, (Springer-Verlag 1993), p. 268\u2013284","DOI":"10.1007\/BFb0024651"},{"key":"10.1049\/sej.1996.0014_r22","doi-asserted-by":"crossref","unstructured":"Dawes, J.: The VDM-SL reference guide, (Pitman 1991)","DOI":"10.1201\/9781482267419"},{"key":"10.1049\/sej.1996.0014_r23","doi-asserted-by":"crossref","unstructured":"Gravell, A.M.: \u2018What is a good formal specification?\u2019, Proc. Z User Workshop, (Springer-Verlag 1990), p. 137\u2013150","DOI":"10.1007\/978-1-4471-3540-1_10"},{"key":"10.1049\/sej.1996.0014_r24","unstructured":"\u2018Specifying logic programs in controlled natural language\u2019, Technical Report, 94-17, University of Zurich, Department of Computer Science, 1994"},{"key":"10.1049\/sej.1996.0014_r25","unstructured":"Dijkstra, E.W.: A discipline of programming, (Prentice-Hall 1976)"},{"key":"10.1049\/sej.1996.0014_r26","doi-asserted-by":"crossref","unstructured":"Berry, D.A., and Wing, J.M.: \u2018Specifying and Prototyping: some thoughts on why they are successful\u2019, Proc. tapsoft 85, (Springer Verlag 1985),186, p. 117\u2013128Lect. Notes Comput. Sci.","DOI":"10.1007\/3-540-15199-0_8"},{"key":"10.1049\/sej.1996.0014_r27","doi-asserted-by":"crossref","unstructured":"Lakatos, I.: Proofs and refutations, (Cambridge University Press 1976)","DOI":"10.1017\/CBO9781139171472"},{"key":"10.1049\/sej.1996.0014_r28","first-page":"102","volume":"35","author":"Pugh","year":"1992"},{"key":"10.1049\/sej.1996.0014_r29","unstructured":"Birrell, A.D., Guttag, J.V., Horning, J.J., and Levin, R.: \u2018Thread synchronization: a formal specification\u2019, Nelson, G., Systems programming with Modula-3, (Prentice Hall 1991), p. 119\u2013129"},{"key":"10.1049\/sej.1996.0014_r30","first-page":"24","volume":"2","author":"Guttag","year":"1985"},{"key":"10.1049\/sej.1996.0014_r31","doi-asserted-by":"crossref","unstructured":"Breuer, P.T., and Bowen, J.P.: \u2018Towards correct executable semantics for Z\u2019, Proc. Z User Workshop, (Springer Verlag, Cambridge 1994), p. 185\u2013209","DOI":"10.1007\/978-1-4471-3452-7_11"},{"key":"10.1049\/sej.1996.0014_r32","first-page":"744","volume":"SE-12","author":"Fagan","year":"1986"},{"key":"10.1049\/sej.1996.0014_r33","first-page":"103","volume":"14","author":"Nix","year":"1988"},{"key":"10.1049\/sej.1996.0014_r34","first-page":"179","author":"Phillips","year":"1989","journal-title":"Proc. 4th Z Users Meeting"}],"container-title":["Software Engineering Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/sej.1996.0014?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,29]],"date-time":"2021-10-29T07:53:48Z","timestamp":1635494028000},"score":1,"resource":{"primary":{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/sej.1996.0014"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"references-count":34,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996]]}},"URL":"https:\/\/doi.org\/10.1049\/sej.1996.0014","relation":{},"ISSN":["0268-6961"],"issn-type":[{"value":"0268-6961","type":"print"}],"subject":[],"published":{"date-parts":[[1996]]}}}