{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:11:36Z","timestamp":1757311896323,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/apsec.2003.1254357","type":"proceedings-article","created":{"date-parts":[[2004,7,8]],"date-time":"2004-07-08T16:05:44Z","timestamp":1089302744000},"page":"49-58","source":"Crossref","is-referenced-by-count":12,"title":["Academia and industry meet: some experiences of formal methods in practice"],"prefix":"10.1109","author":[{"given":"G.H.","family":"Broadfoot","sequence":"first","affiliation":[]},{"given":"P.J.","family":"Broadfoot","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Principles of Information Systems Analysis and Design","year":"1986","author":"mills","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199803)28:3<329::AID-SPE157>3.0.CO;2-H"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1199071"},{"journal-title":"Cleanroom Software Engineering Technology and Process","year":"1998","author":"prowell","key":"ref13"},{"journal-title":"The Theory and Practice of Concurrency","year":"1998","author":"roscoe","key":"ref14"},{"journal-title":"Using Z Specification Refinement and Proof","year":"1996","author":"woodcock","key":"ref15"},{"journal-title":"Failures-Divergences Refinement FDR2 Manual","year":"1997","key":"ref4"},{"key":"ref3","volume":"1","author":"buschmann","year":"1996","journal-title":"Pattern-Oriented Software Architecture"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref6"},{"journal-title":"Design Patterns Elements of Reusable Object-Oriented Software","year":"1994","author":"gamma","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/2.948"},{"journal-title":"Structured Programming Theory and Practice","year":"1979","author":"linger","key":"ref7"},{"journal-title":"Using CSP to support the Cleanroom Development Method for software development","year":"2001","author":"broadfoot","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1987.231413"}],"event":{"name":"Tenth Asia-Pacific Software Engineering Conference, 2003.","location":"Chiang Mai, Thailand"},"container-title":["Tenth Asia-Pacific Software Engineering Conference, 2003."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8883\/28061\/01254357.pdf?arnumber=1254357","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T20:46:24Z","timestamp":1489437984000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1254357\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/apsec.2003.1254357","relation":{},"subject":[]}}